[1] Logik: System zur Darstellung von Aussagen, welches auf Prädikaten und Quantoren aufbaut; die generellen Termini einer Aussage werden in der Prädikatenlogik durch Variablen ersetzt und formalisiert[1] [2] : Die Prädikatenlogiken bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Die Prädikatenlogiken bilden eine Familie logischer Systeme, die es erlauben, einen weiten und in der Praxis vieler Wissenschaften und deren Anwendungen wichtigen Bereich von Argumenten zu formalisieren und auf ihre Gültigkeit zu überprüfen. Auf Grund dieser Eigenschaft spielt die Prädikatenlogik eine große Rolle in der Logik sowie in Mathematik, Informatik, Linguistik und Philosophie.
|
|
| Wort | Synonyme |
| Prädikatenlogik | Quantorenlogik 1 |
| Bedeutung | Deutsch | Übersetzung | Sprache | Artikel | Aussprache |
|---|---|---|---|---|---|
| 1 | Prädikatenlogik | predikátová logika | cs | f | |
| Prädikatenlogik | predicate logic | en |