5.152
Sätze, welche keine Wahrheitsgründe mit einander gemein haben, nennen wir von einander unabhängig.
Von einander unabhängige Sätze (z.B. irgend zwei Elementarsätze) geben einander die Wahrscheinlichkeit
1
2
.
Folgt p aus q, so gibt der Satz „q” dem Satz „p” die Wahrscheinlichkeit 1. Die Gewißheit des logischen Schlusses ist ein Grenzfall der Wahrscheinlichkeit.
(Anwendung auf Tautologie und Kontradiktion.)