В классической логике под означиванием (приписыванием истинностных значений 'истина', 'ложь' пропозициональным переменным) понимают функцию, приписывающую каждой переменной значение Т или F.
Подписаться на:
Комментарии к сообщению (Atom)
The study dialectical logic as a logical discipline
Комментариев нет:
Отправить комментарий