Regole per derivare la verità dalla verità precedentemente dichiarato o provata. è la base del motore di inferenza nella maggior parte dei sistemi esperti. V. ' anche ' regola modus ponens, modus tollens, risoluzione a catena.