weite Teile der Prädikatenlogik hinzugefügt

2021-02-02 22:14:13 +01:00
parent 69ca84b577
commit 9e674220fe
16 changed files with 167 additions and 1 deletions
--- a/images/prädikatenlogik_1_stufe.png
+++ b/images/prädikatenlogik_1_stufe.png
--- a/images/prädikatenlogik_1_stufe2.png
+++ b/images/prädikatenlogik_1_stufe2.png
--- a/images/prädikatenlogik_1_stufe_funktionen.png
+++ b/images/prädikatenlogik_1_stufe_funktionen.png
--- a/images/prädikatenlogik_1_stufe_mögliche_welten.png
+++ b/images/prädikatenlogik_1_stufe_mögliche_welten.png
--- a/images/prädikatenlogik_1_stufe_relationen.png
+++ b/images/prädikatenlogik_1_stufe_relationen.png
--- a/images/prädikatenlogik_1_stufe_wahrheit_allquantor.png
+++ b/images/prädikatenlogik_1_stufe_wahrheit_allquantor.png
--- a/images/prädikatenlogik_1_stufe_wahrheit_existenzquantor.png
+++ b/images/prädikatenlogik_1_stufe_wahrheit_existenzquantor.png
--- a/images/prädikatenlogik_formale_sprache.png
+++ b/images/prädikatenlogik_formale_sprache.png
--- a/images/prädikatenlogik_inferenzregeln.png
+++ b/images/prädikatenlogik_inferenzregeln.png
--- a/images/prädikatenlogik_resolutionsalgorithmus.png
+++ b/images/prädikatenlogik_resolutionsalgorithmus.png
--- a/images/pränexform_beispiele.png
+++ b/images/pränexform_beispiele.png
--- a/images/pränexform_äquivalenzen.png
+++ b/images/pränexform_äquivalenzen.png
--- a/images/skolemisierung_beispiel.png
+++ b/images/skolemisierung_beispiel.png
--- a/images/unifikation_beispiel.png
+++ b/images/unifikation_beispiel.png