| .. |
|
Atomic_and_molecular_sentences.md
|
|
|
|
Biconditional_Elimination.md
|
|
|
|
Biconditional_Introduction.md
|
|
|
|
Conditional_Elimination.md
|
|
|
|
Conditional_Introduction.md
|
|
|
|
Conjunction_Elimination.md
|
|
|
|
Conjunction_Introduction.md
|
|
|
|
Consistency.md
|
|
|
|
Corresponding_material_and_biconditional.md
|
|
|
|
DeMorgan's_Laws.md
|
|
|
|
Disjunction_Elimination.md
|
|
|
|
Disjunction_Introduction.md
|
|
|
|
Formal_proofs_in_propositional_logic.md
|
|
|
|
Indeterminacy.md
|
|
|
|
Law_of_Non-Contradiction.md
|
|
|
|
Law_of_the_Excluded_Middle.md
|
|
|
|
Logical_equivalence.md
|
|
|
|
Logical_possibility_and_necessity.md
|
|
|
|
Logical_truth_and_falsity.md
|
|
|
|
Negation_Elimination.md
|
|
|
|
Negation_Introduction.md
|
|
|
|
Object_language_and_meta-language.md
|
|
|
|
Reiteration.md
|
|
|
|
Soundness.md
|
|
|
|
Strategies_for_constructing_proofs.md
|
|
|
|
Syllogism.md
|
|
|
|
Syntax_of_sentential_logic.md
|
|
|
|
Theorems_and_empty_sets.md
|
|
|
|
Truth-functional_connectives.md
|
|
|
|
Truth-tables.md
|
|
|
|
Truth-trees.md
|
|
|
|
Validity_and_entailment.md
|
|
|