發(fā)布時間：2018-05-21 20:20

  本文選題：普通邏輯 + 矛盾律��； 參考：《中南民族學院學報(人文社會科學版)》2000年01期

【摘要】：本文依據(jù)經典邏輯的真值函項原則及聯(lián)結詞的普適性,指出萬文所給A、A是不合邏輯規(guī)則的,又依據(jù)經典邏輯的已有聯(lián)結詞及矛盾律與排中律的要求,指出萬文給出的矛盾律公式(A∧A)∧(A∧A)與排中律公式(A∨A)∧(A∨A)是贅余的,不能作為矛盾律與排中律的公式,然后從邏輯抽象角度與經典邏輯的二值本性角度論證了傳統(tǒng)的矛盾律公式(A∧A)與排中律公式A∨A的合理性與正確性
[Abstract]:Based on the principle of truth function of classical logic and the universality of connectives, this paper points out that the ANAA given by Wanwen is illogical, and according to the requirements of the existing connectives and the laws of contradiction and exclusion in classical logic, It is pointed out that the contradiction law formula given by Wanwen A (A _ A) A _ (A) and the law of exclusion A _ (A) are redundant and cannot be used as the formulas of the contradiction law and the law of middle exclusion. Then, from the angle of logic abstraction and the binary nature of classical logic, the reasonableness and correctness of the traditional contradiction law formula A 鈪，

本文編號：1920657