Математическая логика и теория алгоритмов - Гуц А.К.

Название:
Математическая логика и теория алгоритмов
Автор:
Форматы:
PDF
FB2
DJVU
Размер:
0.54 КБ
29

Скачать
Чим займається наука логіка? Це теорія, яка вчить, як треба правильно міркувати, правильно робити умовиводи й висновки, отримуючи в результаті вірні (правильні) висловлювання. Тому логіка як наука повинна містити список правил отримання правильних висловлювань. Такий набір правил, умовиводів називається списком силлогизмов. 1 1.1. Логіка висловлювань 1.1.1. Висловлювання Вислів - це твердження про що вивчаються об'єктах, що має однозначне і точно визначене значення [31, с.15]. У російській мові вислів являє собою оповідний пропозицію, про який молено сказати, що воно повідомляє нам щось правильне або щось абсолютно неправильне. Отже, висловлювання може бути або істинним, або помилковим. Інакше 1 Силогізм [rp. syllogismos] - умовивід. У Аристотеля - умовивід, що складається з двох висловлювань Чи В (посилок), з яких слід третє вислів З (висновок). Для силлогизма використовується символічна запис виду А, В З.
Похожие файлы
Владимир Крупский, Валерий Плиско
Нина Александровна Богульская
Академия наук СССР. Вычислительный центр, Борис Абрамович Кушнер, Николай Макарович Нагорный, Андрей Андреевич Марков