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ä , , jne. Eri propositiosymbolien voidaan tulkita edustavan toisistaan riippumattomia asiantiloja. Loogisille konnektiiveille käytetään usein merkkejä kuten . Nämä vastaavat karkeasti ottaen luonnollisen kielen lausekonnektiiveja, esimerkiksi "ei", "ja" ja "tai".
Propositiologiikkaa kehittivät ensimmäisenä stoalaiset.
<ref>
-elementti;viitettä
a
ei löytynyt© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search