diff options
| author | Manuel Palenzuela <manuelpalenzuelamerino@gmail.com> | 2019-10-10 17:14:21 +0100 |
|---|---|---|
| committer | Manuel Palenzuela <manuelpalenzuelamerino@gmail.com> | 2019-10-10 17:14:21 +0100 |
| commit | c073e7dc53915fa82703aff1a2f85417b50ee4bc (patch) | |
| tree | 3ce7869df535316acd1654ba801ab6b050ca461b | |
| parent | Bruh Init (diff) | |
| download | Homework-c073e7dc53915fa82703aff1a2f85417b50ee4bc.tar.gz Homework-c073e7dc53915fa82703aff1a2f85417b50ee4bc.tar.bz2 Homework-c073e7dc53915fa82703aff1a2f85417b50ee4bc.zip | |
| -rw-r--r-- | Maths/Prepositional_Formulas | 26 |
1 files changed, 15 insertions, 11 deletions
diff --git a/Maths/Prepositional_Formulas b/Maths/Prepositional_Formulas index b0b25fd..4e8684c 100644 --- a/Maths/Prepositional_Formulas +++ b/Maths/Prepositional_Formulas @@ -130,14 +130,18 @@ d. (0 => (P A Q)) and (P V Q) = 1st follows from 2nd B = Bob says truth A = Alice says truth -C = Carol says truth - - B A C !B => !C A A C !A A !B - 1 1 1 1 1 0 - 1 1 0 1 0 0 - 1 0 0 1 0 0 - 0 0 0 1 0 1 - 0 0 1 0 0 1 - 0 1 0 1 0 0 - 1 0 1 0 0 0 - 0 1 1 0 1 0 +C = Carol says truth + + B A C !B => !C !(!A A !C) !A A !B Contradiction + 1 1 1 1 1 0 x + 1 1 0 1 1 0 * + 1 0 0 1 0 0 x + 0 0 0 1 0 1 x + 0 0 1 0 1 1 x + 0 1 0 1 1 0 x + 1 0 1 1 1 0 x + 0 1 1 0 1 0 x + +Bob = truth +Alice = truth +Carol = lie |