A、有效論證 B、邏輯等值 C、重言式原則 D、以上都對
A.文恩圖檢驗(yàn)B.形式演繹C.三段論D.邏輯驗(yàn)算
A、函項(xiàng)等值 B、真值表 C、邏輯等值 D、真值函項(xiàng)