问题标签 [fitch-proofs]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
11 问题
0
投票
1
回答
42
浏览
logic - 为什么 Q → P 是 ¬(P → Q ) 的逻辑结果
我不想问我的教授这件事，因为我在这方面很糟糕，至少可以说他不是那种，呃，耐心类型的教授。
无论如何，这是我的理解，这¬(P → Q )意味着(¬P → ¬Q )两件不同的事情。这Q → P等于(¬P → ¬Q )。
然而，一个问题的答案说这Q → P是 的逻辑结果¬(P → Q )，我根本不明白。
为了进一步混淆问题，afaik¬(p → q) ⟺ p ∧ ¬q是正确的，所以我想我只是迷路了，在逻辑后果的定义中遗漏了一些东西？
任何帮助将非常感激。