Além de MP – Modus Ponens e MT – Modus Tollens, há outras implicações lógicas importantes e também denominadas de regras de inferências:

Perceba que a conclusão sempre já está contida nas premissas. Característica que torna este um estudo relacionado com a teoria dos conjuntos matemáticos.