Filosofia:totuusjoukko
totuusjoukko
totuusjoukko |
Definition
lauseen totuusjoukko on mahdollisten maailmojen semantiikassa niiden maailmojen joukko, joissa lause on tosi
Explanation
Yksi tapa määritellä lauseen ilmaisema propositio mahdollisten maailmojen semantiikassa on määritellä se lauseen totuusjoukoksi. Jos näin tehdään niin kaikki loogisesti ekvivalentit lauseet ilmaisevat saman proposition.
Related Concepts
- propositio
- mahdollisten maailmojen semantiikka (kokonaisuuskäsite)
Sources
References
Lähdeviittaus tähän sivuun:
Tieteen termipankki 5.2.2023: Filosofia:totuusjoukko. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:totuusjoukko.)