Considere a seguinte implicação:
Se um carro é da cor azul, então ele não é pequeno, nem é caro.
Essa implicação situa logicamente a condição de não ser pequeno e não ser caro como necessária para que um carro seja da cor azul.
A implicação também situa logicamente a
(A) condição de não ser pequeno e não ser caro como
suficiente para que o carro seja da cor azul.
(B) condição de ser pequeno ou caro como suficiente
para que o carro não seja da cor azul.
(C) condição de ser pequeno como necessária para um
carro ser azul.
(D) condição de ser caro como necessária para um carro
ser azul.
(E) condição de ser da cor azul como necessária para que
um carro não seja pequeno, nem caro.
(B)
Do ponto de vista lógico, a contrapositiva é equivalente a implicação original:
(p ⇒ q) ⇔ (~q ⇒ ~p)
Daí, o texto original fica:
Se um carro é pequeno ou caro, então não é da cor azul.
Em outras palavras:
O carro ser pequeno ou caro é condição suficiente para que não seja azul.
Continua com dúvidas? Quer fazer um comentário?
Envie um email para: kaju.yamaka@gmx.com