Рассмотрим вариант решения задания из учебника Колягин, Ткачёва, Фёдорова 9 класс, Просвещение: 1. Какое утверждение называют высказыванием? 2. Привести пример высказывания и его отрицания. 3. Какие утверждения называют предложениями с переменной (с переменными). Привести пример предложения с переменной. 4. Что называют множеством истинности предложения с переменной? 5. Как связаны множество истинности А предложения р (х) и множество истинности А предложения р (х), если р (х) и р (х) определены на множестве X? 6. Что обозначает запись (x) р (х); (х) р (х)? 7. Каким способом можно опровергнуть высказывание вида (x)p(x)? 8. Прочитать запись: (x) р (х) = > q (х), х принадлежит X; (х) р (х) = > q (х), х принадлежит Х. 9. Как в символической записи теоремы р (х) = > q (х) называется предложение р (х); предложение q (х)? 10. Как называют теорему вида q (х) = > р (х) по отношению к теореме вида р (х) = > q (х)? 11*. Пояснить в чём состоит смысл доказательства теоремы методом от противного.