Raciocínio lógicoTabelas-verdade tautologia contradição e contingência

• (UNIRIO 2014)

Sejam α e β, fórmulas na lógica proposicional. É possível afirmar que


A) Se α e β são satisfazíveis, então α =β.

B) Se α é insatisfazível, então existe pelo menos uma interpretação I tal que I(α)=V.

C) Se α e β são insatisfazíveis, então existe pelo menos uma interpretação I tal que I(α → β)=F.

D) Se α e β são satisfazíveis, então não existe interpretação I tal que I(α → β)=F.

E) Se α é uma tautologia, então não existe interpretação I tal que I(¬ α)=V.


Próximo:
EXERCÍCIOS - Exercício 70

Vamos para o Anterior: Exercício 68

Tente Este: Exercício 36

Primeiro: Exercício 1

VOLTAR ao índice: Raciocínio lógico