ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
deduction theorem
名詞
(logic) A procedure for "discharging" assumptions from an inference, causing them to become antecedents of the conclusion; or vice versa. Symbolically, the conversion of an inference of the form P,A⊢C to an inference of the form P⊢A→C or vice versa, where ⊢ is the turnstile symbol. The validity of the procedure is a metatheorem of the given logical theory.
日本語の意味
論理学における定理の一種で、ある仮定を論証から解除し、その仮定を結論の前提条件（含意）として組み込む手続き、あるいはその逆の変換を示すもの。
選択した言語のデータがないため、英語で表示しています。
活用形
