- 隱式程序謂詞
- implicit: adj. 1.含蓄的，不講明的。 2.內含的，隱含的 ( ...
- predicate: n. 1.【語法】謂語，述語。 2.【邏輯學】謂項，述項 ...
- program predicate: 程序謂詞
- explicit program predicate: 顯式程序謂詞
- predicate: n. 1.【語法】謂語，述語。 2.【邏輯學】謂項，述項，述詞，賓詞。 3.本質；屬性。 adj. 謂語的，述語的；謂項的，述項的。 vt. 1.論斷，斷言；斷定…為某物的屬性；斷定某物有…的屬性 (about; of)。 2.〔美國〕使(聲明、行動等)依據于 (on; upon), 使基于。 3.宣言，宣布，聲明。 4.意味著，具有…的含義。 5.【語法】表述。 vi. 斷言 (of)。 Can anything be predicated about a non-existent thing 能夠表述不存在的東西嗎？ (We) predicate of the motive that it is good. (我們)斷言這個動機是好的。
下載手機詞典可隨時隨地查詞查翻譯