Вступ

Пропозиція це виcлів (твердження), який може бути істинним або хибним - третього не дано. В цьому полягає один із фундаментальних принципів логіки - принцип виключення третього. Істинність і хибність називаються логічними значеннями пропозиції. Пропозиція "2 + 2 = 4" істинна, а " є раціональне число" хибна. З точки зору граматики пропозиція є речення - закінчена думка. Будемо розрізняти елементарні пропозиції і складні. Елементарній пропозиції відповідає просте речення з простими підметом і присудком. Виясняти, який з окремих елементарних висловів є істинним чи хибним, не є завданням логіки. Логіка займається знаходженням логічних значень складних пропозицій при умові, що логічні значення складових елементарних пропозицій відомі. Існує багато тверджень, істинність або хибність яких нікому не вдається довести. Наприклад, відома теорема Гольдбаха що "кожне парне число більше 2 є сумою двох простих чисел". В даному вище означенні пропозиції є великий дефект, згідно нього не завжди можна визначити, чи є дане твердження пропозицією. Наприклад, вираз "Я завжди говорю неправду". Тому інколи замість замість терміну "пропозиція" вживають більш нейтральний термін "вислів", в цьому разі не обовязково треба знати, істинний вислів чи хибний.