A implicação lógica, representada por P → Q, é uma das conectivas mais importantes na lógica proposicional. Sua tabela-verdade define que a implicação é falsa apenas quando a antecedente (P) é verdade

Question

A implicação lógica, representada por P → Q, é uma das conectivas mais importantes na lógica proposicional. Sua tabela-verdade define que a implicação é falsa apenas quando a antecedente (P) é verdadeira e a consequente (Q) é falsa. Analise a seguinte situação:

Accepted Answer

Se a proposição P é falsa e a proposição Q é verdadeira, então P → Q é falsa.

Answer

Se a proposição P é falsa e a proposição Q é falsa, então P → Q é falsa.

Answer

Se a proposição P é verdadeira e a proposição Q é falsa, então P → Q é verdadeira.

Answer

Se a proposição P é verdadeira e a proposição Q é verdadeira, então P → Q é falsa.

Answer

A proposição P → Q é logicamente equivalente a ¬P → Q.

Questão 25061 — Conhecimentos Específicos

Comentários