---

Geschrieben von Lucy1 am 14.12.2011 um 17:13:

  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 ?