Widerspruchsfreiheit < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Es sei S={f} mit einstelligem Funktionssymbol f. Weiter sei [mm] \mathcal{A}= [/mm] { esexistiert [mm] v_{0}fv_{0}= v_{0} [/mm] } [mm] \cup [/mm]
{ [mm] \neg [/mm] ft= t | t ein S-Term}. Zeigen Sie:
[mm] \mathcal{A} [/mm] ist erfüllbar, also widerspruchsfrei. |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Ich habe keine Idee wie man die Widerspruchsfreiheit zeigen kann. Kann mir jemand einen Link zu einem anderen Beispiel schicken oder mir einen Tipp geben, wie ich vorgehen könnte?
Vielen Dank für Eure Hilfe!
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:20 Do 10.06.2010 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
