diff options
Diffstat (limited to 'Maths')
| -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 |