用真值表来验证,┐(p∧q)├p→┐q是否为有效式。
┐(p∧q)├p→┐q的真值情况如下:所以,┐(p∧q)├p→┐q是有效式。(注:每行1分,结论2分,共计6分)
◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。