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

x & y: «Студент Сидоров изучает информатику и успевает по математической логике».

¬y ↔ ¬x: «Сидоров не успевает по математической логике тогда и только тогда, когда он не изучает информатику».

x → y: «Если студент Сидоров изучает информатику, то он успевает по математической логике».