• Notions du programme : ["Morale", "Animal", "Justice"]

• Auteur : "Bentham"

• Source précise : "Idée utilitariste (1789) : critère = souffrance"

• Démonstration : [

  "Règle : MP (modus ponens) + principe moral minimal.",

  "P1 : Si un être peut souffrir, alors sa souffrance compte moralement.",

  "P2 : Les animaux peuvent souffrir.",

  "MP sur P1 & P2 : Donc la souffrance animale compte moralement.",

  "C : Donc le critère pertinent n’est pas ‘raisonner/parler’, mais ‘souffrir’ (déplacement du débat)."

]