propositional logic
短語詞組
- propositional modal logic 命題模態(tài)邏輯
- propositional intermediate logic 命題中間
- propositional dynamic logic [計(jì)]命題動態(tài)邏輯
- deterministic propositional dynamic logic 確定性命題邏輯
- Fuzzy Propositional Modal Logic 模糊模態(tài)邏輯
- propositional temporal logic 命題時態(tài)邏輯
- many -sorted propositional dynamic logic 多類命題動態(tài)邏輯
- formula of propositional logic 命題邏輯公式 返回 propositional logic