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)

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

Note que a implicação p → q só é falsa se p é verdadeira e q é falsa.

EXEMPLO 7:
a) p: Pelé é brasileiro (V); q: Pelé jogou futebol no Santos (V)
    p → q: Se Pelé é brasileiro, então ele jogou futebol no Santos (V)

b) p: Pelé jogou futebol no Santos (V); q: Santos é a capital de São Paulo (F)
    p → q: Se Pelé jogou futebol no Santos, então Santos é a capital de São Paulo (F)

c) p: Santos é a capital de São Paulo (F); q: Pelé jogou Futebol no Santos (V)
    p → q: Se Santos é a Capital de São Paulo, então Pelé jogou futebol no Santos (V)

d) p: 5 = 12 (F); q: 12 < 8 (F)
    p → q: Se 5 = 12, então 12 < 8 (V)