From 852d2a2badb536c7245700f99bd4b872e767a548 Mon Sep 17 00:00:00 2001 From: thomasabishop Date: Wed, 21 Dec 2022 06:30:01 +0000 Subject: [PATCH] Autosave: 2022-12-21 06:30:01 --- Logic/General_concepts/Logical_consistency.md | 7 +++++++ Logic/General_concepts/Logical_indeterminacy.md | 2 +- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/Logic/General_concepts/Logical_consistency.md b/Logic/General_concepts/Logical_consistency.md index ba1fa0a..549383a 100644 --- a/Logic/General_concepts/Logical_consistency.md +++ b/Logic/General_concepts/Logical_consistency.md @@ -50,6 +50,13 @@ F T T T * F F F F ``` +| $P$ | $Q$ | $ P \lor Q $ | $Q$ | +| --- | --- | ------------ | --- | +| 0 | 0 | 0 | 0 | +| 0 | 1 | 1 | 1 | +| 1 | 0 | 1 | 1 | +| 1 | 1 | 1 | 1 | + ## Derivation > In terms of logical derivation, a finite $\Gamma$ of propositions is **inconsistent** in a system of derivation for propositional logic if and only if a proposition of the form $P \& \sim P$ is derivable from $\Gamma$. It is **consistent** just if this is not the case. diff --git a/Logic/General_concepts/Logical_indeterminacy.md b/Logic/General_concepts/Logical_indeterminacy.md index cf6ff22..a9b75c3 100644 --- a/Logic/General_concepts/Logical_indeterminacy.md +++ b/Logic/General_concepts/Logical_indeterminacy.md @@ -24,7 +24,7 @@ May be true or false thus it can it both be asserted and denied quite consistent It is raining and it is not raining. ``` -Cannot be consistently asserted as there is no possibility of the proposition being true. It is either raining or it isn't raining. Given the law for conjunction both conjuncts must be true for the proposition as a whole to be true. But in the case of this proposition if one conjunct is true, the other must be false and vice versa, hence it is not possible for the proposition to be true at all. It can _only_ be false. +Cannot be consistently asserted as there is no possibility of the proposition being true. It is either raining or it isn't raining. Given the law for conjunction, both conjuncts must be true for the proposition as a whole to be true. But in the case of this proposition if one conjunct is true, the other must be false and vice versa, hence it is not possible for the proposition to be true at all. It can _only_ be false. Contrariwise the proposition: