Непосредственное умозаключение. Истинность суждений

Непосредственные умозаключения через отношение суждений (в логическом квадрате) .Дайте классификацию непосредственных умозаключений.Это означает, что являются правильными следующие, в частности, непосредственные умозаключения.Логической формой их приобретения и служит умозаключение.Противные высказывания (SaP и SeP) не могут быть вместе истинными.В данной формуле используются конъюнктивные, дизъюнктивные, импликативные суждения и отрицание.Суждения (1) и (3) находятся в отношении логической подчиненности.Это значит, что если одно из них истинное, то другое - неистинное и наоборот.Постройте таблицу истинности следующей формулы.Таблица истинности будет иметь следующий вид.