| .. |
|
Atomic_and_molecular_sentences.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Biconditional_Elimination.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Biconditional_Introduction.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Conditional_Elimination.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Conditional_Introduction.md
|
Last Sync: 2022-04-24 15:38:45
|
2022-04-24 15:38:45 +01:00 |
|
Conjunction_Elimination.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Conjunction_Introduction.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Consistency.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Corresponding_material_and_biconditional.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
DeMorgan's_Laws.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Disjunction_Elimination.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Disjunction_Introduction.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Formal_proofs_in_propositional_logic.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Indeterminacy.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Law_of_Non-Contradiction.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Law_of_the_Excluded_Middle.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Logical_equivalence.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Logical_possibility_and_necessity.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Logical_truth_and_falsity.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Negation_Elimination.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Negation_Introduction.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Object_language_and_meta-language.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Reiteration.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Soundness.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Strategies_for_constructing_proofs.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Syllogism.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Syntax_of_sentential_logic.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Theorems_and_empty_sets.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Truth-functional_connectives.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
|
Truth-tables.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Truth-trees.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Validity_and_entailment.md
|
Last Sync: 2022-04-23 18:30:04
|
2022-04-23 18:30:04 +01:00 |
