首页
登录
标签
模态
模态逻辑是什么?
[拼音]:motai luoji[外文]:modal logic逻辑的一个分支,它研究必然、可能及其相关概念的逻辑性质。模态逻辑所研究的命题“必然 A”和“可能 A”与通常命题演算中的命题不同。后者是真值函项,前者不是。因为,当A真时,“必
命题
模态
逻辑
芊茗静语
2023-2-26
10
0
什么是扰动运动模态?
[拼音]:raodong yundong motai[外文]:modes of aircraft disturbed motion飞行器扰动运动的基本组成部分,它反映运动变量随时间变化的规律以及各个变量之间的振幅比值和相位关系。纵向扰动运动
模态
飞行器
周期
落魂花
2023-2-25
12
0
关于模态模型论介绍
[拼音]:motai moxinglun[外文]:modal model theory模态逻辑的模型论。特别是指量词模态逻辑即一阶模态谓词逻辑的模型论。它从属于模态逻辑的三个主要研究方向,即公理学、语义学和代数学方向之一的语义学方向。模态逻
模型
逻辑
模态
万象更新
2023-2-25
8
0
关于模态逻辑介绍
[拼音]:motai luoji[外文]:modal logic数理逻辑的一个重要分支,研究“必然”、“可能”、“不可能”和“偶然”等所谓“模态”概念的逻辑学说。这里“模态”一词是英语词“modal”的音译,而“modal”又来自“mode
模态
代数
公理
妖艳的兔子
2023-2-25
31
0