| .. |
|
Atomic and molecular sentences.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Biconditional Elimination.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Biconditional Introduction.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Conditional Elimination.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Conditional Introduction.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Conjunction Elimination.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Conjunction Introduction.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Consistency.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Corresponding material and biconditional.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
DeMorgan's Laws.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Disjunction Elimination.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Disjunction Introduction.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Formal proofs in propositional logic.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Indeterminacy.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Law of Non-Contradiction.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Law of the Excluded Middle.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Logical equivalence.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Logical possibility and necessity.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Logical truth and falsity.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Negation Elimination.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Negation Introduction.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Object language and meta-language.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +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
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Syllogism.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Syntax of sentential logic.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Theorems and empty sets.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
|
Truth-functional connectives.md
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +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
|
Initial commit, pure MD
|
2022-04-23 13:26:53 +01:00 |
