propositional logic

短語詞組

短語

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