时态命题(语言)

时态命题(语言):

由时态语句表达的命题。简单时态命题的构成方式是:时态命题=时态算子 原子命题。在汉语现在时语句中往往不用现在时态词,因此现在时算子(T)可省去。这样,时态命题的基本形式有四种:⑴过去时命题Pp,读作“情况曾是p”,简称“过去p”,表示在过去的某个时间点是p。⑵将来时命题Fp,读作“情况将来是p”,简称“将来p”,表示在将来的某个时间点是p。⑶过去恒常命题Hp,读作“情况曾经总是p”,简称“过去总是p”,表示在过去的时段总是p。⑷将来恒常命题Gp,读作“情况将来总是p”,简称“将来总是p”,表示在将来的时段总是p。

为您推荐

信念句(语言)

信念句(语言):包含“相信”、“似相信”等信念词的复合句。如:“达尔文相信物种是进化的。”如以B为信念词,a为相念主体,p为信念子句,则信念句的一般形式可记为:Bap,读作a相信p。由于一个命题是否被相信与这个命题事实上的真..

外延论题(语言)

外延论题(语言):复合句中部分表达式的置换原理。一个语句或命题,当它包含的一个表达式,由另一个具有同样指称而不同涵义的表达式替换时,其真值不变。如,在⑴“鲁迅是中国人”中用“《阿Q正传》的作者”去替换“鲁迅”,得到..

内涵(语言)

内涵(语言):①同“外延”相对。概念的基本逻辑特征之一。反映在概念中的对象的特有属性。是概念的质的方面。如“商品”的内涵就是“为交换而生产的产品”。对象有诸多特有属性,但只有反映在概念中的特有属性才构成概念..

索引词(语言)

内涵逻辑(语言)

内涵逻辑(语言):泛指研究建立在表达式的内涵分析基础上的逻辑学科。传统逻辑和经典数理逻辑主要是从外延方面来研究表达式及其推理的。赋值、满足、真假、推理等的分析都是建立在表达式的外延分析基础上的。因此,通常称..

对象语言(语言)

对象语言(语言):指被研究和讨论的语言。对象语言可以是自然语言,也可以是人工语言,如某种形式语言或符号。用来讨论或陈述某种对象语言的语言叫元语言或语法语言。元语言可以是自然语言,也可以是某种特定的科学技术语言。..

预设(语言)

预设(语言):使一个命题或语句具有真值或能够成立的条件。它是有效交际中双方共同接受的事实或命题。判定个命题是否是其他命题的预设,一般可用“否定检验法”:命题p是命题q的预设,当且仅当,q真时p真,q假时p也真。p真是q真或..