LGICA MATEMTICA TEOREMAS , PROPRIEDADES , FNC , FND , ARGUMENTOS , REGRAS DE INFERNCIA , VALIDADE DE UM ARGUMENTO , DEMONSTRAO

Propriedades da Equivalncia Lgica: Regra de dupla negao CONECTIVOS: ~ 1. Reflexiva: P(p,q,r,...) P(p,q,r,) ~~ p p 2. Simtrica: Se P(p,q,r,...) Q(p,q,r,)ento Regra de Clavius Q(p,q,r,...) P(p,q,r,) ~ppp p q pq Tautologia V 3. Transitiva: Se P(p,q,r,...) Q(p,q,r,) e Regra de absoro V V F Contradio F Q(p,q,r,...) R(p,q,r,) ento p p q p q V F V Contingncia V / F P(p,q,r,...) R(p,q,r,) Regra exportao-importao F V V pqr p(qr) F F F Mtodo de demonstrao Lgica Clssica IMPLICAES LGICAS: por absurdo 1. Princpio da Identidade Adio p~qcpq pp pp ppq e pqp Propriedades da 2. Princpio da No-Contradio Simplificao Conjuno ~(p~p) pqp e pqq Idempotente Propriedades da 3.Princpio do Terceiro Excludo Silogismo Disjuntivo pp p Disjuno p~p (pq) ~p q Comutativa Idempotente Propriedades da Implicao L. 1.Reflexiva: P P 2.Transitiva: Se P Q e Q R ento PR Proposies Associadas a uma Condicional Recproca: p q : q p Contrria: p q : ~ p ~ q Contrapositiva: p q : ~ q ~ p (pq) ~q p Modus ponens(afirmar) (pq) p q Modus tollens(negar) (pq) ~q ~p Silogismo hipottico (pq) (qr) (pr) Negao Conjunta: pq ~p ~q Negao Disjunta: pq ~p ~q pq qp Associativa ( pq ) r p(q r) Identidade pt p El. Neutro pc c El. Abs. pp p Comutativa pq qp Associativa ( pq ) r p (qr) Identidade p t t El. Abs. p c p El. Neutro
( pq ) ~ ( p q )

Conjuno Disjuno(inclusivo) Disjuno(exclusivo)

Negao da Condicional ~(pq) p ~q Negao da Bicondicional ~( p q ) ( p ~ q ) ( ~ p q )

Propriedades da Conjuno e da Disjuno Distributiva: p (qr) (pq) (pr) p (qr) (pq) (pr) Absoro: p (pq) p p (pq) p Leis de De Morgan: ~( p q ) ~p ~q ~( p q ) ~p ~q

Princpio da Dualidade P: (pp) (pq) Dual: (pp) (pq)

Argumentos Vlidos Fundamentais 1) AD: p pq ; p qp 2) SIMP: p q p ; p q q 3) CONJ: p , q p q ; p , q q p 4) ABS: p q p ( p q ) 5) MP: p q , p q 6) MT : p q , ~q ~p 7) SD: p q , ~p q ; p q , ~q p 8) SH: p q , q r pr 9) DC: p q , r s , p r q s 10) DD: p q , r s , ~q ~s ~p ~r
EQUIVALNCIAS NOTVEIS

Argumento P1,P2,P3,...,Pn Q P1,P2,...,Pn: Premissas Q: Concluso

Forma Normal FN: ~ , , FNC (

Teorema P1,P2,P3,...,Pn

1) (ID): p p p ; p p p 2) (COM): p q q p p q q p 3) (ASSOC): p ( q r ) ( p q ) r p (q r) (p q) r 4) (DIST): p ( q r ) ( p q ) ( p r ) p (q r) (p q) (p r) 5) (DN): p ~~ p 6) (DM): ~ ( p q ) ~ p ~ q ~(p q) ~p ~q 7) (COND): p q ~ p q 8) (BICOND): p q ( p q ) ( q p ) p q ( p q ) ( ~p ~q ) 9) (CP): p q ~ q ~ p 10) (E-I): p q r p ( q r )

):

FND (

):

1. ~ , , 2. aparece ~~ ~(pq) e ~(pq) 3. p (q r) (no pode acontecer) (pq) (pr) (p q) r (no pode acontecer) (pr) (qr) 1. ~ , , 2. aparece ~~ ~(pq) e ~(pq) 3. p (q r) (no pode acontecer) (pq) (pr) (p q) r (no pode acontecer) (pr) (qr)

P1P2P3,....,Pn Q Tautologia ARGUMENTO VLIDO ARGUMENTO INCONSISTENTE PREMISSAS GERAM UMA CONTRADIO P1, P2, ... , Pn Q ( DEDUO ) P1, P2, ... , Pn SEQ. FINITA X1, X2, ... , Xk Xk Q PROVA CONDICIONAL: p (qr)(pq)r

Nand : ( p q ) ~ ( p q ) Nor : ( p q ) ~ ( p q ) Negao : ~ p ( p q ) ; ~ p ( p p )

DEMONSTRAO CONDICIONAL(DC) P1,P2, , Pn A B (1) P1 P2 ... Pn A B P1, P2, ... , Pn, A B (2)

DEMONSTRAO INDIRETA(DI) ABSURDO P1, P2, , Pn Q (1) P1, P2, , Pn, ~Q C (2) (1) VLIDO (2) VLIDO