Formas de Inferência e Regras Lógicas
Estas formas de inferência válidas são como receitas infalíveis - se seguires os passos corretamente, chegas sempre a conclusões válidas. São ferramentas que usas inconscientemente todos os dias!
O Modus Ponens e Modus Tollens são os teus melhores amigos. O primeiro afirma o antecedente "sechove,ficoemcasa+estaˊachover=ficoemcasa". O segundo nega o consequente e é perfeito para detetares contradições.
O silogismo hipotético cria cadeias lógicas - se A leva a B, e B leva a C, então A leva diretamente a C. É como seguir um mapa de consequências.
As Leis de Morgan são truques geniais para transformar negações complexas. Lembra-te: negar um "e" transforma-o num "ou", e vice-versa.
Truque de Memória: Para a contraposição, imagina que "viras a frase do avesso" - invertes a ordem E negas ambas as partes!