06286230-n 'formal expression containing variables';
 
汉语 命题 函项 , 命题 函数 , 命题函项 , 命题函数
英语 sentential function
Definitions
英语
formal expression containing variables
becomes a sentence when variables are replaced by constants
日语
変数を含む論理的な式
変数が定数に置き換えられると命題になる
Relations
Hypernym: formula
Semantic Field: communicationn
External Links
 

Langs:
Preferences
(0.02434 seconds)
More detail about the NTUMC+ Open Multilingual Wordnet (0.9)
This project is now integrated in the Extended Open Multilingual Wordnet (0.9)
Maintainer: Francis Bond <bond@ieee.org>