Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion/Axiomatik/Weitere Tautologien/Mit Negation/Fakt

$⊢ (\neg α \to α) \to α .$

$⊢ (\neg β \to \neg α) \land (\neg β \to α) \to β$

$⊢ α \to \neg \neg α .$

$⊢ \neg \neg α \to α .$

$⊢ (α \to β) \to (\neg β \to \neg α) .$

$⊢ (\neg β \to \neg α) \to (α \to β) .$