Question

1)
Marque a alternativa correta sobre as relações de equivalência e implicação lógica.
a)
Uma proposição P é logicamente equivalente a uma proposição Q se e somente se a proposição P → Q for uma tautologia.
b)
Uma proposição P é logicamente equivalente a uma proposição Q se e somente se a proposição P ↔ Q for uma contradição.
c)
Uma proposição P implica logicamente uma proposição Q se e somente se a proposição P → Q for uma contingência.
d)
Uma proposição P implica logicamente uma proposição Q se e somente se a proposição P ∧ Q for uma tautologia.
e)
Observando a tabela-verdade de duas proposições P e Q logicamente equivalentes, podemos constatar que as colunas de P e Q são iguais.

Answer 1

Resposta:

Observando a tabela-verdade de duas proposições P e Q logicamente equivalentes, podemos constatar que as colunas de P e Q são iguais.

Explicação passo-a-passo:

Answer 2

Resposta:

E) Observando a tabela-verdade de duas proposições P e Q logicamente equivalentes, podemos constatar que as colunas de P e Q são iguais

Explicação passo a passo:

Uma proposição P é logicamente equivalente a uma proposição Q se e somente se a proposição P ↔ Q for uma tautologia, ou seja, for sempre verdadeira.

Para que a bicondicional P ↔ Q seja verdadeira, os valores lógicos das proposições P e Q devem ser iguais. Assim, podemos afirmar que as colunas de P e Q na tabela-verdade devem ser iguais. Caso contrário, ocorreria F em alguma linha e a proposição P ↔ Q não seria tautologia.