Давай разберёмся с заданием. Начнем с пятого пункта, где нужно выяснить, будут ли формулы равносильны. ### 5. Выяснить, будут ли следующие формулы равносильны: **а) X → Y и ¬Y → ¬X** Это закон контрапозиции. Формулы равносильны. **б) ¬X → ¬Y и Y → X** Это тоже контрапозиция. Формулы равносильны. **в) X → (Y → Z) и (X & Y) → Z** Это правило дистрибутивности импликации. Формулы равносильны. **г) X → (Y → Z) и X → Y & Y → Z** Здесь формулы не равносильны. Правая часть говорит о двух отдельных импликациях. **д) ¬(X & Y) и ¬X → ¬Y** Это закон де Моргана. Формулы не равносильны. **е) ¬X → ¬Y и Y → X** Это контрапозиция. Формулы равносильны. ### 6. Доказать равносильность формул: Для этого нужно будет проверить каждую пару формул на равносильность с помощью законов логики, таких как контрапозиция, де Моргана и т.д. ### 7. Доказать, что формула G является логическим следствием формул F1, ..., Fn: Для каждого пункта проверь, можно ли вывести формулу G из данных формул F1, ..., Fn, используя правила вывода. ### 8. Доказать, что формула G не является логическим следствием формул F1, ..., Fn: Здесь нужно показать, что невозможно вывести G из данных формул. Если есть конкретный пункт, который вызывает затруднения, дай знать, и я помогу разобраться подробнее!