In jedem logischen System, vergleichen Sie Aussagen ihre Gültigkeit zu beweisen oder zu widerlegen. Mit sentential Logik, verwenden Sie die folgenden Äquivalenzregeln, um diese Vergleiche:
Logik für Dummies
Arbeiten mit sentential Logik bedeutet, mit einer Arbeitssprache entwickelt, um logische Argumente mit Präzision und Klarheit zum Ausdruck bringen. Um die Verwendung dieser Sprache der Logik zu machen, müssen Sie wissen, was Betreiber zu verwenden, um die Input-Output-Tabellen für die Operatoren und die Implikationsregeln.
Menu
Diese Tabelle führt sentential logische Operatoren:
Die nächsten Tabellen bieten Input-Output-Tabellen für sentential logischen Operatoren:
Logic hilft Ihnen, Schlüsse zu ziehen, die Sie mit Hilfe von Implikationsregeln tun für sentential Logik:
Equivalence Regeln für die Aussagenlogik
Identität und Quantorenregeln für Quantifizierer Logic
Quantifizierer Logik umfasst die Regeln der sentential Logik und erweitert sie, so dass Sie ganze Anweisungen mit logischen Symbolen schreiben kann. Diese Symbole kommen ins Spiel, wenn Sie mit der Arbeit Identitäten, oder austauschbar Konstanten. Die Regeln der Identität sind hier zu sehen:
Und, wenn man über Identitäten sprechen, können Sie Aussagen zu quantifizieren, die Regeln in der folgenden Tabelle:
Tipps für eine Logik Klausur
eine Prüfung in der Logik Unter fordert einen klaren Kopf und einem klaren Plan. Die Spitzen in der folgenden Liste können Sie helfen, eine Logik-Prüfung mit der besten Chance nähern Ihre Kenntnisse zu beweisen:
Beginnen Sie mit über die gesamte Prüfung warf einen Blick ein Gefühl dafür zu bekommen, was abgedeckt ist.
Warm up mit einem einfachen Problem zuerst.
Füllen Sie in Wahrheit Tabellen Spalte für Spalte.
Wenn Sie wissen, dass Sie einen Fehler gemacht haben, sagen Sie es - Sie einen Teil des Kredits bekommen kann.
Wenn die Zeit knapp ist, die lästige Sachen beenden.
Der Check - und überprüfen - Ihre Arbeit.