Разделительно-категорическое Умозаключение

(равносильность, эквивалентность) - от­ношение между высказываниями или формулами, когда они при­нимают одни и те же истинностные значения. Напр., при любых значениях элементарных высказываний формулы (A v B) и (B v A), (A v (A &. В)) и A принимают одни и те же значения, т. Е. Если одна из них истинна, то и другая истинна, если одна из них ложна, то и другая также ложна. Если два высказывания A и В равнозначны, то формулы А ->. В и B ->. А будут тождественно истинными.. ..

- отношение между понятиями, объемы которых совпадают. Напр., понятия «луна» и «естественный спутник Земли» совпадают по своему объему, в который входит только один  . Предмет. Понятия «человек» и «разумное существо, владеющее чле­нораздельной речью» равны по своему объему, т. К. Обозначают один и тот же класс — людей.. ..

См. Ди­лемма.. ..

- дизъюнктивное (от лат. Disjunctio — разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки «или». Общая форма Р. С. Имеет вид А1 v A2 v, ..., v An, где Аn — суждение (член дизъюнкции, альтернатива), a v — знак дизъюнкции. Суще­ствуют два вида Р. С. Строго разделительные и нестрого раздели­тельные. В строго разделительных суждениях связка «или», «либо» употребляется в строго разделительном смысле (см. Дизъюнкция), т. Е. Когда члены дизъюнкции (а..