List of theorems

List of theorems in general/from_prop_to_propositional.gh:

(<-> (¬ p) (-. p))
(<-> (→ p q) (-> p q))
(<-> (∨ p q) (\/ p q))
(<-> (∧ p q) (/\ p q))
(<-> (⊥) (¬ (⊤)))
symbolizeImplication Convert -> to →
(-> p q)(→ p q)
desymbolizeImplication Convert → to ->
(→ p q)(-> p q)
p , (→ p q)q
(→ p (→ q p))
(→ (→ p (→ q r)) (→ (→ p q) (→ p r)))
(→ p (∨ q p))
(→ p (∨ p q))
(→ (→ p r) (→ (→ q r) (→ (∨ p q) r)))
(→ (∧ p q) q)
(→ (∧ p q) p)
(→ p (→ q (∧ p q)))
(→ (→ p q) (→ (→ p (¬ q)) (¬ p)))
(→ p (→ (¬ p) q))
(∨ p (¬ p))