Отрицание:
, "Не существует несъедобных грибов"
Ага. После чего это можно преобразовать в
— «все вещи — не (несъедобные грибы)», или дальше «для всякой вещи, она съедобна или она — не гриб». Потом можно пойти ещё дальше и превратить дизъюнкцию в импликацию: «для всякой вещи, если она несъедобна, она не гриб» или «для всякой вещи, если она гриб, она съедобна», или, другими словами, соответственно «все несъедобные вещи не грибы» и «все грибы съедобны».
Не знаю, то ли это, что вызывало проблему в начале, но, если что, ограниченные кванторы переводятся в неограниченные немного по-разному. Пусть
«
— гриб»,
«
съедобно». Тогда
• «все грибы съедобны»
;
• «существуют грибы, которые съедобны»
.
Если вы это уже знаете, что ж, мне не очень долго было набирать.