Пусть x – высказывание «Студент Сидоров изучает информатику», y – высказывание «Студент Сидоров успевает по математической логике». Дать словесную формулировку следующих высказываний: 1) x & , 2) « , 3) x ® y .

Цель: понять перевод логических выражений на словесную форму. Поскольку параметры предмета и класса не указаны, используем общий школьный стиль. Короткое пояснение: - x — «Студент Сидоров изучает информатику». - y — «Студент Сидоров успевает по математической логике». - x ∧ y — «и» (оба высказывания истинны одновременно). - ¬x — «не x» (отрицание первого высказывания). - x → y — «если x, то y» (условное высказывание). Даны формулировки: 1) x ∧ y: Студент Сидоров изучает информатику и успевает по математической логике. 2) ¬x: Студент Сидоров не изучает информатику. 3) x → y: Если студент Сидоров изучает информатику, то он успевает по математической логике.