ax2

Axiom. Axiom Frege.

Description:

Axiom A2 of [Margaris] p. 49. One of the 3 axioms of propositional calculus. It distributes an antecedent over two consequents. This axiom was part of Frege's original system and is known as Frege in the literature. It is also proved as Theorem *2.77 of [WhiteheadRussell] p. 108.

Arguments:

(pr), (pr), (pr),

Assertions:

((())(()()))