Поиск по этому блогу

воскресенье, 13 декабря 2009 г.

Означивание


В классической логике под означиванием (приписыванием истинностных значений 'истина', 'ложь' пропозициональным переменным) понимают функцию, приписывающую каждой переменной значение Т или F.


Комментариев нет: