João Marcos Brito Matias - 494952

Lista 8 - Lógica para ciência da computação

Questão 1.a

Li ( (p → q) → (p → r)) → ((q →(p → q)) → (q → ( p → r )))

Inv (q →(p → q)) → (( (p → q) → (p → r)) → (q → ( p → r )))

H1 (q →(p → q))

Mp (( (p → q) → (p → r)) → (q → ( p → r )))

Inv 2.0 (( (p → q) → (p → r)) → (q → ( p → r )))

Questão 1.b

Li ( (p → q) → (p → r)) → ((q →(p → q)) → (q → ( p → r )))

Inv (q →(p → q)) → (( (p → q) → (p → r)) → (q → ( p → r )))

H1 (q →(p → q))

Mp (( (p → q) → (p → r)) → (q → ( p → r )))

Li ((p → r) → ((p → q) → (p → r)) → ((p→r) → (q → ( p → r ))))

Inv ((p → q) → ((p → r) → (p → r)) → ((p→r) → (q → ( p → r ))))

R1 ((p → r) → (p → r))

Mp ((p → q) → (p → r)) → ((p→r) → (q → ( p → r ))))

Questão 2

Vamos apresentar a construção da regra ((A→B) → C) → (A → (B→C))

Li ((A → B) → C) → ((A → (A →B)) → (A → C))

H1 A → (A→B)

Mp ((A → B) → C) → ((A →B) → (A → C))

Pela regra desenvolvida na questão 1, sabemos que:

=> ((A →B) → (A → C)) → (A → (B→C))

Logo:

Assoc ((A → B) → C) → ((A → (B→ C))

Agora, sabemos que a regra Assoc é verdade. Pretendemos construir a regra Assoc 2.0
Que é a seguinte:

(X → ((A→B) → C)) → (X → (A→(B → C)))

Assoc ((A → B) → C) → ((A → (B→ C))

Li [((A → B) → C) → ((A → (B→ C))] → [(X→((A → B) → C)) → (X → ((A → (B→ C)))]

Mp (X→((A → B) → C)) → (X → ((A → (B→ C)))

Questão 4

Pela regra da transividade sabemos que

(A→B) → (C → B) → ( C → A)

Supondo que (X → (Y → Z)) → W

e sabendo que (X → (Y → Z)) → ((X → Y) → (X → Z))

Logo, se consideramos A sendo (X → Y) → (X → Z), B sendo W e C sendo (X → (Y → Z))

Então,

[(X → Y) → (X → Z) → W] → [ ((X → (Y → Z)) → W) → ((X → (Y → Z)) → (X → Y) → (X → Z))]

Questão 5.1

h9 => (A → A) → [(A → ~A) → ~A]

Mp => (A → ~A) → ~A

Questão 5.2

h1 A → [(~A → A) → A]
dist [A → (~A → A)] → [A → A]
Mp A → A

Questão 5.3

~A → ~(A e B)
~A → ~A

Questão 5.4

J3 ~[A → (~B → ~(A ou B))] → [(~A e ~B) → ~(A ou B)]

Li [~(A ou B) → ~A] → [~(A ou B) → (~B → ~(A OU B))]
h1 ~(A ou B) → [~B → ~(A ou B)]