sono qui schematizzate le regole di inferenza e i ragionamenti modus ponendo ponens e modus tollendo tollens con relativi esercizi