logica

“Se eu jogar, fico cansado; se eu ficar cansado, durmo. Logo, se eu jogar, durmo.”

a) De que tema (assunto) que trata o argumento corrente.

O tema trata de um assunto comum para uma pessoa qualquer , onde ela estabelece uma relação de causa e consequência com o ato de jogar. Esta é uma consequência lógica partindo do pressuposto de que este é um argumento valido.

b) Passe (defina) o argumento em linguagem simbólica.

P1, P2 ⊢ Q, onde :

(p → q), (q → r) ⊢ (p → r)

c) Explicite em linguagem simbólica e também corrente todas as proposições simples, todas as premissas e a conclusão.

As proposições simples são:

p: Eu jogo. q: Eu fico cansado. r: Eu durmo.
As premissas são:
P1: (p → q): Se eu jogar, fico cansado.
P2: (q → r): Se eu ficar cansado, durmo.
Q: (p → r): Se eu jogar, durmo.

d) Demonstre este argumento usando o método de Dedução baseada em inferência lógica com o auxílio de regras lógicas.

(p → q), (q → r) ⊢ (p → r)

P(p, q, r) = (p → q) ∧ (q → r) → (p → r)
(A → B), (B → C) |= (A → C) O argumento é válido.

e) Confira se a demonstração do argumento da letra “d” está correta ou não usando o método da Tabela da Verdade.

P(p, q, r) = (p → q) ∧ (q → r) → (p → r) É uma tautologia.

p q r p → q q → r p → r (p → q) ∧ (q → r) (p → q) ∧ (q → r) → (p → r)

V
V
V
V
V
V
V
V

F
V
V
V
V
V
V
V

V
F
V
F
V
V
F
V

F
F
V
V
V
V
V
V

V
V
F
V
F
F
F
V

F
V
F
V
F
V
F
V

V
F
F
F
V
F
V
V

F
F
F
V
V
V
F
V