Paratamatu propositsioon ehk loogiliselt paratamatu propositsioon on propositsioon, mille tõeväärtus on kõikides võimalikes maailmades ühesugune. Kui see on tõene, siis meil on paratamatult tõene propositsioon, ja kui see on väär, siis meil on paratamatult väär propositsioon.

Vaata ka

Allikas: https://et.wikipedia.org/wiki/Paratamatu_propositsioon
No tags for this post.