Предикатна логика: Разлика помеѓу преработките
| [непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
с Бот Брише: sr:Исказни рачун |
с Бот додава Шаблон: Без извори |
||
Ред 1:
{{Без извори|датум=ноември 2009}}
Кај [[математичка логика|математичката логика]], '''предикатната анализа''', '''предикатната логика''' или '''анализа за исказни функции''' (исто) е [[формален систем]] кој се употребуа за опис на [[математичка теорија|математички теории]].
| |||