- definition by contraposition
- мат. определение через противоположение
Большой англо-русский и русско-английский словарь. 2001.
definition by contraposition
Смотреть что такое "definition by contraposition" в других словарях:
Contraposition (traditional logic) — In traditional logic, contraposition is a form of immediate inference in which from a given proposition another is inferred having for its subject the contradictory of the original predicate, and in some cases involving a change of quality… … Wikipedia
Contraposition — For contraposition in the field of traditional logic, see Contraposition (traditional logic). For contraposition in the field of symbolic logic, see Transposition (logic). Contraposition is a logical relationship between two propositions, or… … Wikipedia
Contraposition — Proposition contraposée La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en… … Wikipédia en Français
Transposition (logic) — In the methods of deductive reasoning in classical logic, transposition is the rule of inference that permits one to infer from the truth of A implies B the truth of Not B implies not A , and conversely . [Brody, Bobuch A. Glossary of Logical… … Wikipedia
LOI (épistémologie) — Le nom français «loi» tire son étymologie du mot latin lex . L’adjectif français «nomologique», qui désigne la propriété d’être une loi, tire son étymologie du mot grec nomos (qui signifie loi). À quel genre d’entité attribue t on cette… … Encyclopédie Universelle
Calcul des séquents — En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen[1],[2]. Le nom de ce formalisme fait référence à un style particulier de déduction qui… … Wikipédia en Français
Contraposée — Proposition contraposée La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en… … Wikipédia en Français
Contraposée (mathématiques élémentaires) — Proposition contraposée La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en… … Wikipédia en Français
Modus tollens — Proposition contraposée La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en… … Wikipédia en Français
Proposition contraposee — Proposition contraposée La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en… … Wikipédia en Français
Proposition contraposée — La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en déduire la négation de l… … Wikipédia en Français
