Выбери все отрицания к утверждению: это дерево — елка.

Если формально отрицать высказывание «это дерево — ёлка», то получаем «неверно, что это дерево — ёлка», то есть «это дерево — не ёлка».

Корректные формулировки отрицания (логически эквивалентны друг другу):

• «Это дерево — не ёлка».

• «Неверно, что это дерево — ёлка».

• «Это дерево не является ёлкой».

• «Это дерево не принадлежит множеству ёлок».

Важно не путать с частными утверждениями вроде «это дерево — сосна/берёза/дуб». Такие фразы могут быть истинны, но они не равносильны отрицанию исходного высказывания: отрицание должно охватывать все случаи «не ёлка», а не называть какой-то один вид.