Ακουλουθούν πράξεις λογικής σε άθλια μίξη ψευδογλώσσας, αγγλικών, και ελληνικών γιατί έχω ξεχάσει πως γράφουμε φορμαλ λότζικ.Φινγκόλφιν έγραψε: ↑21 Μάιος 2018, 00:00Β. Ένας αστυνομικός έχει ανακρίνει τέσσερις μάρτυρες ενός εγκλήματος και έχει συμπεράνει τα εξής:
1. Αν ο μπάτλερ λέει την αλήθεια, τότε και ο μάγειρας λέει την αλήθεια.
2. Ο μάγειρας και ο κηπουρός δεν μπορούν να λένε και οι δύο την αλήθεια.
3. Ο κηπουρός και η καμαριέρα δεν λένε και οι δύο ψέματα.
4. Αν η καμαριέρα λέει την αλήθεια τότε ο μάγειρας λέει ψέματα.
Ποιος λέει ψέματα και ποιος αλήθεια; Μπορούμε να καταλήξουμε σε ασφαλές συμπέρασμα για όλους;
1. IF Buttler == TRUE THEN Cook = TRUE
2. (Cook AND Gardener) == FALSE
3. (Gardener OR maid) == TRUE
4. IF Maid == TRUE THEN Cook == FALSE
Assume Buttler == TRUE.
Because of 1, Cook == TRUE
Because of 2, Gardener == FALSE
Because of 3, Maid == TRUE
Because of 4, Cook == FALSE, άτοπον.
Άρα ο Μπάτλερ λέει σίγουρα ψέμματα.
now
Buttler == FALSE
1 is useless.
Assume that Cook == TRUE.
Because of 2, Gardener == FALSE
Because of 3, Maid == TRUE
Because of 4, Cook == FALSE, άτοπον.
Άρα ο Μάγειρας λέει σίγουρα ψέμματα.
Cook == FALSE
2 is useless
3 is useless
4 is useless
Άρα δεν μπορούμε να είμαστε σίγουροι για τους υπόλοιπους.