...E 2.15 • (p→q) ≡ (¬q →¬p) EXAMPLE 2.16 (p ∨ q) ∧¬(¬p ∧ q) p Logical Implication: Rules of Inference (推论法则) • 推论(inference)、论证(argument) • 逻辑要处理的题材就是推论(inference), 不过在逻辑学界和哲学界大多是称为论证 (argum...
基于8个网页-相关网页
推论法则
Inference rule
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动