Lista 2: Lógica Proposicional

1)

A) {(P V Q) V R, R, R → ¬P} ⊢ Q V R

De Podemos deduzir E Logo

(P V Q) V R, P, P,
R, R, QVR R,
R → ¬P R → ¬P R → ¬P ⊢ Q V R,
logo, P V R ⇔ P logo,P^R, R → ¬P falso

B) {A → B , B → C , C → D , ¬ D , A V E } ⊢ E

De Podemos deduzir E Logo

A→B,
B→C, A → D, ¬ D
C→D, A V E, E E ⊢ E, verdadeiro
¬D, ¬ A,
A V E. logo, E
logo,A → C, C → D

C) {P → Q, Q → R, P} ⊢ R

De Podemos deduzir E Logo

P → Q,
Q → R, P → R, P R R ⊢ R, verdadeiro
P
2)

A)
P1: Se eu estudo e prático, então sou aprovado
P2: Se prático, então eu estudei
P3: Estou práticando
..................................…
Aprovado
--------------------------------------------------------------------------------------------------------

P1: (P ^ Q) → R
P2: Q → P
P3: Q
.............…
R

Na notação de consequência lógica, temos: {(P ^ Q) ➝ R, Q ➝ P, Q} ╞ R

Na notação de prova, temos: {(P ^ Q) ➝ R, Q ➝ P, Q} ⊢ R

B)
P1: Se não esta quente
P2: Se não está frio, então está quente
.............…
Frio
--------------------------------------------------------------------------------------------------------

P1: ¬P
P2: ¬ Q ➝ P
.............…
Q

Na notação de consequência lógica, temos: ¬P, ¬Q ➝ P ╞ Q

Na notação de prova, temos: ¬P, ¬Q ➝ P ⊢ Q

C)
P1: Se ela treina, então ela é saudável
P2: Se ela é saudável, então ela também se alimenta bem
.................................….
Se ela treina, então ela também se alimenta bem

Na notação de consequência lógica, temos: {P ➝ Q, Q ➝ R} ╞ P ➝ R

Na notação de prova, temos: {P ➝ Q, Q ➝ R} ⊢ P ➝ R
3)
P1: Toddler
P2: Toddler ➝ Child
P3: Child ^ Male ➝ Boy
P4: Infant ➝ Child
P5: Child ^Famale ➝ Girl
P6: Famele
----------------------------------
Girl

-------------------------------------------------------------------------------------------------
{A, A ➝ B, B ^ (C ➝ B), E ➝ B, B ^ F ➝ G, F} ⊢ G

P1: simplifica(1)
P2: Modus ponens(1,2)
P3: absorção(3)
P4: Modus pones(4,2)
P5: absorção
P6: simplifica(6)
----------------------------------
P7: absorção, simplificação(7,5)

4)

P1: criança V jovem V adulto V idoso

P2: trabalhador V estudante V aposentado
P3: jovem ➝ trabalhador V estudante
P4: ¬( criança^ aposentado)
P5: ¬( criança ^ trabalhador)
----------------------------------
Criança ➝ estudante

(i) Na notação de consequência lógica, temos:

{A V B V C V D , E V F V G, B➝ E V F, ¬( A ^ G), ¬( A ^ E)} ╞ A ➝ F

(ii) Na notação de prova, temos:

{A V B V C V D , E V F V G, B➝ E V F, ¬( A ^ G), ¬( A ^ E), B^(¬G), A^(¬B)} ⊢ A ➝
F
5)
1. ¬Imortal ➝ Mítico
2. ¬Imortal ➝ ¬Imortal ^ Mamífero
3. Imortal V (¬Imortal ^ Mamífero)
4. (imortal V ¬Imortal) ^ (Imortal V Mamífero)
5. Imortal V Mamífero
6. Chifrudo
7. Mágico

P1: contrapositivo
1, P2, silogismo hipotético
2, definição de implicação
3, distributiva
4, tautologia, identidade
5, P3, modus ponens
6, P4, modus pones

R: Então o unicórnio é chifrudo e mágico. No entanto, não há como mostrar que o

unicórnio é mágico.