Cтраница 1
Консеквент отражает шаг 1 второго этапа процедуры формирования системы ситуационного управления - принятие решения на инициализацию управления. [1]
Консеквент отрицателен, вместе с тем отрицателен и только один из антецедентов. Этот случай может быть сведен к случаю с лишь одними утвердительными элементами, а такие случаи, как мы увидим позже, всегда разрешимы. [2]
Консеквент отрицателен, отрицателен и более чем один антецедент. Выражения этого рода могут быть сведены к более простым выражениям и в конечном счете ко второму случаю. Разрешение этого случая требует применения правила отбрасывания Слупецкого. [3]
Консеквент утвердителен, а некоторые ( или все) антецеденты отрицательны. Этот случай может быть сведен к третьему. [4]
Консеквент имеет вид Ааа это выражение принимается, так как его консеквент истинен. [5]
Консеквент имеет вид Aab, и Aab является также одним из антецедентов. [6]
Консеквент имеет вид Aab, и существуют антецеденты типа Aaf с f, отличным от а. Если существует цепь, ведущая от а к 6, выражение принимается на основании аксиомы 3, модуса Barbara; если такой цепи нет, выражение отбрасывается. [7]
Консеквент имеет вид 1аа выражение принимается, так как его консеквент истинен. [8]
Консеквент имеет вид lab, а в качестве антецедента выступает или Aab, или Aba, или lab, или Iba очевидно, что во всех этих случаях выражение должно быть принято. [9]
Консеквент и антецедент) является высказыванием, противоречащим нек-рому факту или общепринятому мнению, напр. [10]
Консеквент ап отрицателен, а все антецеденты утвердительны. [11]
Предположим, что консеквент при нимает значение F при приписывании Яь Я2 для Р ( х), Q ( x) соответственно. [12]
Все антецеденты утвердительны, а консеквент - общеутвердительное предложение. [13]
Все антецеденты утвердительны, а консеквент - частноутвердительное предложение. Здесь мы также должны различать несколько подслучаев. [14]
Все антецеденты истинны, а консеквент ложен; следовательно, выражение ( 1) опровергается. [15]