Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) für Interessierte  | | Datum: | 15:17 So 16.01.2005 | | Autor: | KleinPhi |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Hallo,
gegeben ist eine Formel :
[mm] \forall [/mm] x [mm] \forall [/mm] y [mm] \exists [/mm] z p(x,y,z) [mm] \wedge \forall [/mm] x [mm] \forall [/mm] y [mm] \forall [/mm] z (p(x,y,z) [mm] \to \neg [/mm] p(z,y,x))
Und zu zeigen ist dass diese Formel in keiner Struktu mit zweielementiger Trägermenge erfüllt sein kann.
Ergänzung / Ansatz :
Zweielementige Trägermenge bedeutet dass das Alphabet 2 Elemente beinhaltet -> x,y,z lassen sich jeweils mit (z.B.) 0 oder 1 belegen.
Mit "rumprobieren" müsste ich 2³ + 1, also 8 Fälle und ggf. das leere Wort
rechnen.
Ist jemandem ein Schema bekannt diese Art von Aufgabe zu lösen ?
Wie bestimmte ich passende Strukturen mit 3-elementigen Alphabet ?
|
|
|
![[sorry]](/images/smileys/sorry.gif "[sorry]"){kind=small}
, aber leider konnte keiner Deiner Frage beantworten.
!
![[winken]](/images/smileys/winken.gif "[winken]"){kind=small}
,
