Template:Individual-TLP-paragraph-pt-br-5.152

5.152 Chamamos mùtuamente independentes as proposições que não têm em comum com outras qualquer argumento de verdade.

Duas proposições elementares têm entre si a probabilidade ½.

Se p segue-se de q, a proposição “q” tem em relação à proposição “p” a probabilidade 1. A certeza da inferência lógica é o caso-limite da probabilidade.

(Aplicação à tautologia e à contradição.)