A.(p→q)→(r→s)B.p→((q→r)→s)C.p→(q→(r→s))D.(p→(q→r))→s
A.公式的數(shù)量是無窮的,但每個公式的長度總是有窮的B.(p∧q)和(q∧p)是相同的公式C.一個否定式的否定不再是否定式D.公式是滿足一定排列組合規(guī)則的符號串
A.從A∨B和?B推出A;從A∨B和?A推出BB.從A∨B推出A;從A∨B推出BC.從A→B和?A→B推出BD.從A∨B、A→C和B→C推出C