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.

Diese Tabelle führt sentential logische Operatoren:

bild0.jpg

Die nächsten Tabellen bieten Input-Output-Tabellen für sentential logischen Operatoren:

image1.jpg

Logic hilft Ihnen, Schlüsse zu ziehen, die Sie mit Hilfe von Implikationsregeln tun für sentential Logik:

image2.jpg

Equivalence Regeln für die Aussagenlogik

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:

bild0.jpg

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:

bild0.jpg

Und, wenn man über Identitäten sprechen, können Sie Aussagen zu quantifizieren, die Regeln in der folgenden Tabelle:

image1.jpg

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.

Menü