Lógica - Dedução Natural

Assuntos Gerais
#1

Alguém que estude lógica pode me ajudar neste trabalho do meu curso Ciências da Computação???

1ª Situação
Suponha que voce está num labirinto que possui duas portas na saída, rotuladas
como P1 e P2. Você conseguiu chegar na frente dessas portas e sabe que uma
delas leva à saída do labirinto, enquanto que a outra leva a um vulcão em
erupção. Depois de escolher uma porta, você precisa passar por ela e não tem
opção de voltar. Para guiar a escolha da porta, existem dois cartazes, um na
frente de cada uma das portas, que dizem o seguinte:

Cartaz da porta P1 : “O que está escrito no cartaz colado na porta P2 é
verdadeiro e a saída do labirinto é por essa porta aqui”.

Cartaz da porta P2 : “O que está escrito no cartaz colado na porta P1 é
falso e a saída do labirinto é pela porta ao lado”.

2ª Questão
Qual é a porta que leva à saída do labirinto? Prove sua resposta formalizando
os enunciados e provando o argumento por dedução natural.

#2

O que está escrito em ambas as portas é falso. A primeira sentença de cada porta comprova isso. A segunda sentença torna-se falsa, dada a primeira sentença da porta vizinha. Isto torna a porta P2 a porta correta para sair do labirinto.

Abs!
Danilo

#3

Opa, boa noite.

assim lendo rapidamente eu acho q os dois cartazes estão dizendo que a P1 é a porta que leva a saída do labirinto. Por tanto, eu votaria na P1. :smiley:

vlw abraços.

#4

Gostei da questão :slight_smile:

Com certeza é a porta 2:

#5

[quote=pablodiego]Opa, boa noite.

assim lendo rapidamente eu acho q os dois cartazes estão dizendo que a P1 é a porta que leva a saída do labirinto. Por tanto, eu votaria na P1. :smiley:

vlw abraços.[/quote]

sim as sentenças afirmam isso , so que as duas sentenças são falsas.

#6

os dois cartazes estão mentindo e a porta correta você tira no cara ou coroa :stuck_out_tongue:

#7