From c073e7dc53915fa82703aff1a2f85417b50ee4bc Mon Sep 17 00:00:00 2001 From: Manuel Palenzuela Date: Thu, 10 Oct 2019 17:14:21 +0100 Subject: BRUH --- Maths/Prepositional_Formulas | 26 +++++++++++++++----------- 1 file 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 -- cgit 1.4.1