Пусть в сигнатуру системы, описывающей результаты экзаменоввходит предикат Экз(З, П, О), где З - номер зачетной книжки студента, П - предмет (возможные значения: дм - дискретная математика, инф - информатика, алг - алгебра), О - оценка, полученная за экзамен (ее возможные значения: отл, хор, уд, неуд). Какие из следующих формул правильно выражают смысл предложения"Все студенты, успешно сдавшие алгебру, успешно сдали дискретную математику или информатику".∀x ∀o∃b( Экз(x, алг, o) ∧ ¬ (o= неуд ) ∧ ¬(b= неуд ) ∧ (Экз(x, дм , b) ∨ Экз(y, инф, b)) ∀x (¬ Экз(x, алг, неуд) → ∃b (¬ (b= неуд )∧ (Экз(x, дм , b) ∨ Экз(x, инф, b)))) ∀x (∃o( Экз(x, алг, o) ∧ ¬ (o= неуд )) → ( Экз(x, дм , неуд ) → ¬Экз(y, инф, неуд)))
(Отметьте один правильный вариант ответа.)
Варианты ответа
только 1
ни одна
только 2
1 и 3
2 и 3(Верный ответ)
1 и 2