Ни один гриб не является съедобным. Некоторые грибы являются съедобными

Данная пара суждений имеет одинаковые субъекты («гриб») и предикаты («съедобный»), следовательно, суждения сравнимые.
Ни один гриб не является съедобным. По объединенной классификации данное суждение относится к типу Е (общеотрицательное) . Некоторые грибы являются съедобными. Данное суждение относится к типу I (частноутвердительное).
По логическому квадрату суждения типов Е и I противоречащие (контрадикторные)