Логика: что такое взаимоисключающие суждения и как их использовать