不包含其他命題作為其組成部分的命題，即在結構上不能再分解出其他命題的命題．又稱簡單命題。原子命題不能帶有非，或，且，如果，那么等聯結詞。
不包含其他命題作為其組成部分的命題,即在結構上不能再分解出其他命題的命題.又稱簡單命題。原子命題不能帶有非,或,且,如果,那么等聯結詞。 ...
推理是由若干命題得出一個命題的思維過程。①能提供100%證據支持度的推理稱為必然性推理,只能提供某種小於100%證據支持度的推理稱為或然性推理。一般地,演繹推理是...
概括命題是邏輯原子主義用語。指對基本命題施以量化處理而形成的複合命題。由羅素提出。認為知識命題即表達科學知識的命題包括三類:原子命題(即基本命題)、原子命題的...
分子命題是英國哲學家羅素的哲學概念,指將原子命題加以邏輯運算的最簡單的一種命題。...
原子事實(atomic fact)指的是邏輯原子主義用語。指關於對象的最簡單、最原始、不可分割的經驗。與“原子命題”相對。由羅素和維根斯坦提出。羅素說:“可以想像到...
規範命題亦稱“道義命題”、“規範模態命題”。含有“必須”(“應該”)、“允許”、“禁止”這類規範詞的命題。亦即在一定情況下,給人(規範的承受者)的如何行動...
[1] ),而只是使用(標記的)過渡系統的概念, 有一套行動法,過渡關係被定義為S×Act×S的一個子集,它們還擴展到包括一組原子命題和狀態的標記函式(如上定義的...
謂詞,在謂詞邏輯中,原子命題分解成個體詞和謂詞。 個體詞是可以獨立存在的事或物,包括現實物、精神物和精神事三種。謂詞則是用來刻劃個體詞的性質的詞,即刻畫事...
真值函項理論是英國維根斯坦前期思想中代表性理論之一。依據他在《邏輯哲學論》中所闡述的關於命題與世界關係的理論,任何事物都必須存在於原子事實的空間之中,...
《邏輯哲學論》的內容分為七個部分:世界就是所發生的一切東西;那發生的東西,即事實,就是原子事實的存在;事實的邏輯形象就是思想;思想是有意義的命題;命題是基本...
(或者根本沒有),而只是使用(標記的)過渡系統的概念, 有一套行動法,過渡關係被定義為S×Act×S的一個子集,它們還擴展到包括一組原子命題和狀態的標記函式(如...
proposition,英語單詞,名詞、動詞,作名詞的意思是“[數] 命題;提議;主題;議題”,作動詞的意思是“向…提議;向…求歡”。...
重言式(Tautology )又稱為永真式,它的漢語拼音為:[Chóng yán shì],是邏輯學的名詞。命題公式中有一類重言式。如果一個公式,對於它的任一解釋下其真值都為...
如果對原子公式中的謂詞和項都給以相應的意義,那末原子公式就代表一個原子命題,即基本命題。命題是對事物、事物屬性或相互關係有所肯定或有所否定的一個陳述句。...
道義邏輯亦稱“義務邏輯”、“規範邏輯”、“倫理邏輯”。現代邏輯分支之一。廣義模態邏輯的一種。研究含有必須、允許等道義詞的道義命題以及道義演繹系統。14世紀的...
前提格量化擴展的直言原子命題 定義1量化擴展的直言原子命題是如下結構的直言命題,但是否定謂詞後面禁止跟有部分量詞和存在量詞:其中:...