Solução ESAF-AFRE-2005

Considere:

k=O dragão desaparecerá amanhã

t=Aladim beijou a princesa ontem

Pergunta A:

Considerando que a afirmação do mago é falsa, quer saber se o argumento k => t e ~(k <=> t) são verdadeiros para k=V e t=V

k	T	~(k => t)	k <=> t
V	V	F	V

A resposta para esta pergunta é não, pois o argumento ~(k <=> t) é falso para k=V e t=V.

Pergunta B:

Considerando que a afirmação do mago é verdadeira, quer saber se o argumento kÞt e kÛt são verdadeiros para k=V e t=V:

k	t	k <=> t	k => t
V	V	V	V

A resposta para esta pergunta é sim

Pergunta C:

Considerando que a afirmação do mago é falsa, quer saber se o argumento t => k e ~(k <=> t) são verdadeiros para k=V e t=F

k	t	~(k <=> t)	t => k
V	F	V	V

Alternativa D

Para baixar provas resolvidas acesse: www.professorcarlosbino.com.br/provasconcursos.htm