logical consequence

[ˈlɑːdʒɪkəl ˈkɑːnsəkwəns] ロジカル コンシクエンス

1. ある前提や事実から必然的に導かれる結果や結論。特に、ある命題が他の命題から論理的に導き出される関係。

特定の事実や仮定が与えられた場合に、避けられない結果や結論を指します。論理学や哲学では、ある命題が真である場合に、他の命題も真でなければならないという厳密な関係性を表すのに用いられます。

If all birds have wings and a robin is a bird, then a robin has wings is a logical consequence. (「もしすべての鳥が翼を持ち、コマドリが鳥であるなら、コマドリが翼を持つことは論理的帰結である。」)

• If all birds have wings: もしすべての鳥が翼を持つならば
• and a robin is a bird: そしてコマドリが鳥であるならば
• then a robin has wings: そのときコマドリは翼を持つ
• is a logical consequence: 論理的帰結である

The budget deficit was a logical consequence of the government's expansive spending policy. (「財政赤字は、政府の拡張的な支出政策の論理的帰結であった。」)

• The budget deficit: 財政赤字は
• was a logical consequence: 論理的帰結であった
• of the government's expansive spending policy: 政府の拡張的な支出政策の

In formal logic, understanding logical consequence is crucial for constructing valid arguments. (「形式論理学において、論理的帰結を理解することは妥当な議論を構築するために不可欠である。」)

• In formal logic: 形式論理学において
• understanding logical consequence: 論理的帰結を理解することは
• is crucial: 不可欠である
• for constructing valid arguments: 妥当な議論を構築するために

関連

• implication
• inference
• deduction
• conclusion
• entailment
• outcome
• result