A.A∨?A→A∨?BB.B→AC.?(?A∧B)D.?A→?B
A.(p→q)→(r→s)B.p→((q→r)→s)C.p→(q→(r→s))D.(p→(q→r))→s
A.公式的數(shù)量是無窮的,但每個(gè)公式的長(zhǎng)度總是有窮的B.(p∧q)和(q∧p)是相同的公式C.一個(gè)否定式的否定不再是否定式D.公式是滿足一定排列組合規(guī)則的符號(hào)串