Question

Texto-base: Considere as seguintes proposições:

• Se fizer sol de manhã então o pássaro canta.

• O pássaro não cantou.

Enunciado: A partir destas premissas e utilizando a regra de inferência Modus Tollens, podemos deduzir que:
Escolha uma:
a. Então não fez sol de manhã.
b. Então o pássaro cantou à tarde.
c. Então não fez sol e o pássaro cantou.
d. Então fez sol de manhã.
e. Então o pássaro não cantou à tarde.

Answer 1

a. Então não fez sol de manhã.

Uma válida (e simples) forma de argumento e regra de inferência na lógica proposicional, o "Modus ponendo ponens" (que em latim significa: "a maneira que afirma afirmando") é comumente abreviado para MP ou para Modus Ponens).

Trata-se de um mecanismo aceito para se construir provas dedutivas, ele inclui a "regra de definição" e também a "regra de substituição". O Modus Ponens possibilita eliminar uma instrução condicional de um argumento ou de uma prova lógica.

Bons estudos!