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

Com base no mesmo assunto

Q490271

Ano: 2014 Banca: UNIRIO Órgão: UNIRIO Prova: UNIRIO - 2014 - UNIRIO - Analista Tecnologia da Informação - Desenvolvimento de Sistemas |

Q490271 Raciocínio Lógico

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.

Você errou! Resposta:

teste

Parabéns! Você acertou!

teste

Questões de assuntos semelhantes