Em um sistema formal, a validade de um argumento pode ser demonstrada por meio de tabelas-verdade ou regras de inferência. Considere o seguinte argumento: Premissa 1: Se o projeto for aprovado (P), en

Question

Em um sistema formal, a validade de um argumento pode ser demonstrada por meio de tabelas-verdade ou regras de inferência. Considere o seguinte argumento: Premissa 1: Se o projeto for aprovado (P), então a produção aumentará (Q). Premissa 2: O projeto foi aprovado (P). Conclusão: Portanto, a produção aumentará (Q). Qual o nome desta regra de inferência básica e como ela é representada logicamente?

Accepted Answer

Modus Ponens; P → Q, P ∴ Q

Answer

Modus Tollens; P → Q, ¬Q ∴ ¬P

Answer

Silogismo Disjuntivo; P ∨ Q, ¬P ∴ Q

Answer

Silogismo Hipotético; P → Q, Q → R ∴ P → R

Answer

Introdução da Conjunção; P, Q ∴ P ∧ Q

Questão 25589 — Conhecimentos Específicos

Comentários