Mostre que o argumento é válido. Monte o argumento e a demonstração utilizando o método de dedução natural. Considere a notação indicada para os pr...

Mostre que o argumento é válido. Monte o argumento e a demonstração utilizando o método de dedução natural. Considere a notação indicada para os predicados.

Anakin é jedi se, e somente se, conseguir trazer equilíbrio a sua força. Todos que não lutam, não conseguem trazer equilíbrio a sua força. Anakin não luta. Portanto, alguém não é jedi.

Use a notação:

J(x) para x é jedi

C(x) para x consegue trazer equilíbrio a sua força

L(x) para x luta

a para Anakin

Matemática/raciocínio Lógico

•

UNIASSELVI

0

1

Biomedicina Uniasselvi

16/12/2023

💡 1 Resposta

Ed

16.12.2023

Para demonstrar que o argumento é válido, precisamos mostrar que a conclusão segue necessariamente das premissas. Premissas: 1. Anakin é jedi se, e somente se, conseguir trazer equilíbrio a sua força. (J(a) ↔ C(a)) 2. Todos que não lutam, não conseguem trazer equilíbrio a sua força. (∀x)(¬L(x) → ¬C(x)) 3. Anakin não luta. (¬L(a)) Conclusão: 4. Portanto, alguém não é jedi. (∃x)(¬J(x)) Demonstração utilizando o método de dedução natural: 1. ¬L(a) (premissa) 2. ¬L(a) → ¬C(a) (premissa 2) 3. ¬C(a) (MP 1,2) 4. J(a) ↔ C(a) (premissa 1) 5. ¬J(a) (MT 3,4) 6. ∃x ¬J(x) (EG 5) Portanto, a conclusão é válida e segue necessariamente das premissas.

0