Grundbegriffe der Aussagenlogik und Kombinatorik

Grundbegriffe der Aussagenlogik

• Aussagenlogik: Das Studium von Argumenten, deren Gültigkeit davon abhängt, wie die Aussagen miteinander verbunden sind, unabhängig von ihrer konkreten Bedeutung. Sie nutzt grundlegende Operationen, um komplexe Sätze aus einfachen Aussagen zu konstruieren.
• Argument: Eine Sequenz von Sätzen, deren Zweck es ist, eine andere Aussage (die Konklusion) zu stützen oder zu implizieren. Ein Argument ist genau dann gültig, wenn die Konjunktion der Prämissen die Konklusion impliziert.
• Prämisse: Eine Folge von Sätzen, die als Beweismittel oder Voraussetzung dienen.
• Fazit (Konklusion): Die aus den Prämissen abgeleitete Aussage.
• Aussage: Ein Aussagesatz, der im logischen Sinne einen Wahrheitswert (wahr oder falsch) annehmen kann.
• Variable: Ein Platzhalter für ein unbestimmtes Element mit Bezug auf eine Referenzmenge (Grundmenge).
• Satzform (Aussageform): Ein Ausdruck, der eine Variable enthält und zu einer Aussage wird, wenn die Variable durch ein Element der Referenzmenge ersetzt wird.
• Einfache Aussage: Bezieht sich auf ein einzelnes, nicht weiter zerlegbares Ereignis.
• Tautologie: Eine zusammengesetzte Aussage, die unter allen möglichen Wahrheitswertbelegungen immer wahr (V) ist.
• Widerspruch (Kontradiktion): Eine zusammengesetzte Aussage, die unter allen möglichen Wahrheitswertbelegungen immer falsch (F) ist.
• Kontingenz: Eine Aussage, die weder eine Tautologie noch ein Widerspruch ist.
• Logische Verknüpfung: Logische Symbole, die verwendet werden, um zusammengesetzte Aussagen aus einfachen Aussagen zu bilden.
• Lösungsmenge (Referenzmenge): Alle Elemente der Referenzmenge, die die Aussageform wahr (V) machen.
• Negation: Gegeben sei die Aussage 'p'. Die Negation von 'p' ist als die Aussage definiert, die falsch (F) ist, wenn 'p' wahr (V) ist.

Kombinatorik und Algebra

• Newton-Reihe (Binomischer Lehrsatz): Bezeichnet den Ausdruck (x + a)ⁿ, dessen Entwicklung ein homogenes Polynom vom Grad n ergibt.
• Allgemeines Glied von (x + a)ⁿ: t_k+1 = C^k_n a^k x^n-k
• Permutationen: Alle Gruppen, die aus n Elementen einer Menge gebildet werden können. Zwei Permutationen sind verschieden, wenn sich die Reihenfolge von mindestens zwei ihrer Elemente unterscheidet.
• Variationen (Arrangements): Gruppen von k Elementen, die aus einer Menge von n Elementen gebildet werden können. Zwei Variationen sind verschieden, wenn sich die Reihenfolge von mindestens zwei ihrer Elemente unterscheidet oder sie unterschiedliche Elemente enthalten.
• Kombinationen: Ähnlich wie Variationen, jedoch sind zwei Kombinationen nur dann verschieden, wenn sie sich in mindestens einem Element unterscheiden (die Reihenfolge spielt keine Rolle).
• Komplementäre Anordnung (Kombination): Zwei Kombinationen ergänzen sich, wenn die Summe ihrer Klassen gleich der Anzahl der Elemente in der ursprünglichen Menge ist.
• Eigenschaften von Kombinationen:
  1. C^k_n = C^n-k_n
  2. Cⁿ_n = 1
  3. C⁰_n = 1
• Fakultät: Die Fakultät einer natürlichen Zahl n (geschrieben als n!) ist definiert als das Produkt aller natürlichen Zahlen von 1 bis n.
• Formel für Kombinationen: C^k_n = V^k_n / P_k
• Matrix: Eine rechteckige Anordnung von Elementen, die in Zeilen und Spalten gegliedert sind.