ВИСЛОВЛЮВАННЯ
Прості і складні висловлювання
Наші міркування складаються з висловлювань. Наприклад, в умовивід «Деякі птахи літають; значить, деякі літаючі - птиці »входять два різних висловлювання.
Висловлення - більш складне утворення, ніж ім'я. При розкладанні висловлювань на більш прості частини ми завжди отримуємо ті чи інші імена. Скажімо, висловлювання «Сонце є зірка» включає в якості своїх частин імена «Сонце» і «зірка».
Висловлення - граматично правильна пропозиція, взяте разом з висловлюваним їм змістом (змістом) і що є істинним чи хибним.
Поняття висловлювання - одне з вихідних, ключових понять логіки. Як таке воно не допускає точного визначення, в рівній мірі застосовні в різних її розділах. Ясно, що будь-яке висловлювання описує певну ситуацію, щось стверджуючи або заперечуючи про неї, і є істинним або хибним.
Висловлення вважається дійсним, якщо дається їм опис відповідає реальній ситуації, і хибним, а то й відповідає їй. «Істина» і «брехня» називаються істиннісними значеннями висловлювань.
З окремих висловлювань різними способами можна будувати нові висловлювання.
Наприклад, з висловлювань «Дме вітер» і «Йде дощ» можна утворити більш складні висловлювання «Дме вітер і йде дощ», «Або дме вітер, або йде дощ», «Якщо йде дощ, то дме вітер» і т. П.
Вирази «і», «або, або», «якщо, то» і т. П., Що використовуються для утворення складних висловлювань, називаються логічними зв'язками.
Висловлення називається простим, якщо воно не включає інших висловлювань в якості своїх частин.
Висловлення називається складним, якщо воно отримано за допомогою логічних зв'язок з інших, більш простих висловлювань.
Перейдемо до розгляду найбільш важливих способів побудови складних висловлювань.