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

RantalaV&VirtanenA

References

Lähdeviittaus tähän sivuun:
Tieteen termipankki 5.2.2023: Filosofia:totuusjoukko. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:totuusjoukko.)

Siirry tarkastelemaan sivun muokkaushistoriaa →