thomasabishop/eolas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Autosave: 2022-12-23 15:30:07

Browse source
This commit is contained in:
thomasabishop 2022-12-23 15:30:07 +00:00
parent a18fcb7e4a
commit 74ab911d0e
3 changed files with 8 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Logic/General_concepts/Logical_indeterminacy.md
View file

@ -37,6 +37,7 @@ Cannot be consistently denied as there is no possibility of it being false. It i
## Formal definition
> A proposition P is truth-functionally indeterminate if and only if it is neither truth-functionally true or truth-functionally false.
> should be avoided in arguments, they 'prove' everything whi
```
P

2
Logic/General_concepts/Logical_possibility_and_necessity.md
View file

@ -34,6 +34,6 @@ From this we can derive the following property of logical possibility:
## Logical necessity
A sentence is _logically necessary_ if it is true in every logically possible circumstance which is to say: true on every possible truth functional assignment. Necessity and [logical truth](/Logic/General_concepts/Logical_truth_and_falsity.md#logical-truth) are therefore synonyms: anything that is logically true (a tautology) is true by necessity (could not be otherwise.)
A proposition is _logically necessary_ if it is true in every logically possible circumstance which is to say: true on every possible truth functional assignment. Necessity and [logical truth](/Logic/General_concepts/Logical_truth_and_falsity.md#logical-truth) are therefore synonyms: anything that is logically true (a tautology) is true by necessity (could not be otherwise.)
Further, every logical truth is logically possible but not everything that is logically possible is logically true. It is possible that it is raining but this is not logically necessary - it could be otherwise, i.e not raining. However it is not possible that it could be both raining and not raining.

4
Logic/Laws_and_theorems.md/Corresponding_material_and_biconditional.md
View file

@ -23,8 +23,8 @@ $$ \{ P \leftrightarrow Q, P \lor Q, P \land Q \} $$
| F | T | F | T |
| F | F | T | F |
| $P$ | $Q$ | $(P \leftrightarrow Q) \land (P \lor Q)) \leftrightarrow (P \lor Q)$ |
| --- | --- | -------------------------------------------------------------------- |
| $P$ | $Q$ | $(P \leftrightarrow Q) \land (P \lor Q)) \leftrightarrow (P \land Q)$ |
| --- | --- | --------------------------------------------------------------------- |
| T | T | T |
| T | F | T |
| F | T | T |