Формальний запис висловлювань у логіці предикатів (кванторній логіці)

Записати категоричні висловлювання можна, використовуючи спеціальні позначки — квантори. Їх два: квантор спільності V і квантор існування 3. Квантор спільності вказує на загальні висловлювання, а квантор існування — на часткові.

Самі символи походять від англійських слів all — «усі» і to exist — «існувати».

вання. При кванторному записі атрибутивних висловлювань до висловлювань існування додаються формули, які вказують на конкретний смисл зв’язки між суб’єктом і предикатом — чи це відношення логічного слідування (імплікації), чи це проста кон’юнкція. Нарешті, кванторний запис дозволяє формалізува-

id="Picutre 31" class="lazyload" data-src="/files/uch_group66/uch_pgroup273/uch_uch6784/image/image031.jpg">

6.7.

<< | >>

↑

Источник: Логіка: Підручник для студентів вищих навчальних закладів / В. Д. Титов, С. Д. Цалін, О. П. Невельська-Гордєєва та ін.; За заг. ред. проф. В. Д. Титова. — Х.: Право,2005. — 208 с.. 2005

Еще по теме Формальний запис висловлювань у логіці предикатів (кванторній логіці):

- Логика - Основы философии - Социальная философия - Философия науки и техники -