ЛОГИКА ПРЕДИКАТОВ

раздел дедуктивной логики, в котором ведущую роль играет влияние внутренней структуры суждений на логический вывод. Поскольку здесь полностью сохраняется характер связей логики высказываний (см. *Логика высказываний*), то Л. п. можно рассматривать как расширение последней. Классический вариант Л. п. является непосредственным преемником аристотелевской силлогистики, но субъектно-предикативная структура суждений анализируется теперь с большей глубиной Алфавит Л. п., помимо символов логики высказываний, содержит также символы предметов: предметные переменные (х1, х2, хЗ, ...) и предметные константы (а1, а2, аЗ, ...); символы свойств и отношений: предикатные буквы (P, Q, R ...); функциональные буквы (fl, f2, О, ...); кванторы: V квантор общности (*для всех*) и 3 квантор существования (*существует*). Дадим определение терма Л. п.: a) всякая предметная переменная или константа есть терм; b) если f функциональная буква и tl,...,tn термы, то f(tl, ..., tn) есть терм; c) больше никаких термов, кроме указанных в а) и Ь), нет. Элементарные формулы Фо получаются посредством применения предикатных букв к термам: P(tl, ..., tn). В зависимости от величины n определяется *местность* функциональных и предикатных букв. Например, P(t) одноместный предикат (свойство), R(tl, t2) двухместный предикат (бинарное отношение) и т. д. Синтаксическая категория формул ? Л. п. определяется так же, как и в логике высказываний, но добавляется следующее положение: если А формула и ? предметная переменная, тоУхАиЭхА тоже формулы. Т. о. силлогистика является теорией одноместных предикатов и четыре формы ее суждений приобретают следующий вид: А V ? (S(x) -* Р(х)) или (-3 ? (S(x) & (

логика предикатов—раздел математической логики См. Логикаem изучающий логические законы общие для любой области объектов исследования содержащей хоть один объект с заданными на этих объект...Большая Советская энциклопедия II
логика предикатов—раздел логических теорий в котором изучаютсяобщезначимые связи между высказываниями о свойствах и отношенияхпредметов в основе логики предикатов лежит формализованный язы...Большой энциклопедический словарь II
логика предикатов—ЛОГИКА ПРЕДИКАТОВ раздел логических теорий в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов в основе логики предикатов лежит...Большой энциклопедический словарь III
логика предикатов—ЛОГИКА ПРЕДИКАТОВ раздел логических теорий в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов в основе логики предикатов лежи...Большой Энциклопедический словарь V
логика предикатов—раздел логич. теорий в кром изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов в основе Л. п. лежит формализованный язык отображающий су...Естествознание. Энциклопедический словарь
логика предикатов—предикаттар логикасы...Орысша-қазақша «Математика» терминологиялық сөздік
логика предикатов—predicate logic...Русско-английский политехнический словарь
логика предикатов—predicate logic...Русско-английский словарь по электронике
логика предикатов—логка прэдыката...Русско-белорусский математический словарь
логика предикатов—логка предикатв...Русско-украинский политехнический словарь
логика предикатов—prediktov logika...Русско-чешский словарь
логика предикатов—Функциональная логика теория квантификации кванторная логика основной раздел современной математической символической логики в котором описываются выводы учитывающие вну...Словарь логики
логика предикатов—ЛОГИКА ПРЕДИКАТОВ или Функциональная логика теория квантификации кванторная логика основной раздел современной iматематическойi символическойi логикиi iв котором описыва...Словарь по логике
логика предикатов—функциональная логика квантор пая логика осн. раздел математич. логики средствами крого строятся многие др. е разделы. Л. п. в отличие от логики высказываний расширением ...Советский философский словарь
логика предикатов—ЛОГИКА ПРЕДИКАТОВ раздел логических теорий в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов в основе логики предикатов лежит...Современный энциклопедический словарь
логика предикатов—ЛОГИКА ПРЕДИКАТОВ центральный раздел логики в котором изучается субъектнопредикатная структура высказывании и истинностные взаимосвязи между ними.Л.п. представляет собой...Философская энциклопедия
логика предикатов—ЛОГИКА ПРЕДИКАТОВ раздел логических теорий в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов в основе логики предикатов лежи...Энциклопедический словарь естествознания
логика предикатов—ЛОГИКА ПРЕДИКАТОВ раздел символической логики изучающий рассуждения и др. языковые контексты с учетом внутренней структуры входящих в них простых высказываний при этом в...Энциклопедия эпистемологии и философии науки