Postado originalmente por
Bob Joe
Na lógica da matemática esse raciocínio é assim:
"Se A então B". A única condição para isso ser verdade é B nunca sendo falso quando A for verdade, ou seja, se o filho passar no vestibular certamente ganhará um carro. Se A for falso, pode-se inferir qualquer coisa, inclusive uma proposição verdadeira.
Bom, essa é a Lógica Matemática.
Modus Tollens, Modus Ponens e De Morgan fizeram minha alegria em fins de semana de estudos de Teoria dos Modelos e Álgebra Booleana.
Adoro Lógica.
