Выяснить, является ли первая формула логическим следствием остальных: x→z; x→y; y∧z; Помогите пожалуйста решить задан 9 Окт '20 1:28 Максимус46845 |
Выяснить, является ли первая формула логическим следствием остальных: x→z; x→y; y∧z; Помогите пожалуйста решить задан 9 Окт '20 1:28 Максимус46845 |
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
9 Окт '20 1:28
показан
415 раз
обновлен
9 Окт '20 2:31
Конечно, да. Если третья формула истинна, то z истинно, и тогда импликация x->z истинна.