Освітній портал MyReferatik

Зміст

1. Предикат.
2. Логіка предикатів.
3. Числення предикатiв.
4. Відмітні риси логіки предикатів.
5. Закони логіки висловлень і логіки предикатів.
6. Список використаної літератури.

Уривки

Предикат - в традиційній логіці один з двох термінів думки, а саме той, в якому щось мовиться про предмет мови (суб'єкт). До кінця 19 ст. у логіці суб'єкт думки, як правило, ототожнювався з граматичним підметом, а предикат - з іменною частиною граматичного присудка, що виражається, наприклад, прикметником. традиційним огглядом, форма присудка (предикативний зв'язок) зводилася до атрибутивного зв'язку, т. про означала, що предмету (суб'єктові) властива певна ознака. Розвиток математичної логіки сів до перегляду цій точці зору.
Новий погляд характеризується узагальненням поняття «Предиката» на основі поняття особливого роду функції - логічної (або пропозіциональної) функції, значеннями якої служать вислови (або їх істинне значення - «істина» і «брехня»). Напр., вислову «Сократ є людина» в традиційному розумінні відповідала схема «S є Р». Якщо S і Р розглядати як змінні, що мають різні області значень: S - область «індивідуальних предметів», а Р - область «розумінь, напр., при виборі поняття «людина» як значення змінної Р отримаємо вираз «S є людина», або вираз «.. .є людина» (де крапки замінюють букву S), так ще, по суті, функцію від однієї змінної, яка стає висловом (приймає значення «істина» або «брехню»), коли на місце крапок (або змінній S) ставлять ім'я деякого суб'єкта (напр., «Сократ»), що грає тут звичайну роль аргументу функції. Аналогічно цьому вираз «...більше, чим...» є функція від двох змінних, а вираз «...находится між... і...» - функція від трьох змінних і т.п.
В математичній логіці функції, значеннями яких служать вислови (або їх істинне значення «відмітка» і «брехня»), і називають предикат Т. обр., новий погляд на логічну структуру думки зводиться до того, що традиційні поняття предиката і суб'єкта замінюються відповідно на точні математичні поняття функції і її аргументів. Відповідно до цього предикат визначаються на множинах (областях предметів), елементи доелементи яких служать аргументами, або значеннями відповідних змінних, нове трактування предикат додає необхідну спільність логічному міркуванню, яке об'єднує висновки не тільки силогізму, але і несилогізму, а функціональна форма запису відкриває широкі можливості для формалізації висловів будь-якій науковій теорії. Ноутбуки. Купить ноутбуки в интернет магазинe Itbox.ua. Низкие цены на ноутбуки в Киеве и Украине - продажа, доставка