NOÇÕES DE LÓGICA # BI-IMPLICAÇÃO

Note que  a bi-implicação p ↔ q só é verdadeira quando os valores-verdade de p e q são iguais.

EXEMPLO 8:
a) p: Quito é a capital do Equador (V); q: O Acre é um estado brasileiro (V)
    p ↔ q; Quito é a capital do Equador se, e somente se, o Acre é um estado brasileiro (V)

b) p: Roma é a capital da Itália (V); q: Paris é a capital da Espanha (F)
    p ↔ q: Roma é a capital da Itália se, somente se, Paris é a Capital da Espanha (F)

c) p: O cachorro é um felino (F); q: O cavalo é um equino (V)
    p ↔ q: O cachorro é um felino se, somente se,o cavalo é um equino (F)

d) p: O cachorro é um felino (F); q O cavalo é um bípede (F)
    p ↔ q: O cachorro é um felino se, somente se, o cavalo é um bípede (V)