Формула: ( ( p → q ) ¨ p ) → q классической логики выражает суждение:

№ По количеству участников спор бывает: № Деление понятия раскрывает его: № Два понятия «юрист» и «шахматист» находятся в отношении № Простое суждение «Всякий человек есть творец своей судьбы» является № Суждение «Не существует √-1» выражает: № Переходя от понятия «мастер спорта» к понятию «спортсмен», мы совершаем операцию