Atomare Formel < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 17:42 Mo 04.01.2016 | | Autor: | bandchef |
| Aufgabe | | Geben Sie ein Beispiel für eine geschlossene und atomare Formel an. |
Hi Leute, Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Ich habe ein Problem mit dieser Aufgabe. Ich verstehe nicht, ob es eine geschlossene und atomare Formel oder eine geschlossene Formel und eine atomare Formel sein soll. Gibt es Zweiteres überhaupt?
Mein eigenes Beispiel [mm] $\forall [/mm] x p(x)$ denke ich ist richtig, denn laut meinen Unterlagen heißt es, dass Formeln ohne freie Variablen geschlossen oder auch "Aussage" heißen.
Wo ich mir aber nicht sicher bin, ist die Tatsache ob dieses Beispiel auch atomar ist!
Kann mir jemand helfen? Danke!
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 18:13 Do 07.01.2016 | | Autor: | bandchef |
Hi Leute,
die Frage wäre wichtig für mich. Ich habe nach wie vor auch keine Ahnung, was da richtig sein soll! Kann mir jemand helfen?
Danke!
|
|
|
| |
|
Hallo,
> Geben Sie ein Beispiel für eine geschlossene und atomare
> Formel an.
> Hi Leute, Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
>
> Ich habe ein Problem mit dieser Aufgabe. Ich verstehe
> nicht, ob es eine geschlossene und atomare Formel oder eine
> geschlossene Formel und eine atomare Formel sein soll. Gibt
> es Zweiteres überhaupt?
>
> Mein eigenes Beispiel [mm]\forall x p(x)[/mm] denke ich ist richtig,
> denn laut meinen Unterlagen heißt es, dass Formeln ohne
> freie Variablen geschlossen oder auch "Aussage" heißen.
Ja, diese ist geschlossen.
> Wo ich mir aber nicht sicher bin, ist die Tatsache ob
> dieses Beispiel auch atomar ist!
Das lässt sich einfach herausfinden - was sind atomare prädikatenlogische Formeln?
>
> Kann mir jemand helfen? Danke!
>
>
Lg
|
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 15:33 So 17.01.2016 | | Autor: | bandchef |
Hey, erstmal Danke für deine Antwort!
atomare prädikatenlogische Formeln sind bspw. $w$ oder auch $f$. Richtig?
|
|
|
| |
|
Hallo,
Ganz streng genommen sind w,f Belegungen.
Dennoch ist es absolut üblich- und wird zumeist auch so gemacht- sie als atomar zu bezeichnen.
also ja.
lg
|
|
|
|
