Proposition contraposéeEn logique, la contraposition est un type de raisonnement consistant à affirmer l'implication « si non B alors non A » à partir de l'implication « si A alors B ». L'implication « si non B alors non A » est appelée contraposée de « si A alors B ». Par exemple, la proposition contraposée de la proposition « s'il pleut, alors le sol est mouillé » est « si le sol n'est pas mouillé, alors il ne pleut pas ». Considérons l'exemple suivant :S'il pleut, alors le sol est mouillé.
Double negationIn propositional logic, double negation is the theorem that states that "If a statement is true, then it is not the case that the statement is not true." This is expressed by saying that a proposition A is logically equivalent to not (not-A), or by the formula A ≡ ~(~A) where the sign ≡ expresses logical equivalence and the sign ~ expresses negation. Like the law of the excluded middle, this principle is considered to be a law of thought in classical logic, but it is disallowed by intuitionistic logic.
Implication réciproqueEn mathématiques, plus précisément en calcul propositionnel, une implication réciproque est une proposition interchangeant la prémisse et la conclusion d'une implication. La réciproque de la réciproque est alors l'implication initiale. Lorsque l'implication comporte plusieurs prémisses, l'échange de la conclusion avec seulement une partie des prémisses est parfois aussi appelée réciproque, comme pour le théorème de Thalès où les conditions d'alignement restent en prémisse pour la réciproque.
Syllogisme hypothétiqueEn 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).
Logique traditionnelleEn philosophie, certains nomment logique traditionnelle celle qui a existé en Occident après Aristote et avant l'avènement de la logique mathématique moderne. Elle fut dominante en Europe depuis l'Antiquité jusqu'à la fin du . La logique d'Aristote est présentée dans six documents connus sous le nom dOrganon. Deux de ces documents, les Premiers Analytiques et De l'interprétation, contiennent l'étude des jugements et de l'inférence formelle et c'est cette partie des œuvres d'Aristote qui est passée à la postérité.
