Tabela Verdade 3 - Fundamentos de lógica e matemática discreta

TABELA VERDADE

Considere agora seis jovens amigos que, conversando, afirmam o

seguinte:

Andrei: “Se eu for, Bento irá.”

Bento: “Se eu for, Cleide irá.”

Cleide: “Andrei e Bento irão.”

Dido: “Cleide não irá.”

Eder: “Se Andrei, Bento e cleide disseram a verdade, Cleide irá.”

Fred: “Se Cleide não for, Andrei irá.”

Sejam as afirmações:

• p: Andrei irá.

• q: Bento irá.

• r: Cleide irá.

Usando a tabela-verdade, responda:

a) A afirmação de Eder é verdadeira?

b) Supondo que Dido e Cleide estejam errados, podemos afirmar que Fred

está certo?

c) Se ninguém for, quem está errado?

p: p à q

q: q à r

r: p^q

s: ~r

t: (p ^q)^ràr

u:~r à p

p	q	r	~r	~ràp	p àq	q à r	p ^q	(p^q)^r	(p^q)^ràr
V	V	V	F	V	V	V	V	V	V
V	V	F	V	V	V	F	V	F	V
V	F	V	F	V	F	V	F	F	V
V	F	F	V	V	F	V	F	F	V
F	V	V	F	V	V	V	F	F	V
F	V	F	V	F	V	F	F	F	V
F	F	V	F	V	V	V	F	F	V
F	F	F	V	F	V	V	F	F	V

           Andrei    Bento    Cleide     Dido         Eder             Fred

p	q	r	p àq	q à r	p ^q	~r	(p^q)^ràr	~ràp
V	V	V	V	V	V	F	V	V
V	V	F	V	F	V	V	V	V
V	F	V	F	V	F	F	V	V
V	F	F	F	V	F	V	V	V
F	V	V	V	V	F	F	V	V
F	V	F	V	F	F	V	V	F
F	F	V	V	V	F	F	V	V
F	F	F	V	V	F	V	V	F

 

a)    Sim , a afirmação de Eder é verdadeira (Na primeira linha)

b)    supondo que Dido e Cleide estejam errados, podemos afirmar que Fred está certo sim

c)    Se ninguem for, Dido  está errado