Folgerung < Algor.+Datenstr. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 11:18 So 29.03.2009 | | Autor: | userzwo |
| Aufgabe | Beantworte bitte ob die angegebenen Formeln gelten.
Wenn die Folgerung gilt schreibe ein ja falls nicht schreibe ein nein.
Für die Aufgabe sei folgende prädikatenlogische Signatur vorgegeben:
[mm] \Sigma [/mm] = ({s},{c},{P,Q})
wobei
c: -> s P:<s> Q:<s>
Es sei außerdem [mm] X_{s} [/mm] = [mm] {x,y,z,x_{1},x_{2},.....} [/mm] eine Variablenmenge zur Sorte s.
also es gibt eine Sorte s und c ist eine konstantesfunktionssymmbol
P und Q sind jeweils einstellige Prädikationssymmbole. |
Hallo Leute,
ich hab hier eine tabelle vor mir, und ich bin mit total unsicher was jetz gilt und was nicht. Ich bin für jede Hilfe dankbar.
ich schreib mal was ich so hier hab:
[mm] \forall [/mm] x. P(x) ||- [mm] \exists [/mm] x.P(x) JA
[mm] \forall [/mm] x. P(x) ||- P(c)
[mm] \forall [/mm] x. P(x) ||- [mm] \exists [/mm] x. P(x) -> P(c)
[mm] \exists [/mm] x.P(x) ||- [mm] \forall [/mm] x. P(x)
[mm] \exists [/mm] x.P(x) ||- P(c)
[mm] \exists [/mm] x.P(x) ||- [mm] \exists [/mm] x. P(x) -> P(c)
[mm] \exists [/mm] x. P(x) -> P(c) ||- [mm] \forall [/mm] x. P(x)
[mm] \exists [/mm] x. P(x) -> P(c) ||- [mm] \exists [/mm] x.P(x)
[mm] \exists [/mm] x. P(x) -> P(c) ||- P(c)
also nur beim ersten bin ich mir zu 100% sicher.
es gilt doch
A ||- B
Eine Aussgae B folgt aus einer Aussage A, wenn alle Belegungen bei denen A gilt auch B gilt.
hmmmmmmmm.
ich sag schon mal danke gruß userzwo
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Frage) überfällig | | Datum: | 10:21 Mo 30.03.2009 | | Autor: | userzwo |
hallo hat den keiner eine idee
wie man das macht
also das symbol
||-
steht für die folgerung
also in metasprchlicher ebene
[mm] \forall [/mm] x. P(x) ||- [mm] \exist [/mm] x P(x)
das ist klar wenn alle x P erfüllen folgt daraus das es ein x gibt das P(x) erfüllt.
aber wie sieht das denn zum beispiel bei einer konstanten aus
wenn alle x P(x) erfüllen und hängt das x ja nicht von der Konstanten c ab.
also gibt es eine konstante c die es erfüllen kann oder auch nicht, falls die die konstante ungleich x ist.
bitte eine antwort
gruß userzwo
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 11:20 Mi 01.04.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 11:20 Di 31.03.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
