formal reasoningとは 意味・読み方・使い方

in formal logic, a method of reasoning, called disjunctive syllogism発音を聞く 例文帳に追加

形式論理学において,選言的三段論法という論法 - EDR日英対訳辞書

any formal system of reasoning that arrives at the truth by the exchange of logical arguments発音を聞く 例文帳に追加

論理的議論の交換によって真実に到達する公式な理論体系 - 日本語WordNet

First-order predicate logic provides a formal basis for reasoning to assist understanding of linguistic expressions of states, ...発音を聞く 例文帳に追加

1階述語論理は,状況等についての言語表現の理解を助けるための推論に対して, 形式的な基礎を提供する. - コンピューター用語辞典

The inventive step of the claimed inventions providing formal and substantial alternatives relating to the matters used to specify the inventions for which patents are sought are denied when the examiners compare the claimed invention, whose only one of these alternatives is presumed to be a factor used to define the claimed inventions, and the cited inventions for reasoning and they uphold the reasoning if the reasoning is valid.発音を聞く 例文帳に追加

特許を受けようとする発明を特定するための事項に関して形式上又は事実上の選択肢を有する請求項に係る発明については、当該選択肢中のいずれか一の選択肢のみを発明を特定するための事項と仮定したときの発明と引用発明との対比及び論理づけを行い、論理づけができた場合は、当該請求項に係る発明の進歩性は否定されるものとする。 - 特許庁