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