Autor |
Beitrag |
dirk
| Veröffentlicht am Donnerstag, den 20. September, 2001 - 16:53: |
|
hallo, habe mal ne frage zur Logik. oder bin ich im falschen Forum? kann mir einer helfen? Existenzquantor = <E> Allquantor = <A> Logisch und = and <A>x(Q(x)) and <E>z(R(z,x)) (<A>x(Q(x))) and <E>z(R(z,x)) <A>x((Q(x)) and <E>z(R(z,x))) In welcher Formel bezieht sich die Variable x (von dem Prädikatsymbol R) auf dem Allquantor vielen dank |
Zaph (Zaph)
| Veröffentlicht am Donnerstag, den 20. September, 2001 - 19:41: |
|
Bist hier schon richtig. Würde sagen nur in der dritten Formel. In der zweiten Formel ist das Klammernpaar um <A>x(Q(x)) überflüssig. In der ersten und zweiten Formel ist das x in R(z,x) frei. |
|