Rafael Weber Fagan

Implicação
G04H2 - Lógica para Computação
Lógica
Professor Leandro Ribeiro Fontoura

Sempre que P é
Nas linhas onde a coluna P é verdadeira Q é P? Q
V, a coluna P tem que ser V Verdadeira

Equivalência
Lógica

Mesma
Representam logicamente a
sequência de
mesma situação, mesmo que P? Q
valoração na
escritas de forma diferente
tabela verdade

Equivalências
Notáveis

Dupla Leis Leis Morgan

Negação idempotentes comutativas

p+p ? p p+q ? q+p (p . q)' ? p'+q'

(p')' ? p
p . p? p p . q? q . p (p + q)' ? p' . q'

Leis Bicondicional Condicionais

Distributivas

p . (q+r) ? (p . q)+(p . r) p? q ? q'? p'

p q ? (p ? q) . (q ? p) p? q ? p'+q
p + (q . r) ? (p + q) . (p + r)
q'? p' (contrapositivo)
q? p (recíproca do condicional)
p'? q' (recóproca contrapositivo)

Negação da Bicondicional

Negação da Condicional
(p q)' ? ((p? q).(q? p))'
Tautologia
p+p'=1 (p? q)' ? p . q' (p q)' ? (p? q)'+(q? p)'
(p q)' ? (p . q') + (q . p')