Консеквент

Cтраница 2

Оба - и антецедент, и консеквент - представляют собой пропозициональные выражения - утверждения об окружающем мире, которые могут быть истинными или ложными. Выражения могут быть либо логическими, либо описательными. Логические выражения являются произвольными булевыми комбинациями других выражений. В частности, антецедент правила может быть конъюнкцией других выражений. [16]

OUT-вершины, a N - следствие ( консеквент) обоснования, представлено на рис. 8.2. Вершины могут рассматриваться как уникальные имена для формул, ассоциированных с ними. [17]

Действие правила заключается либо в уточнении достоверности указанных консеквентов, либо в выполнении соответствующего набора присоединенных процедур. Такое уточнение достоверности консеквента означает изменение достоверности того, что атрибут этого объекта имеет конкретное значение в свете новой информации, идущей от антецедента. Альтернативное действие, заключающееся в обращении к присоединенным процедурам, представляет собой механизм выхода из ситуации и перехода к выполнению произвольного лисповского кода. [18]

СКАЬаЕаЫаа, поскольку ее антецедент ложен, а консеквент истинен. [19]

Консеквент имеет вид 1аа выражение принимается, так как его консеквент истинен. [20]

Консеквент имеет вид Ааа это выражение принимается, так как его консеквент истинен. [21]

Пример правила в RLL. [22]

Повсюду в этой книге о правилах говорится как о парах антецедент - консеквент, которые имеют части ЕСЛИ и ТО. [23]

Это значит: импликация ложна только тогда, когда ее антецедент истинен, а консеквент ложен; во всех других случаях она истинна. [24]

В соответствии с этой интерлретацией все антецеденты выражения ( 2) истинны, а консеквент ложен; выражение поэтому опровергается. Но этот второй набор чисел не опровергает выражения ( 1), потому что Aab истинно, а следовательно, NAab ложно, а ложный антецедент обеспечивает истинность импликации. [25]

В импликативном высказывании различают антецедент - высказывание, к-рому предпослано слово если, и консеквент - высказывание, следующее за словом то. В классической математической логике исходят из понятия материальной И. [26]

В импликации предикат, стоящий слева от связки - -, назы - вается консеквентом, а предикаты, стоящие справа от - -, назы - ваются антецедентами. [27]

При рассмотрении условного высказывания часто приходится принимать во внимание связь по смыслу между его антецедентом и консеквентом ( см. Консеквент и антецедент), к-рая во ми. Поэтому формализация каузальной связи, подразумеваемой в условном высказывании, является в какой-то мере и формализацией связи по смыслу. Один из способов формализации каузальной связи ( предложенный Берксом) состоит в присоединении к предикатов исчислению аксиом, определяющих новую логич. B) ID ( Ai B), но не справедлива формула ( А з В) гэ ( ALB) ( знак 1 означает К. [28]

В случае СР-подтверждения выбирается либо вяе-вершина из внутри-гипотез, либо вж / грм-вершина из вяе-гипотез, либо консеквент. Опорные вершины для вершин в состоянии вне выбираются таким образом, чтобы статус поддержки такой вершины не мог бы измениться без изменения статуса поддержки одной из опорных вершин или без добавления нового действительного подтверждения. Вершины в состоянии вне по определению не имеют предшественников. TMS сохраняет опорные вершины в качестве одной из компонент структуры данных для вершины и вычисляет предшественников вершины на основе этого списка. [29]

Конъюнкция посылок Abe и Aab, а именно KAbcAab, служит антецедентом формулы, заключение Аас - ее консеквентом. [30]

Страницы: 1 2 3 4