direito em movimento sistema das turmas recursais - Emerj

u Artigos u
1) Se para ser considerado um planeta, basta a um corpo celeste
que orbite regularmente uma estrela [p], então a Terra
deve ser um planeta [q].
2) Para ser considerado um planeta, basta a um corpo celeste
que orbite regularmente uma estrela [p].
3) Portanto, a terra É um planeta.
Não se pode aceitar concomitantemente 1) e 2) e negar
3). Isso constituiria ausência de lógica.
1.2 Modus tollens
Expressão que significa “modo de negar”. É derivada diretamente do
modo de afirmar, diferindo daquele pelo fato de que se nega a hipótese
levantada pela proposição [p]. Observe-se que, no modo de negar, o que
não se consubstancia como verdadeira é a hipótese presumida por [p],
que, no caso é [q]. Não é a [proposição p] que, a priori, é falsa, até pelo fato
de que ela, como premissa maior, apenas aponta variáveis hipotéticas, no
caso, a [proposição q]. A constatação de que a premissa maior [proposição
p] será falta decorre tão somente do fato (e como consequência) de a
[proposição q], ela sim, ser falsa. Observe:
1) Se [proposição p], então [proposição q].
2) [Proposição q] é falsa.
3) Portanto, [proposição p] é falsa
Ou, em outros termos mais objetivos:
1) Se p, então q.
2) q é falso.
3) Portanto, p é falso.
u Direito em Movimento, Rio de Janeiro, v. 17, p. 17-118, 1º sem. 2013 u 31