Логика умозаключения

В чисто условном умозаключении существуют его разновидности (модусы) .Эта формула является законом логики.В умозаключении суждение Ь истинно и независимо от того, утверждается или отрицается а.Можно строить достоверные умозаключения от отрицания следствия к отрицанию основания.Условно-категорическое умозаключение может давать не только достоверное заключение, но и вероятное.Такая теория, фактически отсутствующая в традиционной логике, содержится в алгебре логики.Существуют чисто разделительные и разделительно-категорические умозаключения.В чисто разделительном умозаключении обе (или все) посылки являются разделительными суждениями.Этот вид умозаключения содержит два модуса.Обе эти формулы выражают законы логики.