我在youtube上观看有关分辨率的视频，并看到了这段视频，这对我有所帮助：
http://www.youtube.com/watch?v=hhTxW5c3BXo
接近结尾时，他做了一个例子，其中每个相应条款中对面的X都取消了，其余的都连接在一起，这是好的，但我想知道它是否适用于多个变量取消例如：
（AB→＆gt; CDXY）（PQXY - > RS）
取消XY会给ABPQ - ＆gt; RSCD
我得到这种直觉感觉这个＆＃34;双重分辨率＆＃34;不适用，我无法找到有关取消2个或更多变量的任何信息。
我有什么遗失的吗？
答案 0 :(得分：0)
我打电话给这个＆＃34;取消＆＃34;这似乎很奇怪。但是，你的例子中的XY按照你希望的方式行事。
请不要陷入以代数方式操纵符号的陷阱。如果您要学习这些东西，您必须能够考虑所有这些符号意味着什么。在这种情况下，你要问的是......
Given that (A&B) implies (C&D&X&Y)
and that (P&Q&X&Y) implies (R&S)
can you deduce that (A&B&P&Q) implies (R&S&C&D)?
你能否看到（A＆amp; B）必须暗示（C＆amp; D）而且（A＆amp; B）也必须暗示（X＆amp; Y）？ 并且当你向混合物添加（P＆amp; Q）时，存在从（A＆amp; B）到（X＆amp; Y）和到（R＆amp; S）的推断链？
不是对XY的一个引用取消了对XY的另一个引用，而是该XY以与M在参数L-> M，M->中所做的类似的方式充当垫脚石。 N，因此L-> N.
考虑它的另一种方式是命名。 X和Y代表一些真理功能命题。谁决定一个应该叫X而另一个Y？没有理由我们不能将两个命题组合在一起作为单个连词并将其称为Z.那么你的两个前提包含一个变量Z而不是复合XY。并且Z可以被取消＆＃34;如果你想这样想。