Математическая логика. - 15 стр.

                                      - 14 -               Математическая логика




                                           Рис. 2

23а.   См. рис. 3.




                        а)                                      б)

                                           Рис. 3


23.    Упрощенные схемы будут иметь вид, представленный на рис. 4.




                       а)                                     б)
                                           Рис. 4

25а.   ∀x (C(x)→Y(x)) , где C(x) – «х - студент», а Y(x) – «х - учится».


25б.   ∃x ( C(x) & O(x) ) .

25в.   Запишем двухместный предикат в виде обычного отношения:
       ∀х ∃y (x < y) .

25г.   Запишем в виде трехместного предиката:
              ∀x,y ∃z S(x,y,z) .
              Предикат S принимает значение “истинно”, когда x + y = z , и
       «ложь» в противном случае. При навешивании соответствующих кванто-
       ров поучается утверждение о том, что для любых x и y существует
       сумма.

25д.   ∀x A(x).

25e.   ∃x A(x).

25ж.   ∀x ¬ A(x).

25з.   ∃x ¬ A(x).