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

Autosave: 2022-12-21 12:00:05

Browse source
This commit is contained in:
thomasabishop 2022-12-21 12:00:05 +00:00
parent 96032a82db
commit 093c822802
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Logic/General_concepts/Soundness.md
View file

@ -1,10 +1,10 @@
--- ---
categories: categories:
- Mathematics - Logic
tags: [logic] tags: [logic]
--- ---
### Soundness # Soundness
Recall that in the definition of [deductive validity](Validity%20and%20entailment.md#validity) we do not say: an argument is valid iff if the premises _are true_ and the conclusion _is true_. We say _if it is possible for the premises to be true_. This is important: we are not interested in the actual truth of the premises or the conclusion. Recall that in the definition of [deductive validity](Validity%20and%20entailment.md#validity) we do not say: an argument is valid iff if the premises _are true_ and the conclusion _is true_. We say _if it is possible for the premises to be true_. This is important: we are not interested in the actual truth of the premises or the conclusion.