Discuter:Modus ponens

Un article de Wikipédia, l'encyclopédie libre.

	Modus ponens fait partie du projet Philosophie, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés à la Philosophie. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Philosophie pourrait aussi vous intéresser.
À évaluer	Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet. (Contester?)

[modifier] Fusion entre Déduction logique et Modus ponens

Abandon (Jerome66 | causer 12 septembre 2006 à 07:07 (CEST)) :

Modus ponens est le nom latin et scientifique de la déduction logique (que tout le monde comprend) Les deux désignent la règle qui consiste à dire que Si A=>B et si j'ai A, alors, j'ai B. Camion 3 septembre 2006 à 10:51 (CEST)

Non. La déduction est une méthode qui permet de tirer des conclusions sur des faits donnés à partir d'autres faits. Un système de déduction logique est un ensemble de règles, en mathématique on parle aussi de "système de preuve" (cf. Méthode formelle (informatique)). Cela inclut le modus ponens en logique naturelle, mais on peut y ajouter comme c'est fait dans l'article la transitivité (A=>B et B=>C alors A=>C) ou encore le modus tollens. Cf. [1] ou plus technique [2] (pdf). knd 3 septembre 2006 à 13:15 (CEST)

"Modus ponens est le nom latin et scientifique de la déduction logique" faux: le modus ponens est un type de déduction entre autres (à côté de la règle de substitution par exemple). Il faudrait mentionner le modus ponens dans un article sur la déduction logique mais le modus ponens mérite néanmoins son propre article. D'ailleurs c'est ce que font wiki:de et wiki:en (et je pourrais citer encore une dizaine de liens interwiki) qui ont un article sur la déduction et un article sur le modus ponens. Apierrot 4 septembre 2006 à 12:56 (CEST)

rien à ajouter aux demos des précédents, donc laissons tomber la fusion. --Julianedm | ðΔ 6 septembre 2006 à 23:22 (CEST)

J'approuve totalement le propos d'Apierrot et la décision prise -Epsilon0 12 septembre 2006 à 19:32 (CEST)