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:
