你即將離開本站

並前往http://rdbk1.ynlib.cn:6251/qw/Paper/413063

论模态逻辑的集合论语义 - 中国人民大学复印报刊资料

在这种新的语义下，从模型构造的角度看可以引入几种非标准的集合运算：不交并、 ... 一个模态公式ф在模型M=(W，R，V)的状态w上真(记号：M，w ф)递归定义如下：.

確定！ 回上一頁

查詢 「集合 構造 記號」的人也找了：

  1. 集合 A-B
    2.
  2. 集合元素
    3.
  3. 集合符號
    4.
  4. 集合描述法
    5.
  5. 空集合
    6.
  6. 餘集合
    7.
  7. N(A 集合)
    8.
  8. 集合論
    9.