Логика на непрецизноста: Разлика помеѓу преработките
[непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
Ред 98:
=== Предикатна фази логика===
Овие ја прошируваат фази логиката со додавање на [[универзален квантификатор|универзални]] и [[егзистенцијален квантификатор|егзистенцијални квантификатори]] на начин сличен на начинот на кој се создава [[предикатна логика]] од [[исказна логика|исказната логика]]. Семантиката на универзалниот (односно егзистенцијалниот) кватификатор во [[
=== Виши фази логики ===
|