Квантор: відмінності між версіями
[перевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Jphwra (обговорення | внесок) |
буква не та Мітки: Скасовано Візуальний редактор |
||
Рядок 1:
'''Ква́нтор''' — логічний оператор, що перетворює всякий [[предикат]] на предикат меншої
== Квантори у класичній логіці ==
|