Template:Individual-TLP-paragraph-it-5.152

5.152 Chiamiamo indipendenti l'una dall'altra proposizioni che non hanno alcun argomento di verità in comune l'una con l'altra.

Proposizioni indipendenti l'una dall'altra (ad es. due qualsiasi proposizioni elementari) danno l'una all'altra la probabilità ½.

Se p segue da q, la proposizione «q» dà alla proposizione «p» la probabilità 1. La certezza dell'inferenza logica è un caso limite della probabilità.

(Applicazione alla tautologia e alla contraddizione.)