形式邏輯學(xué)

　　形式邏輯就是研究推理的形式結(jié)構(gòu)的學(xué)科。所謂推理就是由前提得出結(jié)論的過程，如前提：如果張三是人，那他就會死；并且張三是人；所以，張三會死。
　　邏輯學(xué)研究各種各樣的推理，并發(fā)現(xiàn)所有的推理都有似的地方，即具備某種形式結(jié)構(gòu)。如上面那個例子中的“如果。。那么， 并且，所以”等的組織方式。我們以有限種的形式結(jié)構(gòu)可以構(gòu)造出無數(shù)種推理，以上面的推理為例，我們還可以構(gòu)造：“【如果】天下雨，【那么】地會濕，并且剛剛天下雨了，【所以】現(xiàn)在地一定濕了”，“【如果】明天是星期一，【那么】我就要上班，【并且】明天正好是星期一，【所以】我就要上班了”等等。
　　但推理的形式結(jié)構(gòu)有好壞之分，好的形式結(jié)構(gòu)能確保你從正確的前提得到正確的結(jié)論，壞的形式結(jié)構(gòu)就可能讓你從正確的前提得到錯誤的結(jié)論。形式邏輯的任務(wù)就是研究那些好的形式結(jié)構(gòu)是什么樣的，以及為什么這樣的形式結(jié)構(gòu)就是好的。

形式邏輯是按照一定的邏輯推理規(guī)則，按照一定的步驟進(jìn)行推理,而非形式邏輯是我們?nèi)粘Ｉ钪谐Ｓ玫倪壿嬎季S推理。

邏輯表達(dá)式就是邏輯 \"與\" \"或\" 非,C語言中分別用&&,||,!,來表示,其他地方
也基本用這三個符號,邏輯表達(dá)式就是,甲=乙&&(||\'!)丙,邏輯關(guān)系式是,只要兩者是相與的關(guān)系,只要有一個參數(shù)為0,其結(jié)果0;相或的關(guān)系只要其中的參數(shù)
有一個不為0其結(jié)果為1;非的關(guān)系是非不為0=0;非0=1;

邏輯運算的結(jié)果只有兩個：true（真）和false（假）。一般有六種關(guān)系運算符和三種邏輯運算符：=(等于)、<（小于）、<=（小于等于）、>（大于）、>=（大于等于）、<>（不等于）
not（非）、and（與）、or（或）
例如：5>3
結(jié)果為
true,
這個就是邏輯表達(dá)式

都是存在人的意識中對世界的精確概括。

邏輯表達(dá)式就是邏輯 \"與\" \"或\" 非,C語言中分別用&&,||,!,來表示,其他地方
也基本用這三個符號,邏輯表達(dá)式就是,甲=乙&&(||\'!)丙,邏輯關(guān)系式是,只要兩者是相與的關(guān)系,只要有一個參數(shù)為0,其結(jié)果0;相或的關(guān)系只要其中的參數(shù)
有一個不為0其結(jié)果為1;非的關(guān)系是非不為0=0;非0=1;
不知道你問的是不是這個！

形式邏輯邏輯學(xué)的分支學(xué)科。研究思維的形式結(jié)構(gòu)及其規(guī)律。撇開具體的思維內(nèi)容，研究概念、判斷和推理（尤其是演繹推理）及其正確聯(lián)系的規(guī)律和規(guī)則；反映事物最簡單、最普遍、最常見的聯(lián)系，表達(dá)最初步的但很重要的思維規(guī)律?；疽?guī)律有：同一律、矛盾律和排中律。
形式邏輯 研究人的認(rèn)識知性階段思維規(guī)律的學(xué)說，狹義指演繹邏輯，廣義還包括歸納邏輯。形式邏輯的思維規(guī)律也是思維形式和思維內(nèi)容的統(tǒng)一。形式邏輯的對象是事物的質(zhì)，形式邏輯靠概念、判斷、推理(主要包括歸納推理與演繹推理)反映事物的質(zhì)。[1][2]

形式邏輯也叫普通邏輯。研究思維形式及其規(guī)律的科學(xué)。它是一門工具性質(zhì)的科學(xué)，是人們認(rèn)識事物、表達(dá)思想時經(jīng)常運用的一種必要的邏輯工具。人的認(rèn)識在理性階段要實現(xiàn)對客觀世界的反映，就要實現(xiàn)思維內(nèi)容和思維形式的統(tǒng)一，否則，就不能實現(xiàn)這個反映。思維內(nèi)容就是思維所反映的對象及其屬性，形式就是對某個對象反映的方式，也就是用詞語表達(dá)的概念、用語句所表達(dá)的判斷和用復(fù)句所表達(dá)的推理等。

違反了排中律的規(guī)則，完成了一種模棱兩可的情況，即在同一思維過程中，對兩個互相矛盾的思想都不明確判斷為真。

就是:相生相克!