Informatiker Board | Logik | Allgemeingültige Formel

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

» Hallo Gast [Anmelden|Registrieren]

Letzter Beitrag | Erster ungelesener Beitrag

Druckvorschau | An Freund senden | Thema zu Favoriten hinzufügen

Allgemeingültige Formel

Autor

Beitrag

« Vorheriges Thema | Nächstes Thema »

VooDoo666
Grünschnabel

Dabei seit: 03.11.2014
Beiträge: 3

Allgemeingültige Formel

Zitatantwort auf diesen Beitrag erstellen

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:

03.11.2014 21:18

Nehmen Sie VooDoo666 in Ihre Freundesliste auf

Karlito Karlito ist männlich

Kaiser

Dabei seit: 11.04.2011
Beiträge: 1.461

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

04.11.2014 10:48

Nehmen Sie Karlito in Ihre Freundesliste auf

VooDoo666
Grünschnabel

Dabei seit: 03.11.2014
Beiträge: 3

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?

Dieser Beitrag wurde 1 mal editiert, zum letzten Mal von VooDoo666: 04.11.2014 21:43.

04.11.2014 21:40

Karlito Karlito ist männlich

Kaiser

Dabei seit: 11.04.2011
Beiträge: 1.461

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

06.11.2014 02:35

Baumstruktur | Brettstruktur

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