Булевы и предикатные логические пространства

Abstract

Введено понятие предикатного логического пространства. Определены правила, по которым находят дизъюнкцию, конъюнкцию векторов такого пространства, а также произведение логического вектора на логический скаляр. Эти правила проиллюстрированы графически. Доказана теорема о совершенстве предикатного пространства Предложены правила дтя вычисления размерности предикатного и булева логических пространств. I he notion of the predicative logical spaces arc introduced. The rules for calculation of disjunction, conjunction of the vectors of such space and of multiplication of the logical vector to the logical scalar. These rules are illustrated by pictures. The theorem about perfection of the predicative space is proved The rules for calculation of measurement of boolean and predicative spaces are offered