「論理」とは、思考や議論の過程で使われる原則やルールのことです。これは、正しい結論を導くための方法論であり、主に推論や証明に関連しています。論理は、数学や哲学、コンピュータサイエンスなど、さまざまな分野で重要な役割を果たします。 論理には、形式論理と非形式論理の2つの主要なタイプがあります。形式論理は、明確な構造や規則に基づいており、命題論理や述語論理が含まれます。一方、非形式論理は、日常的な議論やコミュニケーションにおける推論のスタイルを扱います。