「Propositional Calculus」を含む例文一覧(2)
- The propositional calculus is based on statements which have truth values (true or false).
命題計算は真理値（真または偽）を持つ文に基づいている。 - コンピューター用語辞典 - Many systems of propositional calculus have been devised which attempt to achieve consistency, completeness, and independence of axioms.
多くの命題計算系が考案されてきた。それらは一貫性、完全性および公理の独立性を達成しようと試みるものである。 - コンピューター用語辞典
