5˙0013
Eine Operation die aus einer Anzahl von Sätzen eine Wahrheitsfunktion dieser Sätze macht, nennen wir „Wahrheitsoperation” (W-Operation).