Реферат: Загальна характеристика суджень

Пропозиційна функція не є судженням, вона не істинна й не хибна, її не можна ні спростувати, ні довести. Функція висловлювання стає судженням лише тоді, коли на місце невідомого предмета (змінної х ) стає якийсь конкретний предмет. Наприклад, якщо ми візьмемо функцію висловлювання "х — норма права" і підставимо під х щось конкретне, визначене, то матимемо судження, яке буде або істинним, або хибним: "Стаття 144 КК України — норма права" — судження, до того ж істинне, а "Вирок народного суду в справі Петренка — норма права" — судження, але хибне.

У пропорційній функції розрізняють аргумент і предикат. У функції висловлювання "х – юрист" знак х — аргумент, а поняття "юрист" — предикат. У функції висловлювання "х менший від у " один предикат — поняття "менший" і два аргументи — х та у ; у пропозиційній функції "х знаходиться між у і z " один предикат — поняття "знаходитися" і три аргументи — х, у і z . Звідси й розрізняють одномісні пропозиційні функції (з одним аргументом) і багатомісні

пропозиційні функції (з кількома аргументами).

Пропозиційні функції у вигляді формул записують так:

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

Поняття про квантори

У традиційній (аристотелівській) логіці для вираження кількості судження використовують слова: "всі", "жоден", "кожен", "деякі" тощо. Наприклад, загальне судження "Всі метали — провідники" записують у вигляді формули так: "Всі S є Р".

Математична логіка увела для кількісної характеристики суджень (висловлювань) спеціальні оператори, що дістали назву кванторів (від латинського слова quantum — скільки).

Квантори бувають двох видів: квантор існування і квантор спільності .

Квантор спільності означає вислів: "Для усякого (всіх) х ”. Позначається він знаком — х .

Квантор існування позначає ствердження: "Існують такі х ". Відображається знаком — х .

Використовуючи квантори, ми можемо виразити у символах математичної логіки всі чотири типи судження (А, Е, І, 0} за кількістю і якістю. Загальноствердні судження А ("Всі S є Р") можуть бути записані так: х (якщо х є S, то х є Р), або коротше: х (S(х)—>Р(х)), де знак "–>" позначає сполучник "якщо... ...то". Цей вираз читаєтьс?