网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的百科知识:

 

标题 命题形式
类别 哲学
释义 命题形式     propositional form

用符号表示命题时所得的符号表达式。命题的形式结构。在命题演算中,命题形式就是真值形式。在谓词演算中, 它还包括有关全称量词和存在量词的命题形式等。例如单称命题:“2是有理数”、“张三比李四高”的形式为:“a是F.F(a)”、“a和b有关系R.R(a,b)”。古典形式逻辑的A、E、I、O在谓词演算中可以表达成命题形式,全称肯定命题:“一切S都是P”的形式为“(ᗄx)(S(x)→P(x))”。全称否定命题:“一切S都不是P”的形式为“(ᗄx)(S(x)→P(x))”。特称肯定命题:“有的S是P”的形式为“(∃x)(S(x)∧P(x))”。特称否定命题:“有的S不是P”的形式为“(∃x)(S(x)∧P(x))”。

随便看

 

依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。

 

Copyright © 2002-2024 yiyi18.com All Rights Reserved
更新时间:2025/10/17 20:43:19