Die Aussage: 'A sagt die Wahrheit' wird mit 'A' bezeichnet.
Die Aussage: 'B sagt die Wahrheit' wird mit 'B' bezeichnet.
Die Aussage: 'C sagt die Wahrheit' wird mit 'C' bezeichnet.
Dann gilt:
A→¬B
B→¬C
C→(¬A→B)
Wahrheitswertetabelle:
A
| B
| C
| A→¬B
| B→¬C
| C→(¬A→B)
|
w
| w
| w
|
|
|
|
w
| w
| f
|
|
|
|
w
| f
| w
|
|
|
|
w
| f
| f
|
|
|
|
f
| w
| w
|
|
|
|
f
| w
| f
|
|
|
|
f
| f
| w
|
|
|
|
f
| f
| f
|
|
|
|
Nicht knobeln, sondern sorgfältig ausfüllen. Nur wenn es eine Zeile gibt, in der die rechten drei Spalten w enthalten, sind die gegebenen Sätze widerspruchsfrei. Dann gelten die Wahrheitswerte der linken drei Spalten.
