TABELA 6 Equivalências Lógicas

TABELA 7 E
Equivalências Nome S
p∧V≡p
Propriedade dos elementos neutros
pvF≡p p → q ≡ ¬p v q

pvV≡V p → q ≡ ¬q → ¬p
Propriedades de dominação
p∧F≡F p v q ≡ ¬p → q

pvp≡p p ∧ q ≡ ¬( p → ¬q )
Propriedads idempotentes
p∧p≡p ¬( p → q ) ≡ p ∧ ¬q

¬(¬p)≡p Propriedade da dupla negação (p→q)∧(p→r)

pvq≡qvp (p→r)∧(q→r)
Propriedade comutativas
p∧q≡q∧p (p→q)v(p→r)≡

(pvq)vr ≡pv(qvr) (p→r)v(q→r)≡

Propriedades associativas
(p∧q)∧r ≡p∧(q∧r)

pv(q∧r)≡(pvq)∧(qvr)
Propriedades distributivas TABELA 8 E
p∧(qvr)≡(p∧q)v(q∧r)

¬( p ∧ q ) ≡ ¬p v ¬q
Lei de Morgan
¬( p v q ) ≡ ¬p ∧ ¬q p↔q≡(p→q)∧

pv(p∧q)≡p p ↔ q ≡ ¬p ↔ ¬q
Propriedas de absorção
p∧(pvq)≡p p↔q≡(p∧q)v(

p v ¬p ≡ V ¬( p ↔ q ) ≡ p ↔ ¬
Propriedades de negação
p ∧ ¬p ≡ F

p q p → ¬q
v v f
v f v
f v v
f f v
 TABELA 7 Equivalências Lógicas que Envolvem
Sentenças Condicionais

p → q ≡ ¬p v q Conectivos: ~ (Não) ∧ (E)

p → q ≡ ¬q → ¬p

p v q ≡ ¬p → q p q p→q ¬p

p ∧ q ≡ ¬( p → ¬q ) v v v f

¬( p → q ) ≡ p ∧ ¬q v f f f

(p→q)∧(p→r)≡p→ (q∧ r) f v v v

(p→r)∧(q→r)≡(pvq)→r f f v v

(p→q)v(p→r)≡p→ (qv r)

(p→r)v(q→r)≡(p∧q)→r

p → q => ¬( ¬p v q
TABELA 8 Equivalências Lógicas que Envolvem Existe pelo menos um
Bicondicionais

p↔q≡(p→q)∧(q→p)

p ↔ q ≡ ¬p ↔ ¬q

p ↔ q ≡ ( p ∧ q ) v ( ¬p ∧ ¬q )

¬( p ↔ q ) ≡ p ↔ ¬q
 v (Ou) ⊕ (Ou ... ou) ⊻ Então (→) Se somente se (↔) Equivalente a ( ≡ )

¬p v q

p → q => ¬( ¬p v q ) => p v ¬q

Existe pelo menos um número que é irracional e que não é inteiro.