1
$\begingroup$

I recently came across a description of Frege's propositional calculus. It consists of six axioms and one rule of inference, described here. Hilbert's deductive system is similar. Frege's six axioms are:

THEN-1
A → (B → A)
THEN-2
(A → (B → C)) → ((A → B) → (A → C))
THEN-3
(A → (B → C)) → (B → (A → C))
FRG-1
(A → B) → (¬B → ¬A)
FRG-2
¬¬A → A
FRG-3
A → ¬¬A

Several articles, that wikipedia page included, say that Frege's axioms and the theorems derived from them are equivalent to the axioms of standard propositional logic. What are those axioms (I assume they're things like De Morgan's Law, material implication, etc.), and how do they relate to Frege's axioms? What do axioms like A → (B → A) or (A → (B → C)) → (B → (A → C)) mean intuitively?

$\endgroup$

closed as too broad by symplectomorphic, José Carlos Santos, Aweygan, Yanior Weg, Lee David Chung Lin Jun 12 at 1:40

Please edit the question to limit it to a specific problem with enough detail to identify an adequate answer. Avoid asking multiple distinct questions at once. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.