Поняття штучної мови

* Штучні мови — це допоміжні знакові системи, які спеціально створюються на основі природних мов для точної та економної передачі наукової інформації. Штучні мови досить широко викорис­товуються в сучасній науці: математиці, хімії, теоретичній фізиці, об­числювальній техніці, кібернетиці тощо.

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

Алфавіт мови логіки висловлювань.

1) А, В, С... - символи на позначення простих висловлювань (су­джень). Наприклад, “Київ - столиця України”.

За допомогою вказаних символів можна формалізувати, тобто по­дати у вигляді формули логіки висловлювань будь-яке вербальне (від латинського vcrbut - слово), тобто словесне судження, що складається з декількох простих висловлювань. Візьмемо, наприклад, такс вислов­лювання: “Якщо число ділиться на 3 і на 5, то воно ділиться на 15”. Формалізуємо його.

А - “число ділиться на З”.

В - “число ділиться на 5”.

C - “число ділиться на 15”.

У контексті висловлювання знаходимо сполучники: “якщо..., то.. що відповідає імплікації (—>); та сполучник “і”, що відповідає кон’юнк­ції (Л). Отже, наше висловлювання набуває такого вигляду формули логіки висловлювань:

Ця формула читається: “Якщо А і В, то С”. Дана формула, або струк­тура відображає множину вербальних висловлювань природної мови, оскільки А, В і C можуть означати будь-які за змістом твердження.

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

8.