…
..
Biconditional_Elimination.md
Biconditional_Introduction.md
Conditional_Elimination.md
Conditional_Introduction.md
Conjunction_Elimination.md
Conjunction_Introduction.md
Disjunction_Elimination.md
Disjunction_Introduction.md
Formal_proofs_in_propositional_logic.md
Negation_Elimination.md
Negation_Introduction.md
Reiteration.md
Strategies_for_constructing_proofs.md