PROPOSITIONAL

пропозициональный alphabet of propositional calculus — алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus — классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic — классическая логика высказываний constructive propositional calculus — конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus — расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology — интуиционистская пропозициональная тавтология minimal propositional calculus — минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus — модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus — многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function — открытая пропозициональная функция partial propositional calculus — частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus — позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology — позитивная пропозициональная тавтология primitive propositional constant — исходная пропозициональная постоянная proper propositional calculus — собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus — двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective — унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable