WordNet
sentential function
名詞
-
変数を含む論理的な式
formal expression containing variables; becomes a sentence when variables are replaced by constants.
変数を含む論理的な式。変数が定数に置き換えられると命題になる。
DICTIONARY / 英ナビ!辞書
変数を含む論理的な式
formal expression containing variables; becomes a sentence when variables are replaced by constants.
変数を含む論理的な式。変数が定数に置き換えられると命題になる。
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License