Question

considere a seguinte argumentação lógico 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 o produto não são defeituosos a representação simbólica dessa argumentação considerando P: máquinas da empresa estão funcionando bem bem Q: OS produtos São defeituosos​

Answer 1

A lógica proposicional lida com proposições (sentenças declarativas) e o argumento apresentado no enunciado pode ser formalizado do seguinte modo: (p ⇒ ¬q) e (p ∧ ¬q).

Note que o enunciado nos fornece 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).

Lembremos o seguinte: os conectivos condicional, conjunção e negação são representados, respectivamente, com ⇒, ∧ e ¬. As proposições já foram separadas como p e q, conforme o enunciado.

P1 pode ser formalizada assim: (p ⇒ ¬q) e P2 pode ser formalizada assim: (p ∧ ¬q).