Informatiker Board | Logik | Allgemeingültige Formel

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Allgemeingültige Formel » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Die letzten 4 Beiträge

Karlito

Ich bin (noch) ein wenig ratlos.

Grundlegend denke ich müssen zwei Fälle betrachtet werden:

$[latex] \varphi [/latex]$ ist ungültig
$[latex] \varphi [/latex]$ ist nicht ungültig

Für den ersten Fall gibt es drei mögliche Folgefragen

$[latex] var(\varphi) \cap var(\chi) = \emptyset [/latex]$
$[latex] var(\varphi) \cap var(\chi) \neq \emptyset [/latex]$
$[latex] var(\varphi) = var(\chi) [/latex]$

Für den zweiten Fall gibt es zwei mögliche Folgefragen

$[latex] var(\varphi) \cap var(\chi) \neq \emptyset [/latex]$
$[latex] var(\varphi) = var(\chi) [/latex]$

Noch habe ich leider keinen Ansatz wie die Fälle bearbeitet werden müssen.

Gruß,

Karlito

VooDoo666

RE: Allgemeingültige Formel

Zitat:

Original von Karlito
Hallo VooDoo666,

da die Frage nach der Existenz gestellt wird, reicht ein Beispiel. Nehmen wir uns also die Eigenschaften der Implikation vor, um die Aussgage $[latex] \varphi \rightarrow \chi [/latex]$ allgemeingültig zu machen. Eine Implikation ist immer wahr, wenn aus einer falschen Aussage etwas beliebiges gefolgert wird. Wir brauchen für $[latex] \varphi [/latex]$ also eine ungültige Aussage. Z.B. $[latex] \varphi = a \wedge \neg a [/latex]$ . Somit kann $[latex] \chi [/latex]$ prinzipiell beliebig sein und die Aussage ist immer wahr.
Die einfachste Lösung für das Problem ist also: $[latex] \varphi [/latex]$ ist ungültig und $[latex] \varphi = \psi = \chi [/latex]$ .

Gruß,

Karlito

Danke für die Antwort. So wie die Aufgabe gestellt ist, fürchte ich jedoch, $[latex] \varphi [/latex]$ und $[latex] \chi [/latex]$ kann ich nicht wählen. Ich darf lediglich $[latex] \psi [/latex]$ bestimmen. Wie würdest du in dem Fall an die Aufgabe heran gehen?

Karlito

RE: Allgemeingültige Formel

Hallo VooDoo666,

da die Frage nach der Existenz gestellt wird, reicht ein Beispiel. Nehmen wir uns also die Eigenschaften der Implikation vor, um die Aussgage $[latex] \varphi \rightarrow \chi [/latex]$ allgemeingültig zu machen. Eine Implikation ist immer wahr, wenn aus einer falschen Aussage etwas beliebiges gefolgert wird. Wir brauchen für $[latex] \varphi [/latex]$ also eine ungültige Aussage. Z.B. $[latex] \varphi = a \wedge \neg a [/latex]$ . Somit kann $[latex] \chi [/latex]$ prinzipiell beliebig sein und die Aussage ist immer wahr.
Die einfachste Lösung für das Problem ist also: $[latex] \varphi [/latex]$ ist ungültig und $[latex] \varphi = \psi = \chi [/latex]$ .

Gruß,

Karlito

VooDoo666

Allgemeingültige Formel

Folgende Aufgabe beschäftigt mich seit geraumer Zeit(siehe Anhang).
Um die Bedingung der Allgemeingültigkeit zu erfüllen würde mir beispielsweise einfallen einfach X zu nehmen.

Nur dann ist die Bedingung das var(X) Teilemenge vom Schnitt var(phi), var(X) nicht gegeben. Mir mangelt es an Ideen wie man überhaupt eine aussagenlogische Formel aufstellen kann, die definitiv nur Variablen enthält die in Phi sowie X sind. Kann mir da jemand einen Denkanstoß geben? Würde mich über Hilfe sehr freuen.

Grüße,
VooDoo666

VooDoo666 hat dieses Bild (verkleinerte Version) angehängt: