Question

Tabela verdade é um tipo de tabela matemática usada em Lógica para determinar se uma fórmula é válida ou se um sequente é correto. Assim, de acordo com esse recurso avalie a questão proposta. Ana, Bruno e Carlos foram convidados para ir ao cinema neste sábado. Quando foram convidados, deram as seguintes respostas: Ana: “Eu não irei, mas Bruno irá ao cinema neste sábado”. Bruno: “Se eu for ao cinema neste sábado, então Carlos não irá”. Carlos: “Eu não irei ao cinema neste sábado, no entanto, pelo menos um dos outros irá”. Com base nesses depoimentos e com o conhecimento de Tabelas-verdade, pede-se: a. Simbolizar, construindo um Esquema Abreviador: os Fatos “Ir” e “Não Ir” ao cinema; e os Depoimentos “Falar a Verdade” e “Não Falar a Verdade” (Mentir), das pessoas envolvidas neste problema. b. Construir as Tabelas–verdades desses Fatos e desses Depoimentos. c. Identificar quem irá ao cinema, supondo que todos os depoimentos sejam verídicos. d. Identificar quem disse a verdade, se apenas Carlos vai ao cinema.

Answer 1

a-b) Ana não ira e fala a verdade
Bruno irá e fala a verdade
Carlos não ira e fala a verdade
c)Bruno
d) Bruno