「Propositional Calculus」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

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. 例文帳に追加

多くの命題計算系が考案されてきた。それらは一貫性、完全性および公理の独立性を達成しようと試みるものである。 - コンピューター用語辞典