Filosofia:totuusjoukko
totuusjoukko
| totuusjoukko |
Määritelmä
lauseen totuusjoukko on mahdollisten maailmojen semantiikassa niiden maailmojen joukko, joissa lause on tosi
Selite
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.
Lähikäsitteet
- mahdollisten maailmojen semantiikka (kokonaisuuskäsite)
- propositio
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.11.2024: Filosofia:totuusjoukko. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:totuusjoukko.)