Question

Considere a seguinte argumentação lógica:
“Se as máquinas da empresa estão funcionando bem, então os produtos não são defeituosos. As
máquinas estão funcionando bem e os produtos não são defeituosos.”
A representação simbólica dessa argumentação, considerando:
p: As máquinas da empresa estão funcionando bem.
q: Os produtos são defeituosos.

a) → ~, ~ ↦ ~ .
b) → , ~ ↦ .
c) → ~, ↦ ~ .
d) ↦ ~ .
e) ∨ , ~ ↦ ~ .

Answer 1

c) → ~, ↦ ~ .

A lógica proposicional envolve proposições (sentenças declarativas) em que o argumento apresentado no enunciado, que pode ser formalizado da seguinte maneira: (p ⇒ ¬q) e (p ∧ ¬q).

De acordo com o enunciado podemos ter duas proposições: "Se as máquinas da empresa estão funcionando bem, então os produtos não são defeituosos" (P1) e "As máquinas estão funcionando bem e os produtos não são defeituosos" (P2).

É preciso lembrar que os conectivos podem ser condicional, conjunção e negação e sua representação é: ⇒, ∧ e ¬.

Bons estudos!