Discussão:Modus tollens
Adicionar tópicoSe existe fogo aqui, então aqui também há oxigênio. Não há oxigênio aqui. Então aqui não há fogo.
O exemplo apresentado não me parece adequado. Se houver fogo em algum lugar, não necessariamente haverá fogo alí.
Exemplo do fogo está correto[editar código-fonte]
--Sraposo (discussão) 13h41min de 20 de julho de 2013 (UTC)O exemplo dado no artigo, abaixo transcrito, está correto:
Se existe fogo aqui, então aqui também há oxigênio. Não há oxigênio aqui. Então aqui não há fogo.
A premissa diz que se houver fogo, haverá oxigênio. Aliás, isto é um fato, já que a presença de oxigênio, juntamente com a substância inflamável e o calor, é condição necessária para a ocorrência de fogo. Portanto, inexistindo oxigênio, não pode haver fogo. No entanto, não havendo fogo, não se pode concluir que há ou não oxigênio. Logo, sem não houver fogo, pode ou não existir oxigênio.
Seja "Fogo" a sentença "existe fogo aqui" e "Oxigênio" a sentença "aqui também há oxigênio":
Fogo Oxigênio Resultado --------------------------- F F V F V V V F F V V V
Como se vê na tabela, há duas linhas com a sentença "Oxigênio" com valor falso (primeira e terceira), no entanto só uma destas linhas tem resultado verdadeiro (primeira). Portanto, sem oxigênio, sem fogo.