Question

No cálculo de predicados, algumas regras de inferência se baseiam em relação condicional. Qual a alternativa que pode, corretamente, indicar essas regras particulares.

Silogismo Disjuntivo e União


Modus Ponens e Modus Tollens


Simplificação e Adição


Modus Ponens e Adição


Modus Tollens e Silogismo Disjuntivo

?

Answer 1

Resposta:

Modus Ponens e Modus Tollens

Explicação passo a passo:

No modus ponens, você usa a implicação para provar que a consequência é verdadeira ao demonstrar que a premissa é verdadeira. No modus tollens, você usa a implicação para provar que a premissa é falsa ao demonstrar que a consequência é falsa.

Answer 2

Resposta:

Modus Pone ns e Modus Tol le ns  Silogi smo Disjun tivo e U nião