Предикатна логика: Разлика помеѓу преработките

[непроверена преработка][непроверена преработка]
Избришана содржина Додадена содржина
сНема опис на уредувањето
сНема опис на уредувањето
Ред 22:
 
== Видете исто така ==
{{portalpar|Logic}}
 
* [[Предикатна анализа од прв ред]]
* [[Предикатна анализа од втор ред]]