Lucy1
unregistriert
 |
|
| Prädikatenlogische Äquivalenz beweisen... |
     |
Meine Frage:
Hallo
ich habe die Aufgabe die Äquivalenz einer Prädikatenlogik zu beweisen.
Für alle x F und für alle x G ist äquivalent zu : für alle x(F und G)
Meine Ideen:
Naja man könnte ein Gegenbeispiel zeigen ,dass entweder das linke oder rechte nicht gilt. Z.b. Werte von U_a= (a,b) einsetzen und testen ob A(F)=1 alos gültig ist und ob dann G gültig ist.
Aber wie genau ich das auf diese Aufgabe anwende ist mir unklar.
Kannst du mir das zeigen ?
|
|
14.12.2011 17:13 |
|
|
