Prädikatenlogische Äquivalenz beweisen... |
| 14.12.2011, 17:13 | Auf diesen Beitrag antworten » |
| Lucy1 | 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 ? |
|
|
|
|
|
