Поняття складного висловлювання

Висловлювання, яке містить у собі інші висловлювання як скла­дові частини, називають ^складними. Якщо жодна частина даного висловлювання не може розглядатися як самостійне висловлюван­ня, то воно називається простим, або елементарним.

У логіці висловлювань не розглядають і не враховують внутріш­ню структуру елементарних висловлювань - розчленування на су­б’єкт та предикат. Тому прості висловлювання називають ще ато­марними, або атомами (від грецького ατoμoς), а складні - молеку­лярними, або молекулами (від латинського moles - шматок; частинка речовини, що складається з атомів) (аналогія з хімією тут суто зовнішня).

Логіка висловлювань відволікається також і від змісту висловлю­вання або його смислу, розглядаючи будь-яке висловлювання (атом чи молекулу) як істинне (1), або хибне (0).

Атомарні висловлювання позначають літерами - А, В, C,..., N або однією літерою з індексом -A₁, А,,..., A_n. Ці літери називають пропозиційними (від латинського propositio - речення, висловлю­вання) змінними, оскільки їм відповідають різні за змістом елемен­тарні висловлювання.

2.