Informatiker Board | Logik | Logische Äquivalenz bei Substitution

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Logische Äquivalenz bei Substitution » 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

Der letzte Beitrag

dennis7

Logische Äquivalenz bei Substitution

Meine Frage:
Hallo,

ich muss folgende Aussage beweisen und finde leider überhaupt keinen Ansatz:

$[latex]\phi_1 \equiv \phi_2 \Rightarrow \phi_1 [\psi / p] \equiv \phi_2[\psi / p] [/latex]$

Zur Erklärung der Schreibweise: $[latex]\phi, \psi [/latex]$ sind Aussagenlogische Formeln, [latex] p [/latex]

ist eine Aussagenvariabel, $[latex] \equiv [/latex]$ ist die logische Äquivalenz und $[latex] \phi[\psi / p] [/latex]$ ist die Substitution (d.h. in $[latex] \phi [/latex]$ wird [latex] p [/latex]

durch $[latex] \psi [/latex]$ ersetzt).

Ich hoffe mir kann jemand weiterhelfen.
Grüße,
Dennis

Meine Ideen:
Leider noch keinen Ansatz.