дающий возможность разл
11КВАНТОР — логический оператор, с помощью которого высказывание о к. л. отдельном объекте преобразуется в высказывание о совокупности (множестве) таких объектов. В логике используется два основных К.: К. общности, «V», и К. существования, «Э». В… …
12ОПРОВЕРЖЕНИЕ — в логике рассуждение, направленное против выдвинутого утверждения, предположения или доказательства и имеющее своей целью установление его ложности или недоказанности. Различают прямое и косвенное О. При прямом О. из выдвинутого положения выводят …
Страницы
- 1
- 2