Erfüllbarkeit positiver Formel < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | | Zeige, dass jede positive Formel erfüllbar ist. |
Hallo allerseits,
Zu zeigen ist ja, dass zu jeder Formel, die kein [mm] \neg [/mm] enthält schon eine Interpretation existiert, die diese erfüllt. Das sollte über Induktion vom Rang funktionieren, aber da hört meine Weisheit nach Induktionsanfang und Verankerung auch schon auf.
Könnte mir jemand einen Hinweis geben, wie das am elegantesten funktioniert? Würde mich sehr freuen,
Gruß,
san
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 12:11 Mi 10.12.2008 | | Autor: | Astor |
hallo,
leider habe ich den Begriff "positive Formel" noch nie gehört. Was versteht man exaktdarunter?
Astor
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 14:04 Mi 10.12.2008 | | Autor: | Sanshine |
Einfach eine Formel (aus der Prädikatenlogik), die kein [mm] \neg, [/mm] also keine einzige Negation enthält.
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 12:20 Sa 13.12.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
