Логіка висловлювань, пропозиційна логіка (лат. propositio – "висловлювання") або обчислення висловлювань, також логіка нульового порядку – це розділ символічної логіки, що вивчає складні висловлювання, утворені з простих, та їх взаємини.
Вираз, складений із позначень висловлювань та зв'язок називається логічною формулою, якщо воно задовольняє наступним умовам: будь-яка змінна, що означає висловлювання, – формула; якщо А і В – формули, то (А & В), (Р Q), (A), (P Q), (Р~ Q), (Р Q) –формули; інших формул ні.
Логічне висловлювання – це будь-яка оповідальна пропозиція, щодо якої можна однозначно сказати, істинна вона чи хибна. "6 – парне число." слід вважати висловлюванням, оскільки воно є істинним. "Рим – столиця Франції."
Обчислення висловлювань – це аксіоматична логічна система, інтерпретацією якої є алгебра висловлювань. Опис будь-якого обчислення включає в себе опис символів цього літочислення (алфавіту); формул, що є кінцевими конфігураціями символів та визначення виведених формул.