syllogisme hypothétique

En logique classique, un syllogisme hypothétique est une règle d'inférence valide, qui prend la forme d'un syllogisme ayant une implication pour un ou deux de ses prémisses. Si je ne me réveille pas, alors je ne peux pas aller travailler.Si je ne peux pas aller travailler, alors je ne vais pas être payé.Par conséquent, si je ne me réveille pas, alors je ne vais pas être payé. En logique propositionnelle, un syllogisme hypothétique est le nom d'une règle d'inférence valide (souvent abrégé HS et parfois aussi appelé l'argument de la chaîne, la règle de la chaîne, ou le principe de transitivité de l'implication). Le syllogisme hypothétique est l'une des règles de la logique classique qui ne sont pas toujours acceptées dans certains systèmes de logique non-classique. La règle peut être déclaré comme suit: où la règle est que chaque fois que les instances de «», et «» apparaissent, «» peut être placé sur la ligne de conclusion. Le syllogisme hypothétique est étroitement liée et similaire au syllogisme disjonctif, car il est également un type de syllogisme, et aussi le nom d'une règle d'inférence.