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:
1 Resposta
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!
Mais perguntas de Enem
Top Semanal
Top Perguntas
Você tem alguma dúvida?
Faça sua pergunta e receba a resposta de outros estudantes.
