翻訳と辞書 Words near each other ・ Equipoise (Stanley Cowell album) ・ Equipollence (geometry) ・ Equipose 14 ・ Equipossibility ・ Equipotent molar ratio ・ Equipotential ・ Equipotential surface ・ Equipotentiality ・ Equiprobability ・ Equipto ・ Equirectangular projection ・ Equirex ・ Equirria ・ Equis ・ EQUiSat ・ Equisatisfiability ・ Equisetaceae ・ Equisetales ・ Equisetidae ・ Equisetopsida ・ Equisetopsida sensu lato ・ Equisetum ・ Equisetum arvense ・ Equisetum bogotense ・ Equisetum californicum ・ Equisetum debile ・ Equisetum diffusum ・ Equisetum fluviatile ・ Equisetum giganteum ・ Equisetum hyemale Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Equisatisfiability ： ウィキペディア英語版 Equisatisfiability In logic, two formulae are equisatisfiable if the first formula is satisfiable whenever the second is and vice versa; in other words, either both formulae are satisfiable or both are not. Two equisatisfiable formulae may have different models, provided they both have some or both have none. As a result, equisatisfiability is different from logical equivalence, as two equivalent formulae always have the same models. Equisatisfiability is generally used in the context of translating formulae, so that one can define a translation to be correct if the original and resulting formulae are equisatisfiable. Examples of translations involving this concept are Skolemization and some translations into conjunctive normal form. ==Examples== A translation from propositional logic into propositional logic in which every binary disjunction $a\; \backslash vee\; b$ is replaced by $((a\; \backslash vee\; n)\; \backslash wedge\; (\backslash neg\; n\; \backslash vee\; b))$, where $n$ is a new variable (one for each replaced disjunction) is a transformation in which satisfiability is preserved: the original and resulting formulae are equisatisfiable. Note that these two formulae are not equivalent: the first formula has the model in which $b$ is true while $a$ and $n$ are false, and this is not a model of the second formula, in which $n$ has to be true in this case. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Equisatisfiability」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.