シロロジズムの例：
前提1： すべての犬は哺乳類です。
前提2： フィドは犬です。
結論： したがって、フィドは哺乳類です。
分析：
この三段論法は、カテゴリーの三段論法です 。その理由は次のとおりです。
* カテゴリー： カテゴリの命題を使用して、カテゴリに関する声明を作成します（たとえば、「すべての犬は哺乳類です」）。
* 三段論法： それは、2つの前提と結論を伴う古典的な三段論法の形に従います。
* 構造： それは、結論の主題（FIDO）が主要な前提（犬）の主題の一部であり、結論（哺乳類）の述語は主要な前提の述語からの対象と予定の構造を採用しています。
詳細：
*この特定の例は、有効なも示しています 三段論法。結論は論理的に施設から続きます。
*三段論法はバーバラの例です 、構造AAI-1を使用した特定のタイプのカテゴリの三段論法。これは、3つの命題すべてが普遍的な肯定的であることを意味します（a）。
これを他の種類の三段論法と比較しましょう。
* modus ponens： このフォームは条件付きステートメント（p、qの場合）を使用し、pが真であると主張するため、qは真です。それは私たちの例には適合しません。
* モーダストーレンス： このフォームは条件付きステートメント（p、qの場合）を使用し、qがfalseであると主張するため、pはfalseです。それは私たちの例には適合しません。
結論として、提供された例は有効なカテゴリーの三段論法、特にバーバラの例です。