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

- 57 - импликация отрицание о / 2 3 0 1 2 3 4 О / 2 3 4 О / г о ь о ч / р V р * 9 Р ~Р 0 0 о о 2 0 / ' / У р 2 * г / 0 3 2 3 / 0 Ч ч Ч О дизъюнкция 0 Р ~Р Р У ~ Р ° 0 2 О 2 / Ч / / 2 / / 1 5 / / / ч 0 / 0 о Если переменные р напринимают, например, истя0' ностные значения, равные 3, то формула принимает невыделенное истинностное значение 2 . Все Ф0^' лы, вырагаюцие остальные аксиомы исчисления 3 , приял“8 при всевозможных истинностных значениях, входящих в яя* ременных только выделенные значения С или 1. б/ Независимость аксиомы П Истинностные значения: 0 ,1 ,2 . Выделенное зкачея01 Истинностные таблицы: