Антецедент

Cтраница 4

Здесь [ C ( Kpq) r ] - антецедент всей формулы, в то время как С [ К ( Nr) q ] ( Np) - ее консеквент, содержащий конъюнкцию [ K ( Nr) q ] в качестве своего антецедента и отрицание ( Np) в качестве своего консеквента. [46]

Консеквент утвердителен, а некоторые ( или все) антецеденты отрицательны. Этот случай может быть сведен к третьему. [47]

Это предположение всегда может быть сделано, так как любой антецедент может быть передвинут на какое угодно место. Мы сводим это выражение к двум более простым выражениям CWaCf... [48]

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

Мы не можем получить Aab, так как ни один антецедент не принадлежит к типу Aaf, где / отлично от а. Посылки Aaaf Abb, laa, Ibb могут быть опущены как истинные. Если не имеется никаких других посылок, выражение отбрасывается, как в первом случае. Если имеется Iba, кроме lab, то одно из них может быть опущено, так как они эквивалентны друг другу. [50]

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

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

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