Paratamatu propositsioon
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.