questão av estácio inteligência artificial lógica proposicional

A tabela-verdade da sentença possui 32 linhas, pois temos 5 proposições de entrada que são: p, s, q, r e w. Devemos nos lembrar de que no Modus ponens, usamos uma premissa verdadeira para provar que a consequência da implicação é verdadeira. A resposta correta é aquela que demonstra que o silogismo hipotético tem a forma: a → b, b → c Ⱶ a → c. No caso da questão, basta fazer as substituições das proposições p ^ s por a, q ^ r por b e w ^ s por c. No caso do Modus tollens, temos o formato p → q, ~q Ⱶ ~p. A simplificação conjuntiva só se aplica quando temos proposições de valores lógicos verdadeiros associadas a um operador lógico E.

Silogismo hipotético.

ACABEI DE RESPONDER O SIMULADO E A RESPOSTA É

Silogismo hipotético.