Propositiologiikka

Propositiologiikka eli lauselogiikka on symbolisen logiikan alue, jossa tutkitaan propositiosymboleja ja loogisia konnektiiveja sisältävien formaalikielen lauseiden ominaisuuksia. Näistä ominaisuuksista keskeisimpiä ovat totuus ja lauseiden väliset päättelysuhteet. ^[1]

Propositiosymboleina käytetään formaalikielessä yleensä merkkejä ${\displaystyle p_{0}}$, ${\displaystyle p_{1}}$, ${\displaystyle p_{2}}$ jne. Eri propositiosymbolien voidaan tulkita edustavan toisistaan riippumattomia asiantiloja. Loogisille konnektiiveille käytetään usein merkkejä kuten ${\displaystyle \neg ,\land ,\lor }$. Nämä vastaavat karkeasti ottaen luonnollisen kielen lausekonnektiiveja, esimerkiksi "ei", "ja" ja "tai".

Propositiologiikkaa kehittivät ensimmäisenä stoalaiset.

1. ↑ Viittausvirhe: Virheellinen <ref>-elementti; viitettä a ei löytynyt