modus tollendo ponens
11Modus — (lateinisch für „Art“, „Weise“; Plural: Modi) bezeichnet: Musik Modus (lateinisch für „Art“, „Weise“; Plural: Modi) bezeichnet: Musik Vorlagenschleife entdeckt: Modus (Musik) Sprache Modus (Grammatik), einen grammatikalischen… …
12Modus Barbara — ist ein Syllogismus einer bestimmten Form. Der Name „Barbara“ rührt vom lateinischen Merkwort für diesen Syllogismus her. Die Folge der drei Vokale „a“ im Merkwort bedeutet, dass sowohl beide Voraussetzungen als auch die Folgerung bejahend und… …
13modus ponens — [mɔdyspɔnɛ̃s] n. m. ÉTYM. Loc. lat., littéralement « mode qui pose ». ❖ ♦ Log. Règle de déduction selon laquelle, si une proposition A implique une proposition B, on peut déduire, A étant vraie, que B l est également. (On dit aussi règle de… …
14Modus Ponens — Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird. Der Modus ponens erlaubt es, aus zwei Aussagen der Form Wenn A, dann B und A (den …
15Modus ponens — Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird. Der Modus ponens erlaubt es, aus zwei Aussagen der Form Wenn A, dann B und A (den …
16Modus barbara — Die Artikel Modus Barbara und Kettenschluss überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen Baustein… …
17Modus ponens — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) …
18Modus ponendo tollens — Der Modus ponendo tollens ist eine Schlussfigur der klassischen Aussagenlogik bzw. eine Schlussregel vieler logischer Kalküle, die es erlaubt, aus einem Satz der Form nicht (A und B) und einem Satz der Form A auf einen Satz der Form nicht B zu… …
19modus ponens and modus tollens — (Latin: method of affirming and method of denying ) In logic, two types of inference that can be drawn using a hypothetical proposition i. e., from a proposition of the form If p, then q (symbolically p ⊃ q). Modus ponens refers to inferences of… …
20Modus tollens — Modus tollens  рассуждение от противного (латинское «modus tollendo tollens» означает «путь исключения исключений»). Форма записи: . Например, золотая монета, сминаема зубами, тогда modus tollens: среди всех объектов, не сминаемых зубами,… …
