Atividade Individual 1

Lógica para a Computação turma A

Rosa Vicari

Entregar no dia da prova (20/12)

Nome: Miguel Lemmertz Schwarzbold

Número: 00342191

1. Faca a transliteração, escreva o argumento lógico e prove

por Dedução Natural, diga se cada um dos argumentos e
satisfazível, insatisfazível, válido ou inválido

a. “A colheita é boa mas não há água suficiente. Se não houver

muita chuva ou se não houver muito sol, então haverá água
suficiente. Portanto a colheita é boa e há muito sol.”

(sugestão: use C, A, V (chuva) e S como símbolos

proposicionais).

b. ˜(BVC)->~A,~B,˜C |- ~A

c. A->(B->C)|- (A^B) ->C

 a)

C ^ ~A hip

(Satisfazível, inválido)

((~V) v (~S)) —> A hip

(Satisfazível, inválido)

—------------------------------------------------

C Elim. Conj.

~A Elim. Conj.

~(V ^ S) —> A De Morgan

~~(V ^ S) Modus Tollens

V^S Dupla Negação

S Elim. Conj.

—-----------------------------------------------

C^S Conjunção

*****

b.

“A não aparição de discos-voadores e aliens indica a

não-existência da vida inteligente fora da Terra.

Não apareceram aliens

 Não apareceram discos-voadores

Portanto, não há vida inteligente fora da Terra”

˜(BVC)->~A hip

(Satisfazível, inválido)

~B hip

(Satisfazível, inválido)

˜C hip

(Satisfazível, inválido)

—-------------------------------------------------

(~B ^ ~C) -> ~A De Morgan

~B ^ ~C Conjunção

—--------------------------------------------------

~A Modus Ponens

*****

c)

“O trabalho (B) implicar no sucesso (C) é implicado pela

meritocracia (A).

Portanto, com meritocracia e trabalho temos sucesso.”

 A->(B->C) hip

(Satisfazível, inválido)

—-------------------------------------------

~A v (B —> C) Condicional

~A v (~B v C) Condicional

(~A v ~B) v C Associatividade

~(A ^ B) v C De Morgan

—-------------------------------------------

(A ^ B) —> C Condicional

2. Prove por dedução natural os seguintes teoremas:

(a)├ ~(P <-> ~P)

—-----------------------------------------------------

p <--> ~p Hip. Absurdo

p —> ~p Elim. Bicond.

~p v ~p Condicional
 ~p auto-referência

~p <--> p Comutatividade

~p —> p Elim. Bicond.

~~p v p Condicional.

pvp Dupla negação

p auto-referência

p ^ ~p Absurdo

—----------------------------------------------------------

~(p <-> ~p)

(b)├ (P ^ Q) v (~P v ~Q)

—--------------------------------------------------

~((P ^ Q) v (~P v ~Q)) Hip. Absurdo

~( P ^ Q ) ^ ~(~P v ~Q) De Morgan

~(P ^ Q ) ^ (P ^ Q) De Morgan

~(P ^ Q ) ^ (P ^ Q) Absurdo

—-----------------------------------------------

(P ^ Q) v (~P v ~Q) Neg. Hip. Absurda

3. Construa a tabela verdade das seguintes sentenças e diga
se são válidas, inválidas, satisfazíveis ou insatisfazíveis:

(a) (A→B)↔¬A∨B

A B A —> B ~A v B
(A→B)↔¬A∨B

V V V V V
V F F F V
F V V V V
F F V V V

Válida, satisfazível
(b) (A∧B)∨C→A∧(B∨C)

A B C A^B (A ^ B) v C (B v C) A ^ (B v C)
(A∧B)∨C→A∧(B∨
C)

V V V V V V V V
V V F V V V V V
V F V F V V V V
V F F F F F F V
F V V F V V F F
F V F F F V F V
F F V F V V F F
F F F F F F F V

Inválida, Satisfazível
(c) A∧¬(¬A∨¬B)

A B ~A v ~B ~(~A v ~B)
A∧¬(¬A∨¬B)

V V F V V
V F V F F
F V V F F
F F V F F

Inválida, satisfazível