Unidade Acadêmica de Graduação - UAGRAD

Atividade Acadêmica: 093915 – Lógica

Modalidade: A Distância
Prof.: Mônica Py

Questões da atividade de Formalização de sentenças

Simbolize os argumentos a seguir na linguagem da Lógica Proposicional. Na simbolização, considere as
letras indicadas para as proposições em cada questão.

1. Se Sheldon é um jogador de pedra/papel/tesoura/lagarto/Spock ou senta no seu lugar no sofá, então Shel-

don é nerd. Se não é verdade que Sheldon é nerd, então não fala “bazinga’ para expressar ironia. 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, Sheldon não é jogador de pedra/papel/tesoura/la-
garto/Spock ou não senta no seu lugar no sofá.
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

Resposta: (J ∨ S) → N, ¬ N → ¬ F, ¬ F, N ↔ (S ∧ F) ` ¬ J ∨ ¬ S

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á. Sheldon senta no seu lugar no sofá. Sheldon defende
suas regras. Portanto, Sheldon é um jogador de pedra, papel, tesoura, lagarto e Spock.
J - Sheldon é um jogador de pedra, papel, tesoura, lagarto, Spock
D - Sheldon defende suas regras
S - Sheldon senta no seu lugar no sofá
Resposta: (¬J ∧ D) → ¬S, S, D ` J

3. Se Sheldon é nerd ou Leonard é físico, então os dois vivem em outro mundo. Se os dois vivem em outro
mundo, então Penny não é vizinha de apartamento deles. Penny é vizinha de apartamento deles. Por-
tanto, Sheldon não é nerd ou Leonard não é físico.

S - Sheldon é nerd
L - Leonard é físico
V - os dois vivem em outro mundo
P - Penny não é vizinha de apartamento deles

Resposta: S ∨ L → V, V → P, ¬P ` ¬S ∨ ¬L