A alternativa correta é a letra "a". Uma proposição P é logicamente equivalente a uma proposição Q se e somente se a proposição P → Q for uma tautologia. A implicação lógica é diferente da equivalência lógica, pois a implicação lógica é verdadeira sempre que a proposição consequente é verdadeira, enquanto a equivalência lógica é verdadeira quando as proposições têm o mesmo valor lógico em todas as situações possíveis.
Para escrever sua resposta aqui, entre ou crie uma conta
Lógica Matemática e Elementos de Lógica Digital
•UniCesumar
Compartilhar