现代计算机(专业版)
現代計算機(專業版)
현대계산궤(전업판)
MODERN COMPUTER
2009年
2期
144-145
,共2页
翻译%谓词公式%量词
翻譯%謂詞公式%量詞
번역%위사공식%량사
将命题翻译成谓词公式时,先要确定论域.如果要用到限定性谓词,还要设定它和其他谓词的关系.量词之间的次序也不能随意摆放,否则意思会很不一样.最后用一个例子给出了翻译时可以参考的一个过程.
將命題翻譯成謂詞公式時,先要確定論域.如果要用到限定性謂詞,還要設定它和其他謂詞的關繫.量詞之間的次序也不能隨意襬放,否則意思會很不一樣.最後用一箇例子給齣瞭翻譯時可以參攷的一箇過程.
장명제번역성위사공식시,선요학정론역.여과요용도한정성위사,환요설정타화기타위사적관계.량사지간적차서야불능수의파방,부칙의사회흔불일양.최후용일개례자급출료번역시가이삼고적일개과정.
