totuusjoukko


totuusjoukko

Määritelmä lauseen totuusjoukko on mahdollisten maailmojen semantiikassa niiden maailmojen joukko, joissa lause on tosi

Selite Yksi lauseen ilmaiseman proposition käsite on määritellä se lauseen totuusjoukoksi mahdollisten maailmojen semantiikassa. Jos propositio määritellään näin, niin kaikki loogisesti ekvivalentit lauseet ilmaisevat saman proposition.

Lähikäsitteet

mahdollisten maailmojen semantiikka (kokonaisuuskäsite)
propositio

Käytetyt lähteet

RantalaV&VirtanenA

Alaviitteet

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

Siirry tarkastelemaan sivun muokkaushistoriaa →