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

[непроверена преработка][непроверена преработка]
Избришана содржина Додадена содржина
с Бот додава Шаблон: Без извори
с Бот: козметички промени
Ред 6:
Многу е потешко да се расудува во предикатна логика одколку во изказна логика. Генерално, таблиците на вистината не се соодветни на предикатна логика, бидејќи еден универзално мерлив предикат може да има бескраен домен на интерес.
 
== Идентитети ==
:<math>\neg \forall x P(x) \Leftrightarrow \exists x \neg P(x)</math>
:<math>\neg \exists x P(x) \Leftrightarrow \forall x \neg P(x)</math>