Questão 917179

917179 Ano: 2014
Disciplina: Raciocínio Lógico
Banca: UNIRIO
Orgão: UNIRIO

Provas:

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

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

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

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

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

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

Questão presente nas seguintes provas

70 Questões

Acesse sua Conta