Exercício de Lógica Proposicional: Contraposição | Filosofia 11º Ano

PERCURSO B – Lógica proposicional.
Considere que a proposição seguinte é a conclusão de uma inferência com uma única premissa.
Se Joana Schenker é campeã mundial de bodyboard, então treina intensamente.
Escreva a premissa que, mediante a aplicação de uma das formas de inferência válida estudadas, permite obter a conclusão apresentada.
Na sua resposta, identifique a forma de inferência válida aplicada.

A resposta integra os aspetos seguintes, ou outros equivalentes. Apresentação da premissa que permite obter a conclusão dada: – Se Joana Schenker não treina intensamente, então não é campeã mundial de bodyboard. Identificação da forma de inferência válida aplicada: – Contraposição.

Níveis	Descritores de desempenho	Pontuação
2	Apresenta a premissa que permite obter a conclusão dada e identifica a forma de inferência válida aplicada.	12
1	Apresenta a premissa que permite obter a conclusão dada, mas não identifica a forma de inferência válida aplicada, ou refere, incorretamente, uma forma de inferência válida diferente da aplicada. OU Apenas identifica a forma de inferência válida aplicada, sem apresentar a premissa que permite obter a conclusão dada. OU Identifica a forma de inferência válida aplicada e apresenta, incorretamente, uma condicional na qual ocorrem as proposições simples da conclusão dada, mas que não permite obter a conclusão dada (por exemplo, «Se Joana Schenker não é campeã mundial de bodyboard, então não treina intensamente»).	6