Paratamatu propositsioon

Allikas: Vikipeedia
Jump to navigation Jump to search

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[muuda | muuda lähteteksti]