關係邏輯

研究事物間任意性質關係的邏輯推演規律的理論。關係是指若干事物之間的某種相互聯繫，它是邏輯學的重要概念之一。關係邏輯以具有任意性質的關係為其專門研究對象，特別是研究關係的和、關係的積、關係的逆、關係的否定等關係運算，以及各種複合關係的邏輯推演規律等等。

關係邏輯是英國邏輯學家德摩根和美國邏輯學家、哲學家皮爾士首創的，後來，施洛德、羅素等人發展和完善了它。

理論

研究事物間任意性質關係的邏輯推演規律的理論。關係是指若干事物之間的某種相互聯繫，它是邏輯學的重要概念之一。關係邏輯以具有任意性質的關係為其專門研究對象，特別是研究關係的和、關係的積、關係的逆、關係的否定等關係運算，以及各種複合關係的邏輯推演規律等等。關係邏輯是英國邏輯學家德摩根和美國邏輯學家、哲學家皮爾士首創的，後來，施洛德、羅素等人發展和完善了它。

邏輯通常指人們思考問題,從某些已知條件出發推出合理的結論的規律.
說某人邏輯性強,就是說他善於推理,能夠得出正確的結論.說某人說話不合邏輯,就是說他的推理不正確,得出了錯誤的結論.
邏輯有時也指邏輯學.邏輯學是研究推理規律的理論.邏輯學分古典邏輯和現代邏輯.
邏輯又有演繹邏輯,歸納邏輯,形式邏輯,非形式邏輯等不同類型.
邏輯推理中的已知條件和結論都是可以判斷真假的命題.如果把命題作為最基本的成分,只研究命題推理的規律,就得到命題邏輯.進一步,把命題再細分為謂詞,量詞就得到謂詞邏輯.
用符號表示命題,謂詞,量詞,得到符號邏輯.符號邏輯常用來研究數學中的推理,因此也叫數理邏輯.
二十世紀,數理邏輯發展迅速,它的四個主要分支：集合論,模型論,遞歸論,證明論已成為數學的重要學科.現代邏輯如模態邏輯,時態邏輯,機率邏輯,量子邏輯,模糊邏輯等各式各樣的套用邏輯層出不窮.
這樣一來,邏輯的含義是太豐富了.邏輯已經成為數學,哲學,計算機科學,甚至每一門學科的基礎.

邏輯表述

(1)“與”邏輯關係。可以表述為：“當有關條件A、B、C都具備時，事件F才能發生。”

“與”邏輯可用“邏輯乘法”表示，寫作：F=A*B*C。

（2）“或”邏輯關係。可以表述為：“當有關條件A、B、C中只要有一個或一個以上具備時，事件F就能發生。”

“或”邏輯可用“邏輯加法”表示，寫作：F=A+B+C。

（3）“非”邏輯關係。可以表述為：“當有關條件A成立時，事件F就不發生；A不成立時，F就發生。”

“非”邏輯可用“邏輯求反”或“非運算”表示，寫作：F等於A反。