Resolutionskalkül < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | [Dateianhang nicht öffentlich]
- Berechnen Sie [mm] R^{\*}(M_{\alpha}) [/mm] |
Lösung:
[Dateianhang nicht öffentlich]
Ich bin mir unsicher ob meine Lösung richtig ist. Vielleicht kann Einer drüber schauen.
Vielen Dank im Voraus,
prikolshik
Edit:
Ich glaube man kann noch weiter die Resolutionsmethode auf Klauselmenge [mm] M_{\alpha} [/mm] anwenden, so das noch folgende Resolvente ersteht:
[Dateianhang nicht öffentlich]
Dateianhänge:
Anhang Nr. 1 (Typ: JPG) [nicht öffentlich]
Anhang Nr. 2 (Typ: JPG) [nicht öffentlich]
Anhang Nr. 3 (Typ: JPG) [nicht öffentlich]
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:49 Mi 02.12.2009 | | Autor: | prikolshik |
Hat keiner eine Ahnung mit diesem Thema?! ... Das gibt's doch nicht! 
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 02:20 Fr 04.12.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
