Matemtica Computacional

Curso: __________________________________ Data: ____ / ____ / ________ Professor: Aristteles Meneses Lima

Lgica Proposicional 1Justifique cada passo na seqncia de demonstrao de: Justifique cada passo na seqncia de demonstrao de:

[A (B C)] B'C' A'

1.A ( B C) 2.B' 3.C' 4.B'C' 5.( B C)' 6.A'

A'B [B (A C)] C

1.A' 2.B 3.B C) (A 4.A C 5.A' C 6.C

Justifique cada passo na seqncia de demonstrao de:

Justifique cada passo na seqncia de demonstrao de:

R'[Q ( P' R )] Q P'

R ( P'S )'[Q' ( P'R' )] Q' S'

1.R' 2.Q ( P'R ) 3.Q 4.P'R 5.P R 6.P'

1.R 2.( P ' S )' 3.Q ' ( P ' R ' ) 4.Q ' 5.P S ' 6.P ' S ' 7.P ' R ' 8.P R ' 9.P ' 1 .S ' 0

2-Use lgica proposicional para provar que o argumento vlido:

a)[(A ') C] (C D) A D B b)(A ) (B C) (A C) B c)(A ' B) (B C) (A C) d)A (B C) (B (A C)) e)A ' (B A) B ' f )[A B C)] (A D (D C) ( ') B g )A ' (A B) B h)(A ' ') B (A C C B ) i )(A ) [B (C D [ B )] A (B C)] (A j)(A ' ) (B C) (C D) (A ' D) B
l )[( P Q ) r ] [P (Q R )] m )( A' B' ) ( A C) (B C) n )( Y Z' ) ( X' Y ) [ Y ( X W )] ( Y Z ) ( Y W ) o )( A'C' )'[B (C'D)] A'B D p )[ C ( A D)] [B ( D C)] (B D) D' ( A D)

D)

EXEMPLO PARA O NMERO 3:

Se as taxas de juros carem, o mercado imobilirio vai melhorar. Ou a taxa federal de descontos vai cair, ou o mercado imobilirio no vai melhorar. As taxas de juros vo cair. Portanto, a taxa federal de descontos vai cair. (J, I, F)

J A taxa de juros vai cair. I O mercado imobilirio vai melhorar. F A taxa federal de descontos vai cair. O argumento fica: Provando a validade do argumento:

3- Use letras para representar as proposies dadas. E usando a lgica proposicional, prove que cada argumento vlido.

a)Meu cliente canhoto mas, se o dirio no tiver sumido, ento meu cliente no canhoto; portanto, o dirio sumiu. (C,D)

b)Se segurana um problema, ento o controle ser aumentado. Se segurana no um problema, ento os negcios na Internet iro aumentar. Portanto, se o controle no for aumentado, os negcios na Internet crescero. (S,C,N)

c)A Rssia era uma potncia superior e, ou a Frana no era suficientemente poderosa ou Napoleo fez um erro. Napoleo no fez um erro, mas, se o exrcito no perdeu, ento a Frana era poderosa.Portanto, o exrcito perdeu e a Rssia era uma potncia superior (R,F,N,E)

d)Se o programa eficiente, executa rapidamente: ou o programa eficiente ou tem algum bug (erros de computador). No entanto, o programa no executa rapidamente. Logo, ele tem um bug. (E,R,B)