Cтраница 4
В логике предикатов, как и в логике высказываний, мы можем определить, является ли предложение или множество предложений выполнимым. [46]
В последующих параграфах мы опишем используемые в логике высказываний методы доказательств. [47]
В приведенных выше примерах мы показали, что логика высказываний может применяться ко многим задачам. В главах 4 - 9 для таких доказательств будут даны более эффективные методы. [48]
На множестве предикатов определим нелогические операции, операции логики высказываний и операции ограниченной квантификации. [49]
В качестве порождающих операций класса R рассматриваются операции логики высказываний, операции навешивания ограниченных кванторов ( Эх) х у и ( V), а также явные преобразования. [50]
Так как логика предикатов первого порядка является расширением логики высказываний, то естественно к существующим ранее формулам добавить формулы с кванторами. [51]