formalização de sentenças

Prévia do material em texto

Nome: Pauline Angel Becker da Costa.
Questão 1
Ou Sheldon não é um jogador de pedra/papel/tesoura/lagarto/Spock e nem senta no seu lugar no sofá, ou Sheldon é nerd. Se Sheldon fala "bazinga" para expressar ironia, então ele é nerd. Sheldon não fala "bazinga'' para expressar ironia. Sheldon é nerd se e somente se Sheldon senta no seu lugar no sofá e fala "bazinga" para expressar ironia. Portanto, é mentira que: Sheldon é jogador de pedra/papel/tesoura/lagarto/Spock e senta no seu lugar no sofá.
Letras: J, S, N, F
J - Sheldon é jogador de pedra/papel/tesoura/lagarto/Spock
S - Sheldon senta no seu lugar no sofá
N - Sheldon é nerd
F - Sheldon fala bazinga para expressar ironia
((~J ⋀ ~S) v N), F > N,~F, (N <>(S ⋀ F)) ⊢ ~(J ⋀ S) 
 
Questão 2
Se Sheldon não é um jogador de pedra, papel, tesoura, lagarto e Spock mas defende suas regras, então não é verdade que Sheldon senta no seu lugar no sofá. É falso que: Sheldon não senta no seu lugar no sofá ou não defende suas regras. Portanto, Sheldon é um jogador de pedra, papel, tesoura, lagarto e Spock.
Letras: J, D, S
J - Sheldon é jogador de pedra/papel/tesoura/lagarto/Spock
S - Sheldon senta no seu lugar no sofá
D – Sheldon defende suas regras
((~J ⋀ D) >~S), ~(~S v ~D) ⊢ J
Questão 3
Se Sheldon é nerd ou Leonard é físico, então os dois vivem em outro mundo. Se Penny é vizinha de apartamento de Sheldon e Leonard, então os dois não vivem em outro mundo. Penny é vizinha de apartamento deles. Portanto, Sheldon não é nerd ou Leonard não é físico.
Letras: S, L, V, P
S – Sheldon é nerd
L – Leonard é físico
V – Os dois vivem em outro mundo
P – Penny é vizinha de apartamento de Sheldon e Leonard
(S v L) > V, P > ~V, P ⊢ ~S v ~L