Логіка висловлювань

розділ логіки; логічна теорія, яка описує складні висловлювння та з’ясовує відношення між ними, абстрагуючись від внутрішньої структури простих висловлювань-складників