Semantisches Tableau rückwärts < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 23:02 Di 03.11.2009 | | Autor: | extasic |
| Aufgabe | Erstelle ein semantisches Tableau und dazu zwei semantische Tableaus [mm] Tb_1 [/mm] und [mm] Tb_2 [/mm] wobei [mm] Tb_2 [/mm] mindestens 5 Knoten mehr als [mm] Tb_1 [/mm] haben soll.
Anmerkung: Weder die "Wurzel" noch die "Blätter" zählen als Knoten! |
Hallo!
![[]](/images/popup.gif) Diese Regeln haben wir für semantische Tableaus bekommen. Die [mm] \beta [/mm] - Regeln leiten jeweils eine Trennung ein.
Ich habe mir überlegt, dass ich wohl eine Implikation oder Äquivalenz verwenden sollte, aber bei den Formeln, die ich ausprobiert habe, habe ich fast keine Differenz, auch wenn ich die Präferenz abwechselnd auf [mm] \alpha [/mm] oder [mm] \beta [/mm] Formeln gelegt habe.
Habt ihr eine Idee?
Danke im Voraus!
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 23:20 Do 05.11.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
![[]](http://img193.imageshack.us/img193/6708/regelne.png){kind=small}
Diese Regeln