LÓGICA MATEMÁTICA – TEOREMAS , PROPRIEDADES , FNC , FND , ARGUMENTOS ,

REGRAS DE INFERÊNCIA , VALIDADE DE UM ARGUMENTO , DEMONSTRAÇÃO

Conjunção Ù Propriedades da Equivalência Lógica: Regra de dupla negação
Disjunção(inclusivo) Ú CONECTIVOS: ~ Ú Ù ® « 1. Reflexiva: P(p,q,r,...) Û P(p,q,r,…) ~~ p Û p
Disjunção(exclusivo) Ú 2. Simétrica: Se P(p,q,r,...) Û Q(p,q,r,…)então Regra de Clavius
Q(p,q,r,...) Û P(p,q,r,…) ~p®pÛp
p q pÚq Tautologia V 3. Transitiva: Se P(p,q,r,...) Û Q(p,q,r,…) e Regra de absorção
V V F Contradição F Q(p,q,r,...) Û R(p,q,r,…) então p® p Ù q Û p ® q
V F V
F V V
Contingência V / F P(p,q,r,...) Û R(p,q,r,…) Regra exportação-importação
F F F pÙq®r Ûp®(q®r)
Método de demonstração
Lógica Clássica IMPLICAÇÕES LÓGICAS: por absurdo
1. Princípio da Identidade Adição pÙ~q®cÛp®q
p®p p«p pÞpÚq e pÞqÚp Propriedades da
2. Princípio da Não-Contradição Simplificação Conjunção
~(pÙ~p) pÙqÞp e pÙqÞq Idempotente Propriedades da
3.Princípio do Terceiro Excluído Silogismo Disjuntivo pÙp Û p Disjunção
pÚ~p (pÚq) Ù ~p Þ q Comutativa Idempotente
Propriedades da Implicação L. (pÚq) Ù ~q Þ p pÙq Û qÙp pÚp Û p
1.Reflexiva: P Þ P Modus ponens(afirmar) Associativa Comutativa
2.Transitiva: Se P Þ Q e (p®q) Ù p Þ q ( pÙq ) Ù r Û pÙ(q Ùr) pÚq Û qÚp
Q Þ R então Modus tollens(negar) Identidade Associativa
PÞR (p®q) Ù ~q Þ ~p pÙt Û p El. Neutro ( pÚq ) Ú r Û pÚ (qÚr)
Silogismo hipotético pÙc Û c El. Abs. Identidade
Proposições Associadas a uma (p®q) Ù (q®r) Þ (p®r) p Ú t Û t El. Abs.
Condicional p Ú c Û p El. Neutro
Recíproca: p ® q : q ® p Negação da Condicional
Contrária: p ® q : ~ p ® ~ q Negação Conjunta: p¯q Û ~p Ù ~q ~(p®q)Û p Ù~q
Contrapositiva: p ® q : ~ q ® ~ p Negação Disjunta: p­q Û ~p Ú ~q Negação da Bicondicional ( p Úq ) Û ~ ( p « q )
~( p « q ) Û ( p Ù ~ q ) Ú ( ~ p Ù q )
Propriedades da Conjunção e da Disjunção Princípio da Dualidade Argumentos Válidos Fundamentais
P: (pÚp) Ù (pÚq) 1 ) AD: p ⊢ pÚq ; p ⊢ qÚp
Distributiva: p Ù (qÚr) Û (pÙq) Ú (pÙr) Dual: (pÙp) Ú (pÙq) 2 ) SIMP: p Ù q ⊢ p ; p Ù q ⊢ q
p Ú (qÙr) Û (pÚq) Ù (pÚr) 3 ) CONJ: p , q ⊢ p Ù q ; p , q ⊢ q Ù p
Absorção: p Ù (pÚq) Û p 4 ) ABS: p ® q ⊢ p ® ( p Ù q )
p Ú (pÙq) Û p Argumento 5 ) MP: p ® q , p ⊢ q
Leis de De Morgan: ~( p Ù q ) Û ~p Ú ~q P1,P2,P3,...,Pn ⊢ Q 6 ) MT : p ® q , ~q ⊢ ~p
~( p Ú q ) Û ~p Ù ~q P1,P2,...,Pn: Premissas 7) SD: p Ú q , ~p ⊢ q ; p Ú q , ~q ⊢ p
Q: Conclusão 8 ) SH: p ® q , q ® r ⊢ p®r
9 ) DC: p ® q , r ® s , p Ú r ⊢ q Ú s
10) DD: p ® q , r ® s , ~q Ú ~s ⊢ ~p Ú ~r
Forma Normal Teorema EQUIVALÊNCIAS NOTÁVEIS
FN: ~ , Ù , Ú P1,P2,P3,...,Pn ⊢ Q 1) (ID): p Û p Ù p ; p Û p Ú p
FNC ( Ù ): 1. ~ , Ú , Ù P1ÙP2ÙP3Ù,....,ÙPn ® Q
2) (COM): p Ù q Û q Ù p
2. ñ aparece ~~ ® Tautologia p Ú q Û q Ú p
~(pÙq) e ~(pÚq) ARGUMENTO VÁLIDO 3) (ASSOC): p Ù ( q Ù r ) Û ( p Ù q ) Ù r
3. p Ú (q Ù r) (não pode acontecer) Û p Ú (q Ú r) Û (p Ú q)Ú r
(pÚq) Ù (pÚr) ARGUMENTO INCONSISTENTE 4) (DIST): p Ù ( q Ú r ) Û ( p Ù q ) Ú ( p Ù r )
(p Ù q) Ú r (não pode acontecer) Û Þ PREMISSAS GERAM UMA p Ú (q Ù r) Û (p Ú q) Ù (p Ú r)
(pÚr) Ù (qÚr) CONTRADIÇÃO 5) (DN): p Û ~~ p
FND ( Ú ): 1. ~ , Ú , Ù 6) (DM): ~ ( p Ù q) Û ~p Ú ~q
2. ñ aparece ~~ P1, P2, ... , Pn |-- Q ( DEDUÇÃO ) ~(p Ú q) Û ~p Ù~q
~(pÙq) e ~(pÚq) Þ P1, P2, ... , Pn ® SEQ. FINITA 7) (COND): p ® q Û ~p Ú q
3. p Ù (q Ú r) (não pode acontecer) Û X1, X2, ... , Xk Þ Xk º Q 8) (BICOND): p « q Û (p ® q)Ù( q ® p )
(pÙq) Ú (pÙr) p « q Û ( p Ù q ) Ú ( ~p Ù ~q )
(pÚ q) Ù r (não pode acontecer) Û PROVA CONDICIONAL: 9) (CP): p ® q Û ~ q ® ~ p
(pÙr) Ú (qÙr) p® (q®r)Û(pÙq)®r 10) (E-I): p Ù q ® r Û p ® ( q ® r )

Nand : ( p ­ q ) Û ~ ( p Ù q ) DEMONSTRAÇÃO CONDICIONAL(DC) DEMONSTRAÇÃO INDIRETA(DI) º ABSURDO

Nor : ( p ¯ q ) Û ~ ( p Ú q ) P1,P2, … , Pn |-- A® B (1) P1, P2, … , Pn |-- Q (1)
Negação : ~ p Û ( p ­ p ) ; ~ p Û ( p ¯ p ) P1 Ù P2 Ù ... Ù Pn Ù A ® B P1, P2, … , Pn, ~Q |-- C (2)
P1, P2, ... , Pn, A |-- B (2) (1) É VÁLIDO Û (2) É VÁLIDO