Was ist Logik?

• versucht, logische Zusammenhänge durch eine Art eigene Sprache mit eigenen Symbolen darzustellen

• Untergliedert in

  • Aussagenlogik

  • Prädikatenlogik

• sind Annahmen oder Vorraussetzungen

wird aus den Prämissen abgeleitet

Prämissen und Konlusion wären als dieses zusammengefasst

ist die Darstellung mit zwei Prämissen und einer Konklusion

• eine allgemein anerkannte Regel

• kann zum Beispiel aus Beobachtungen abgeleitet werden, sich mehr oder weniger von selbst ergeben oder vorgegeben werden

• dabei wird aus einem Axiom ein Einzelfall abgeleitet

• dabei wird aus dem Einzelfall eine Regel abgeleitet

• Wissenschaft vom folgerichtigen Denken beziehungsweise beschreibt die Folgerichtigkeit

• abgeleitet vom griechischen Wort logikos (“die Vernunft betreffend”)

• Für Informatik vor allem formale Logik interessant