安安 众卿
本鲁观察八卦版动不动就嘴 "逻辑?" "我不懂他的逻辑?" 之类的
好像版上乡民逻辑课都满分 是这样吗?
卦?
ps.
∀v1P1v1 → P0 等于 ∀v1(P1v1 → P0) 吗?
因为如果不等于的话,
{(Ev1P1v1 → P0)} ├ ∀v1(P1v1 → P0)
这题我就解不出来了 (E 为反E
或是
Ev1P1v1 → P0 等于 Ev1(P1v1 → P0) 吗?
不等于的话,
{∀v1(P1v1 → P0)} ├ (Ev1P1 → P0)
我也解不出来
导式都已经列完了 最后一步就缺一个括号长的不一样
可是要昧著良心说他们相等 又好像说不过去