命題形式(propositional forms)數理邏輯術語.是由命題變元p,9,r,…和命題聯詞二(非)，八(與),V(或)，~(若……則……)，~(若且唯若)按下列規則形成的公式:
命題形式(propositional forms)數理邏輯術語.是由命題變元p,9,r,…和命題聯詞二(非)，八(與),V(或)，~(若……則……)，~(若且唯若)按下列規則形成的公式:1.任何命題變元是命題形式.2.如...
一般全稱命題的形式是風x(Fx→Gx)，而存在命題、即傳統邏輯所謂的特稱命題的形式是 ヨx(Fx∧Gx)。所有這些都是現代邏輯里的經典一階謂詞邏輯對命題形式所作的初步分析（見謂詞邏輯）。此外，把量詞加之於謂詞變項，便形成了高階邏輯。也還可以引入模態詞，或分析疑問句、命令句等等，從而建立有關的邏輯理論。...
形式 1.對於兩個命題，如果一個命題的條件和結論分別是另外一個命題的結論和條件，那么這兩個命題叫做互逆命題，其中一個命題叫做原命題，另外一個命題叫做原命題的逆命題。2.對於兩個命題，如果一個命題的條件和結論分別是另外一個命題的條件的否定和結論的否定，那么這兩個命題叫做互否命題，其中一個命題叫做原...
簡單的規範命題又可分為直言規範命題（其原子命題為性質命題）和關係規範命題（其原子命題為關係命題）。根據規範詞性質的不同，直言規範命題有以下三種基本形式：(1)必須命題，陳述必須履行某種行為的命題，用Op表示。(2)禁止命題，陳述禁止某種行為的命題，用Fp表示。(3)允許命題，陳述允許某種行為的命題，用Pp表示...
分斷式命題是一種複合命題，判定某類數學命題真假時使用的一種命題形式，由若干個命題組合而成的那個命題，其中這若干個命題的條件和結論一一對應互不相容、窮盡各種可能。如果一個分斷式命題是正確的，則它的逆命題也是正確的。如果一個命題具有下述形式：並且A₁∨A₂∨…∨Aₙ和B₁∨B₂∨…∨Bₙ...
全稱肯定命題的命題形式是：“所有S是P。”在邏輯史上一般沿用“A”（拉丁文affirmo[肯定]的第一個元音字母）來表示，通常也表示為SAP。基本內容 性質命題是指斷定對象具有或者不具有某種性質的命題，又稱直言命題。性質命題的組成包括：主項：是性質命題中表示斷定對象的詞項；謂項：是性質命題中用以陳述被斷定對象...
聯言命題又稱為合取命題，是反映事物的若干種情況或者性質同時存在的命題。在邏輯結構上，聯言命題由邏輯聯結詞“並且”連線支命題而成。其支命題稱為聯言支，通常用p、q表示。聯言命題的邏輯形式可以寫成：p並且q，符號為：p∧q(“p並且q”）。∧稱為合取詞。定義 聯言命題是反映事物的若干種情況或者性質同時...
，讀作“必須（p或q）”。例如：“必須作出某被告有罪的判決或無罪的判決。”(2)允許選言命題，其形式為：P(pVq)，讀作“允許（p或q）。”例如：“允許子女隨父姓或子女隨母姓。”(3)禁止選言命題，其形式為：F(pVq)，讀作“禁止（p或q）”。例如：“禁止非法搜查或者非法侵入公民的住宅。”假 ...
，讀作“必須（p並且q）”。例如：“國家工作人員必須依靠人民的支持並且接受人民的監督。”(2)允許聯言命題，其形式為：P(p^q)，讀作“允許(p並且q)”。例如：“允許理論工作者犯錯誤和改正錯誤。”(3)禁止聯言命題，其形式為：F(p^q)，讀作“禁止（p並且q）”。例如：“禁止虐待婦女和兒童。”
不等式型命題是一個數學術語。不等式型命題(proposition concerning inequal-ides)與等式型命題相應的另一類命題.假設部分由多項式等式或不等式關係來表達，而結論部分包含多項式不等式關係的那類命題.但當變元為實數時，不等式,f}0可以寫成.f - tz的形式，其中t是一個獨立變元，所以假設部分可以由多項式等式組成.
否定命題（negative proposition）是性質命題按質劃分的一種。解釋 斷定對象不具有某種性質的命題。如：“正確思想不是從天上掉下來的”、“地球不是最大的行星”。否定命題是用否定的邏輯聯項把主項和謂項聯結起來。否定命題的命題形式是：S不是P。也就是說，用錯誤的看法去說一個命題。命題：若P則Q 否定命題...
(1)負必須命題，其形式為：一0p，讀作“並非必須P”。例如：“並非到了結婚年齡必須結婚。”(2)負允許命題，其形式為：一Pp，讀作“並非允許p”。例如：“並非允許非法搜查公民的身體。”(3)負禁止命題，其形式為：一Fp，讀作“並非禁止p“。例如：“在社會主義制度下，並不禁止人們對政治問題發表意見。”
我們用“T”表示真，“F”表示假，假定複合命題的形式為“p或者q”，我們就得到如下真值表：p q p或者q 1、 T T T 2、 T F T 3、 F T T 4、 F F F 每一種形式的命題都有一個相應的真值表。真值表描述了支命題的真假對一個複合命題真假的制約關係，因此，它實際上描述的是這一形式複合命題的...
等式型命題 等式型命題是一個數學術語。等式型命題(proposition about equalities)一類形式命題.是假設和結論部分都可以用多項式等式關係來表達的那類命題.
。他還認為，在三段論推理中，可將不定命題作為特稱命題處理。單稱否定命題是性質命題的一種。斷定某一單獨對象不具有某種性質的命題。如“地球不是恆星”、“黃河不是中國最長的河流”。其主項是一個單獨詞項（概念），聯項是否定的（不是，沒有等）。單稱否定命題的命題形式是：“某個S不是Po”
單稱肯定區別命題是區別命題的一種。不僅斷定作為個體的S具有性質P，而且還斷定不是作為個體的S就不具有性質P，即其區別的特徵（具有性質P）僅屬於某類中特定的某個對象。其命題形式為：“只有某個S是P”。和單稱肯定命題不同，它是一個複合命題，可解析為由“某個S是P”和“不是某個S不是P”（即“P是...
如2004年中考作文命題“我的視線”，一切人、事、物，只要是目之所及，均可納入寫作範圍，讓每個考生都有寫作的空間。二是以“提示語+命題”的形式出現，通過導語或提示語，為考生在審題和選材上作出了一定的引導，同樣有較大的開放性和自由度。如2005年中考作文命題“充滿活力的歲月”，在題目之前，加上了一段...
雙重命題是一種主項為“多數”或“少數”所限制的可解析命題。其形式為“多數S是P”或“少數S是P”。如“多數人是好人”，“少數書籍的內容是不健康的”。這類命題都可解析為若干支命題的合取的複合命題。“多數S是P”可解析為“超過半數的S是P”和“不足半數的S不是P”的合取。“少數S是P”可解析為...
閉合命題不是嚴密的科學理論 而是屬於形而上的一類命題·閉合命題是對於一件事的原因的解釋： 一件事的原因（起源） 就是他已經發生的這個事實。 換句話說就是它本身就是它的原因.閉合命題的基本形式:命題A:命題A是真命題.這個定義是以時間平面理論作為理論基礎的 它無法被證偽 只是一種解釋時間悖論的理論.例如...
主賓命題是邏輯實證主義用語。描述事物性質的基本命題，即傳統邏輯中主項一謂項形式的命題。如：“雪是白的”，羅素用“S是P”表示（一個事物有一種特性），維根斯坦用“f”表示（x這一個體具有f這種特性）。概括命題是邏輯原子主義用語。指對基本命題施以量化處理而形成的複合命題。由羅素提出。認為知識命題即...
又稱邏輯正方形。傳統邏輯用來表示具有相同素材（即主項和謂項分別相同）的A（全稱肯定命題）、E（全稱否定命題）、I（特稱肯定命題）、O（特稱否定命題）四種命題形式之間的真假制約關係的圖式。它們之間的關係共有4種。這4種關係的真假制約情況如下：（1）反對關係，即A與E這兩種命題形式之間的關係：二者不能同...
