Логіка та мова

•виділяти логічні звязки і відрізняти їх від синтаксичних;

•за виглядом формули робити висновок про характер відношення між обєктами , що фіксуються в ній (за умови знання введення символів)

•виражати за допомогою формул готовий результат і водночас шлях, на якому можна одержати цей результат;

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

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

Список знакових засобів мови логіки висловлювань включає такі знаки:

1. Знаки змінних логіки висловлювань:

p, q, r, s, p1, q1, r1, s1…

Ці знаки служать для позначення простих висловлювань природної мови. У звязку з цим їх ще називають пропозиційними змінними.

2.Знаки логічних сполучників:

~ - знак заперечення (читається: ”не”, ”невірно, що…”);

^ - знак конюнкції (читається: “…і…”);

- знак дизюнкції (читається: “…або…”);

-знак імплікації (читається: “якщо…,тоді…”).

3.Технічні знаки:

( - ліва дужка;

) – права дужка;

, - кома.

Ці знаки в мові логіки висловлювань виконують роль знаків пунктуації природної мови.

Ніяких інших знаків у мові логіки висловлювань немає.

КОНТРОЛЬНІ ЗАПИТАННЯ

1.Що являє собою поняття логічного закону?

2.Для освоєння сучасної логіки потрібне ознайомлення з аспектами мови. З якими саме?

3.Що таке синтаксис?

4.Що таке прагматика?