Пусть a (x, y), b (x, y,) и c (x, y) будут тремя утверждениями с переменными x и y, выбранными из некоторой вселенной. Рассмотрим следующее утверждение:
(∃x) (∀y) [(a (x, y) ∧ b (x, y)) ∧ ¬c (x, y)]
Что из следующего является его эквивалентом?
(A) (∀x) (∃y) [(a (x, y) ∨ b (x, y)) → c (x, y)]
(B) (∃x) (∀y) [(a (x, y) ∨ b (x, y)) ∧¬c (x, y)]
(C) ¬ (∀x) (∃y) [(a (x, y) ∧ b (x, y)) → c (x, y)]
(D) ¬ (∀x) (∃y) [(a (x, y) ∨ b (x, y)) → c (x, y)]
Ответ: (с)
Объяснение:
Тест на этот вопрос
Рекомендуемые посты:
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 52
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 65
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 64
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 53
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 54
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 55
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 56
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 57
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 58
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 59
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 60
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 61
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 62
- ВОРОТА | Sudo GATE 2020 Mock I (27 декабря 2019) | Вопрос 63
- ВОРОТА | Sudo GATE 2020 Mock II (10 января 2019 года) | Вопрос 65
0.00 (0%) 0 votes