Визначення

Визначення

Завдання

1. Які висновки будуть правомірними при такому посиланні: «Якщо студент не знає логіку висловлень, то не зможе розв'язати задану логічну задачу»?

1.1.Студент розв'язав задану логічну задачу. Отже, студент знає логіку висловлень.

1.2.Студент не знає логіку висловлень. Отже, він не розв'яже задану задачу.

1.3.Студент знає логіку висловлень. Отже, він розв'яже задану задачу.

1.4.Студент не розв'яже задану логічну задачу. Отже, він не знає логіку висловлень.

5.2. Поняття логіки висловлень

Висловлення, істиннісне значення, атож, логічні зв'язки, правильно побудована формула, інтерпретація висловлення, пріоритет і ранг операцій, тавтологія, тотожно хибна формула, незагальнозначуща формула

В природних мовах інформація передається за допомогою слів, об'єднаних у речення. Формальна логіка займається аналізом речень, звертаючи основну увагу на форму і відволікаючись від змісту.

Математична логіка вивчає та модулює тільки оповідальні речення. Наказові, окличні та питальні речення знаходяться поза сферою розгляду. Скорочені речення виключаються тому, що можуть мати подвійне значення. Наприклад, на питання «чи не спізнилися ви на лекцію?» скорочена відповідь «так» незрозуміла. В цьому випадку у відповіді необхідно більш повне твердження, яке могло б бути формалізоване. Для формалізації підійде речення: «Я спізнився на лекцію». Математична логіка не вивчає внутрішню структуру і зміст речень, а обмежується розгляданням їх істиннісних властивостей, тобто чи зображують вони істину або хибність. У зв'язку з цим із розглядання виключені оповідальні речення, для яких неможливо визначити, істинне воно або хибне. Очевидно, що таке зображення природної мови не є повним, але воно необхідне для застосування логіки висловлень.

Висловлення— це оповідальне речення, про яке можна сказати, істинне воно або хибне, але не те й інше одночасно.

Істина або хибність, приписана деякому висловленню, називається істиннісним значенням цього висловлення. Позначається: «Істина» — I, Т (True) або 1, «Хибність» — X, F (False) або 0.

Приклад.Визначити, які з даних речень є висловленнями: «Волга впадає в Чорне море», «Волга впадає в Каспійське море», «Який сьогодні день?», «Відстань від Землі до Сонця дорівнює 150000000 км».

Розв'язок. Перші два речення є висловленнями, причому перше є хибним висловленням, а друге — істинним. Третє речення висловленням не є (за визначенням), оскільки воно не оповідальне. Четверте речення також не є висловленням, тому що його істинність або хибність залежить від потрібної точності.

Оповідальні речення бувають простими та складними. Складні речення, як правило, складаються з простих речень, поєднаних сполучниками. Кожне просте речення є самостійним твердженням, і воно вже не може бути розбите на більш дрібні речення. Ці прості речення та сполучники є елементами словника, необхідного для формалізації природної мови за допомогою логіки висловлень.

Читайте також:

<== попередня сторінка	\|	наступна сторінка ==>
Запитання	\|	Визначення

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.005 сек.