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

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

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

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