Este é um argumento válido importante, denominado regra de inferência Modus Ponens (MP), que diz o seguinte:

Outro argumento válido importante é a denominada regra de inferência Modus Tollens (MT), que declara o seguinte:

Essas e todas as chamadas regras de inferência são implicações lógicas comprovadas. Veja a seguir.