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 Пропозиционально