Imagem de fundo

Uma bicondicional equivale a uma conjunção de duas...

Uma bicondicional equivale a uma conjunção de duas condicionais. Em termos simbólicos, teremos


A

p ↔ q = (p ˅ q) e (q ˅ p)


B

p ↔ q = (p → q) e (q → p)


C

p ˄ q = (p ˅ q) e (q → p)


D

p ← q = (p → ~ q) e (q → p)