Una regla básica de inferencia es el modus ponendo ponens: a partir de "Si "A", "B"" y A, se puede inferir "B".