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:

Regras de Inferência
Adição disjuntiva (AD)	p ⇒ p ∨ q
Simplificação conjuntiva(SIM)	p ∧ q ⇒ p ou p ∧ q ⇒ q
Modus Ponens(MP)	(p→q) ∧ p ⇒ q
Modus Tollens(MT)	(p→q) ∧ ~q ⇒ ~p
Silogismo Disjuntivo(SD)	(p ∨ q) ∧ ~q ⇒ p
Silogismo Hipotético(SH)	(p→q) ∧ ( q → r ) ⇒ p → r
Dilema Construtivo(DC)	(p→q) ∧ ( r→s ) ∧ ( p ∨ r ) ⇒ q ∨ s
Dilema Destrutivo(DD)	(p→q) ∧ ( r→s ) ∧ ( ~q ∨ ~s ) ⇒ ~p ∨ ~r
Absorção(ABS)	p → q ⇒ p → ( p → q )

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.