satslogik

Satslogik avser allmänt studiet av de resonemang som kan föras med språkliga satser som satts samman av mindre satser med språkelement som icke, och, eller, om... så..., om och endast om etcetera; dessa är så kallade konnektiv.