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

Conjuno Disjuno(inclusivo) Disjuno(exclusivo)

p V V F F q V F V F pq F V V F CONECTIVOS:

Tautologia V Contradio F Contingncia V / F

Propriedades da Equivalncia Lgica: 1. Reflexiva: P(p,q,r,...) P(p,q,r,) 2. Simtrica: Se P(p,q,r,...) Q(p,q,r,)ento Q(p,q,r,...) P(p,q,r,) 3. Transitiva: Se P(p,q,r,...) Q(p,q,r,) e Q(p,q,r,...) R(p,q,r,) ento P(p,q,r,...) R(p,q,r,)

Lgica Clssica 1. Princpio da Identidade pp pp 2. Princpio da No-Contradio ~(p~p) 3.Princpio do Terceiro Excludo p~p 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

IMPLICAES LGICAS: Adio ppq e pqp Simplificao pqp e pqq Silogismo Disjuntivo (pq) ~p q (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

Propriedades da Conjuno Idempotente pp p Comutativa pq qp Associativa ( pq ) r p(q r) Identidade pt p El. Neutro pc c El. Abs.

Regra de dupla negao ~~ p p Regra de Clavius ~ppp Regra de absoro p p q p q Regra exportao-importao pqr p(qr) Mtodo de demonstrao por absurdo p~qcpq

Propriedades da Disjuno Idempotente pp p Comutativa pq qp Associativa ( pq ) r p (qr) Identidade p t t El. Abs. p c p El. Neutro

Negao da Condicional ~(pq) p ~q ( p q ) ~ ( 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

):

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)

2) (COM): p q q p p q q p 3) (ASSOC): p ( q r ) ( p q ) r p (q r) (p q) r ARGUMENTO INCONSISTENTE 4) (DIST): p ( q r ) ( p q ) ( p r ) PREMISSAS GERAM UMA p (q r) (p q) (p r) CONTRADIO 5) (DN): p ~~ p q) ~p ~q P1, P2, ... , Pn |-- Q ( DEDUO ) q) ~p ~q P1, P2, ... , Pn SEQ. FINITA q ~p q X1, X2, ... , Xk Xk Q p q (p q)( q p ) p q ( p q ) ( ~p ~q ) PROVA CONDICIONAL: 9) (CP): p q ~ q ~ p p (qr)(pq)r 10) (E-I): p q r p ( q r ) 6) (DM): ~ ( p ~(p 7) (COND): p 8) (BICOND):

P1P2P3,....,Pn Q Tautologia ARGUMENTO VLIDO

Nand : ( p q ) ~ ( p q ) Nor : ( p q ) ~ ( p q ) Negao : ~ p ( p p ) ; ~ 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