udsagnslogik
Udsagnslogik, den del af logikken, som formaliserer argumenter, der kun indeholder usammensatte udsagn og udsagn opbygget vha. de logiske symboler ¬ (ikke), ∧ (og), ∨ (eller), ⇒ (medfører), ⇔ (hvis, og kun hvis). Se også logik. I moderne logik findes der flere forskellige udsagnslogiske systemer