Категория:Логика предикатов

В математической логике логика предикатов является общим термином для символических формальных систем, таких как логика первого порядка, логика второго порядка, многосортированная логика или инфинитарная логика. Эта формальная система отличается от других систем, таких как логика высказываний, тем, что ее формулы содержат переменные, которые могут быть количественно определены.

   Атомная формула    Атомарное предложение    Begriffsschrift    Bernays–Schönfinkel class    Клаузула (логика)
 Область дискурса   Парадокс пьющего    Пустой домен    Экзистенциальное обобщение    Экзистенциальная инстанциация    Расширение (логика предикатов)
   Логика первого порядка    Предикат первого порядка    Логика с фиксированной точкой    Правило формирования    Свободные и связанные переменные
   Универсальное обобщение    Независимость посылки    Принципы индукции, ограничения и наименьшего числа    Интенсиональная логика    Мереология
   Монадическое исчисление предикатов    Предикат (математическая логика)    Логика функторов предикатов    Переменная предиката
   Пропозициональная функция    Квантор (логика)    Квантор ранга    Область действия (логика)    Предикат второго порядка
   Предложение (математическая логика)    Стандартный перевод    Мир Тарского    Температурный парадокс    Универсальное создание экземпляра

   Ссылка на категорию Commons находится в Викиданных]]