翻訳と辞書 |
Implication
Implication may refer to: ==Logic==
* Logical consequence (also entailment or logical implication), the relationship between statements that holds true when one logically "follows from" one or more others * Material conditional (also material implication, material consequence, or implication), a logical connective and binary truth function typically interpreted as "If ''p'', then ''q''" * * Implicational propositional calculus, a version of classical propositional calculus which uses only the material conditional connective * Strict conditional or strict implication, a connective of modal logic that expresses necessity * Implication elimination or ''modus ponens'', a simple argument form and rule of inference summarized as "''p'' implies ''q''; ''p'' is asserted to be true, so therefore ''q'' must be true"
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Implication」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|