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

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

 

标题 名式
类别 哲学
释义 名式    

表示谓词结构的符号表达式。可以看作谓词的名字。在一个n项谓词后面的,由n个语法的个体变项组成的n元组是该谓词的名式。同一个谓词变项在不同的公式里,或者在同一公式的不同位置可以有不同的目式,但是名式是同一的。例如在:“(x)(∃y)R(x,y)→(v)(∃u)R(u,v)”中,R为2项谓词,在此公式中出现了两次。第一次的目式为(x,y),第二次的目式为(u,v)。用名式能更好地表示谓词的结构,例如上述2项谓词可以表示成R(Δ1,Δ2)。一般地n项谓词可以写成:R(Δ1,Δ2,…Δn)其中Δ1,Δ2,…,Δn为个体变项的语法符号。

随便看

 

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

 

Copyright © 2002-2024 yiyi18.com All Rights Reserved
更新时间:2025/8/9 14:12:03