排序方式: 共有210条查询结果,搜索用时 15 毫秒
91.
92.
条件句系统通常用择类语义来刻画,此语义对条件句逻辑来说是标准的。一个择类模型可以用一个三元组(W,f,V)来表示,其中W≠Φ,f是从P(W)×W到P(W)中的择类函数,且V是从一命题变元集PV到P(W)中的赋值函数。本文我们提出一个更新语义,它保留择类框架,但V被从PV到P(W)^P(W)中的一个更新函数代替,因为更新函数能表示动态命题而赋值函数则不能。最后我们证明一个条件句系统相对这样的语义有框架可靠性。 相似文献
93.
水粉画静物教学是高校美术专业基础课程之一.水粉画颜料具有覆盖性,可以干湿并用、厚薄结合,便于初学者练习.水粉画静物教学既可以作为高校学生的基础课,培养学生色彩造型能力,又便于收集素材为美术创作服务. 相似文献
94.
95.
刘新文,祝瑞,可能世界的名字,2017年,北京:中国社会科学出版社混合逻辑(hybrid logic)是模态逻辑中一个十分活跃的分支,它为模态逻辑的许多经典结论都提供了良好的改进方法。混合逻辑的基本观点,即“对命题变元分类”和“词项用作公式”,来自于上世纪六十年代的逻辑学家普莱尔(A.Prior)在时态逻辑领域中所做的工作。 相似文献
96.
97.
98.
罗素在抛弃黑格尔的绝对理念后,曾一度持有一种巴门尼德式的本体论:凡是我们能够想到的东西都是存在的。这样一种无所不包的本体论是与他的意义理论联系在一起的:语词的意义就在于其所 相似文献
99.
引路菩萨即引导亡人进入西方极乐净土的菩萨,其名号并未见诸佛教经典之中,但能够在遗存的佛教艺术作品中窥见。现今发现最早的引路菩萨图像是出土于敦煌藏经洞的一批帛画、绢画和纸本画,这批文物的发现,将引路菩萨信仰的生成时间推进至唐五代时期。在后世的水陆画中,引路菩萨作为引导众亡人的神祇也拥有着特殊的身份地位。 相似文献
100.