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