OPERADORES LÓGICOS TABELA-VERDADE IMPLICAÇÃO LÓGICA ()

 p
1. NEGAÇÃO () F V 1. ADIÇÃO ppq
V F
pqp
2. SIMPLIFICAÇÃO
p  q pqq
V V V
2. CONJUNÇÃO () V F F (p  q)  p  q
F F V 3. SILOGISMO DISJUNTIVO
F F F (p  q)  q  p

p  q 4. MODUS PONENS (p  q)  p  q
V V V
3. DISJUNÇÃO () V V F 5. MODUS TOLLENS (p  q)  q  p
F V V
F F F 6. SILOGISMO HIPOTÉTICO (p  q)  (q  r)  (p  r)

p  q
V V V PROPOSIÇÕES ASSOCIADAS A UMA CONDICIONAL
4. CONDICIONAL () V F F CONDICIONAL (p  q)
F V V RECÍPROCA (q  p)
F V F CONTRÁRIA (p  q)
CONTRAPOSITIVA (q  p)
p  q
V V V CONDICIONAL  CONTRAPOSITIVA (p  q)  (q  p)
5. BICONDICIONAL () V F F
F F V RECÍPROCA  CONTRÁRIA (q  p)  (p  q)
F V F
 ÁLGEBRA DAS PROPOSIÇÕES

IDEMPOTÊNCIA ppp ppp

COMUTATIVIDADE pqqp pqqp

ASSOCIATIVIDADE (p  q)  r  p  (q  r) (p  q)  r  p  (q  r)

NÃO CONTRADIÇÃO e
p  p  c p  p  t
TERCEIRO EXCLUÍDO

ptp ptt
IDENTIDADE
pcc pcp

DISTRIBUTIVA p  (q  r)  (p  q)  (p  r) p  (q  r)  (p  q)  (p  r)

ABSORÇÃO p  (p  q)  p p  (p  q)  p

LEIS DE MORGAN (p  q)  p  q (p  q)  p  q

CONDICIONAL e
NEGAÇÃO DA p  q  p  q (p  q)  p  q
CONDICIONAL

BICONDICIONAL p  q  (p  q)  (q  p) p  q  (p  q)  (p  q)

DUPLA NEGAÇÃO p  p

REGRA DE CLAVIUS p  p  p

REGRA DE ABSORÇÃO p  (p  q)  p  q

EXPORTAÇÃO-
(p  q)  r  p  (q  r)
IMPORTAÇÃO
DEMOSTRAÇÃO POR
(p  q)  c  p  q
ABSURDO
 ARGUMENTOS VÁLIDOS FUNDAMENTAIS REGRAS DE INFERÊNCIA
p
1. ADIÇÃO p⊢pq
pq
pq
pq⊢p
p
2. SIMPLIFICAÇÃO
pq
pq⊢q
q
p
3. CONJUNÇÃO p,q⊢pq q
pq
pq
4. ABSORÇÃO p  q ⊢ p  (p  q)
p  (p  q)
pq
5. MODUS PONENS (p  q) , p ⊢ q p
q
pq
6. MODUS TOLLENS (p  q) , q ⊢ p q
p
pq
(p  q) , p ⊢ q p
7. SILOGISMO q
DISJUNTIVO pq
(p  q) , q ⊢ p q
p
pq
8. SILOGISMO
(p  q) , (q  r) ⊢ (p  r) qr
HIPOTÉTICO
pr

pq
9. DILEMA rs
pq,rs,pr⊢qs
CONSTRUTIVO pr
qs

pq
10. DILEMA rs
p  q , r  s , q  s ⊢ p  r
DESTRUTIVO q  s
p  r