Предикатна логика
From Wikipedia, the free encyclopedia
Remove ads
Кај математичката логика, предикатната анализа, предикатната логика или анализа за исказни функции (исто) е формален систем кој се употребуа за опис на математички теории.
Предикатната логика е продoлжение на исказната логика, која е неадекватна за опис на посложени математички структури. Граматички кажано предикатната логика додава структура „предикат-субјект“ и „квантификатори“ врз постоечката исказна логика. Предмет е назив кој се дава на еден член или група на поединци (множество), а предикат е релација на оваа група.
Многу е потешко да се расудува во предикатна логика отколку во изказна логика. Генерално, таблиците на вистината не се соодветни на предикатна логика, бидејќи еден универзално мерлив предикат може да има бескраен домен на интерес.
Remove ads
Идентитети
Remove ads
Правила на инференција
Remove ads
Поврзано
- Предикатна анализа од прв ред
- Предикатна анализа од втор ред
![]() | Оваа поврзанa со логиката статија е никулец. Можете да помогнете со тоа што ќе ја проширите. |
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads