问答题
计算题
证明下列公式不是逻辑有效的。
①（
x）
P（x，y）→（∀x）P（x，y）
②（∀x）（∀y）（P（x，y）→P（y，x））
③（∀x）（¬P（x）→¬P（a））
④（∀x）P（x，y）→（∀x）P（x，y）
【参考答案】
点击查看答案
