Logica proposizionale
Logica proposizionale Regole di inferenza MODUS PONENS Da A→ B e A segue B “Se piove prendo l’ombrello. Piove.” (A→ B . A) Segue “Prendo l’ombrello” (B) MODUS TOLLENS DA A→ B e ¬ B segue ¬ A “Se ho fame mangio. Non mangio.”(A→ B. ¬ B) Segue “Non ho fame”(¬ A)
