Udsagnslogik

(eller: propositionel logik, propositional logic).

Denne logik er den klassiske logik, som på dansk også kaldes domslogik. Den kendes bl.a. fra Holbergs skuespil Erasmus Montanus, hvor den studentikost bruges helt forkert ("Morlille er en sten"). Logikken består af udtryk, opbygget af udsagn (domme) og logiske konnektiver (bindeled) som "og" (AND), "eller" (OR), "ikke" (NOT) og implikation "=>". Et eksempel er (a) Hvis det regner, vil jeg enten se en god film i TV eller gå i biografen; (b) Der går ingen god film i TV. Af dette kan sluttes, at (c) Hvis det regner, går jeg i biografen. Dette kan formuleres formelt på følgende måde: (a) udtrykker "p=>(q eller r)"; (b) udtrykker "ikke q". Heraf kan ved brug af udsagnlogikkens aksiomer og regler sluttes at (c) "p=>r". Se også prædikatlogik.