网络解释
命题变量
- 与 命题变量 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
functor
函子
)要么是命题字母要么是跟随着. 个常量或函子(functor)之外. 但下列不是原子句子(因为有变量的自由出现):.
- 推荐网络解释
-
The Shop Around the Corner：街角商店
上错天堂投错胎Heaven Can Wait (1943) | 街角商店The Shop Around the Corner (1940) | 妮诺奇嘉Ninotchka (1939)
-
neigher nor gate：既非又不闸
"邻区最佳控制","neighboring optimal control" | "既非又不闸","neigher nor gate" | "内利亚克编译程式","NELIAC; naval electronics laboratory international algebraic complier"
-
fight fought：打架
buy bought 买 | fight fought 打架 | think thought 想