Ученые записки математических кафедр 1968 г.

- 58 - ШПЛ1 нация отрицая ле р 1 У Р ~Р 0 0 (р о Л о / / / / 0 Л р л Г / 0 о / / 0 дизъюша ия . / X / р Р1/~Р X о р с X 0 л- / р / / 0 X о ¿о о О 1ри истинностных значениях дня Л * Р и £ соответственно ровных 1,1 и 2, аксиома И принимает невыде­ ленное значение 1. Вое остальные аксиомы при всех возможных истинностных значениях входяцих в них переменных принимают значение О. в/ Независимость аксиом!; Ш истинностные значения: 0 и I. Выделенное значение - 0. Истинностные, таблицы: с импликация отрицание дизъюнкция Р ? р=>$ р ^ р Р ^ р р у ~ р Р Р {? Р / / 0 0 0 0 0 / 0 0 / / / / : 0 / / 0 ' При значении Р равном I 1 значении ? . равном аксиома И принимает значение I. Все остальные аксиомы при

RkJQdWJsaXNoZXIy ODQ5NTQ=