Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics.
英
美
命题变量是命题公式的基本构件板块,用于命题逻辑和更高的逻辑中。
目录
查词历史
英 汉