前束折取范式英文解释翻译、前束折取范式的近义词、反义词、例句
英语翻译:
【计】 prenex-disjunctive normal form
分词翻译:
前束的英语翻译:
【机】 toe in; toe-in折的英语翻译:
break; convert into; discount; fold; lose money in business; ply; snapturn over
取的英语翻译:
adopt; aim at; assume; choose; fetch; get; take【计】 fetch
【医】 recipe; superscription
范式的英语翻译:
【计】 normal form网络扩展解释
前束折取范式
前束折取范式是一种在计算机科学中常用的逻辑推理方式。它用于对某个命题的真值进行推断,以确定该命题是否为真或假。
拼音及英语解释翻译
前束折取范式的中文拼音为“qián shù zhé qǔ fàn shì”,英语解释翻译为Quantifier Prefixes Notation。
英文读音
Quantifier Prefixes Notation的英文读音为[kwɑntəfaɪər 'pri:fixiz nəu'teɪʃən]。
英文的用法
在逻辑学或计算机程序设计中,前束折取范式可以用来表示一些命题逻辑公式,以便进行各种形式的逻辑推理。
英文例句
Here is an example of a logical formula expressed in Quantifier Prefixes Notation: ∀x∃y(P(x)→Q(y))
这里是一个用前束折取范式表示的逻辑公式的例子: ∀x∃y(P(x)→Q(y))
英文近义词
前束折取范式的英文近义词包括:QPN、Prefix Quantification、Quantifier Prefix Notation等。
英文反义词
前束折取范式的英文反义词为Postfix Notation。
英文单词常用度
根据Google Ngram Viewer数据,Quantifier Prefixes Notation(前束折取范式)这个词汇在英文书籍中的使用频率略有增长,但总体来说不是非常常用。