请学离散的大师们帮帮忙啊!
证明1.P∨Q,P→R,Q→S=>R∨S2.A→(C∨B),B→┐A,D→┐C=>A→┒D3.P→Q,┐Q∨R,┐R,┐S∨P=>┐S4.┐B∨D,(E→┐F)→┐D,┐...
证明
1.P∨Q, P→R, Q→S => R∨S
2.A→(C∨B),B→┐A,D→┐C => A→┒D
3.P→Q,┐Q∨R,┐R,┐S∨P=>┐S
4.┐B∨D,(E→┐F)→┐D,┐E=>┐B
5.A→(B→C),C→(┐D∨E),┐F→(D∧┐E),A=>B→F 展开
1.P∨Q, P→R, Q→S => R∨S
2.A→(C∨B),B→┐A,D→┐C => A→┒D
3.P→Q,┐Q∨R,┐R,┐S∨P=>┐S
4.┐B∨D,(E→┐F)→┐D,┐E=>┐B
5.A→(B→C),C→(┐D∨E),┐F→(D∧┐E),A=>B→F 展开
1个回答
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询