2
$\begingroup$

Some propositional taulogies have names, for example, Modus Ponens, Modus Tollens, Contrapositon, ...

Is there a catalog of all named propositional taulogies?

In particular, does the following tautology has a name:

$(p \to q) \equiv (p \& q \equiv p)$ ?

2 Answers 2