Venn1010
Relevante Bilder
Relevante Artikel
SubjunktionSubjunktion oder Konditional oder auch materiale Implikation wird in der Logik eine Aussage genannt, die mit dem Junktor „Wenn-dann“ aus zwei anderen Aussagen zusammengesetzt ist, zum Beispiel die Aussage „Wenn ein elektrischer Strom fließt, dann erwärmt sich die Leitung“. .. weiterlesen
MengendiagrammMengendiagramme dienen der grafischen Veranschaulichung der Mengenlehre. Es gibt unterschiedliche Arten von Mengendiagrammen, insbesondere Euler-Diagramme und Venn-Diagramme. .. weiterlesen
ImplikationDie Bezeichnung Implikation wird in der Logik nicht einheitlich für einen bestimmten logischen Zusammenhang verwendet; insbesondere werden unterschieden:eine materiale Implikation als eine von mehreren möglichen logischen Verknüpfungen (Junktoren) zwischen zwei Aussagenvariablen: . Diese materiale Implikation, auch Subjunktion oder Konditional genannt, kann wahrheitsfunktional definiert werden. Sie findet sich bereits bei Philon von Megara und wird umgangssprachlich meist umschrieben mit: „Wenn a, dann b.“ eine formale Implikation als eine Form logischen Zusammenhangs, welche eher einer intuitiven Anschauung entsprechen soll, die sich aus Gewohnheiten der Umgangssprache ergeben kann. Es entstanden im Laufe der Zeit verschiedene Interpretationen, um das Phänomen möglichst eindeutig zu formalisieren. Dabei wird die obige Formel differenzierter betrachtet, zum Beispiel als , gelesen: „Für jedes Individuum x gilt: Wenn x die Eigenschaft A besitzt, dann besitzt es auch die Eigenschaft B.“ Die Analyse einer Aussage mit Zerlegung in den Prädikator und sein Argument, insbesondere für die formale Implikation, findet sich ähnlich schon bei Platon und Aristoteles. .. weiterlesen