11问答网
所有问题
什么样的谓词公式才算合法的呢
如题所述
举报该问题
推荐答案 2012-10-11
符åè§åï¼ä¸»è°å®¾ï¼ä¸»ç³»å®¾ï¼æè 主è°çç»æå°±æ¯åæ³çï¼ææ¶åæåä¸åä¸å½±åï¼æ¯å¦è°è¯åç½®æ¸ éã
温馨提示:答案为网友推荐,仅供参考
当前网址:
http://11.wendadaohang.com/zd/S72vvM84M.html
其他回答
第1个回答 2012-10-12
P:明天不下雨Q:我们去泰山玩,如果明天不下雨,然后我们去泰山玩:P-> Q
相似回答
离散数学中的wff
是什么
意思
答:
Well-formed formula,可以翻译成:合法的公式。
指的是:谓词逻辑中,符合语法的公式
。举个例子:(p → q) ∧ (r ∨ s) 是个合法的公式。但是以下的就不是合法的公式:(p → q) ∧ (r ∨ )( → q) ∧ (r ∨ s)合法公式的定义:1. 一个符号本身是合法公式,比如:p 2. 如果 φ ...
大家正在搜
谓词公式的真值与什么有关
谓词演算公式的例题
谓词演算公式
谓词公式的解释
与相等值的谓词公式是
谓词公式的真值
合法的excel公式
在excel中合法的公式有哪一些
用谓词公式表示