Cтраница 2
Оба - и антецедент, и консеквент - представляют собой пропозициональные выражения - утверждения об окружающем мире, которые могут быть истинными или ложными. Выражения могут быть либо логическими, либо описательными. Логические выражения являются произвольными булевыми комбинациями других выражений. В частности, антецедент правила может быть конъюнкцией других выражений. [16]
Обычно предусловие ( антецедент) задается в виде логической комбинации утверждений о данных рабочей памяти, а действием ( консеквентом) является некоторая операция по модификации памяти. Сложность действий колеблется в значительных пределах от простой операции присваивания до функции произвольной степени сложности. [17]
В сочетании с антецедентом quoi обычно не употребляется. [18]
СКАЬаЕаЫаа, поскольку ее антецедент ложен, а консеквент истинен. [19]
В импли-кативном высказывании различают антецедент - высказывание, к-рому предпослано слово если, - и кон-секвент - высказывание, следующее за словом то. В классической математической логике исходят из понятия материальной И. [20]
В имллп-кативном высказывании различают антецедент - высказывание, к-рому предпослано слово если, - и кон-секвент - высказывание, следующее за словом то. В классической математической логике исходят из понятия материальной И. [21]
В импликативном высказывании различают антецедент - высказывание, к-рому предпослано слово если, и консеквент - высказывание, следующее за словом то. В классической математической логике исходят из понятия материальной И. [22]
В имллп-кативном высказывании различают антецедент - высказывание, к-рому предпослано слово если, - и кон-секвент - высказывание, следующее за словом то. В классической математической логике исходят из понятия материальной И. [23]
Эти две формулы имеют более сильные антецеденты, чем формулы 18 и 19, и легко выводимы из них ( 21 - из 18, а 22 - из 19) посредством положения CQpqCpq и принципа гипотетического силлогизма. [24]
Каждая формула, входящая в антецедент ( сукцедент) какой-либо секвенции из доказательства в 01, не содержащего ни сечений, ни применений ID - и - - правил, служит подформулой некоторой формулы, входящей в антецедент ( сукцедент) конечной секвенции этого доказательства. [25]
Определить, какие правила имеют удовлетворенные антецеденты. Этот шаг называется сопоставление. [26]
Обратите внимание, что проверка антецедентов правил заставляет дедуктивную машину работать рекурсивно. Эта рекурсия и реализует обратную цепочку рассуждений. [27]
Второе правило гласит: перед антецедентом истинной импликации допустимо ставить квантор существования, связывающий свободную переменную, входящую в антецедент, если только эта переменная не входит в качестве свободной переменной в консеквент. [28]
Консеквент ап отрицателен, а все антецеденты утвердительны. [29]
С помощью S10 мы можем передвинуть сложный антецедент со второго места на лервое, а с помощью S11 - с третьего на второе. [30]