5.152

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