dennis7
unregistriert
 |
|
| 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]](http://www.matheboard.de/latex2png/latex2png.php?\phi_1 \equiv \phi_2 \Rightarrow \phi_1 [\psi / p] \equiv \phi_2[\psi / p] )
Zur Erklärung der Schreibweise: ![[latex]\phi, \psi [/latex]](http://www.matheboard.de/latex2png/latex2png.php?\phi, \psi ) sind Aussagenlogische Formeln, ![[latex] p [/latex]](http://www.matheboard.de/latex2png/latex2png.php? p ) ist eine Aussagenvariabel, ![[latex] \equiv [/latex]](http://www.matheboard.de/latex2png/latex2png.php? \equiv ) ist die logische Äquivalenz und ![[latex] \phi[\psi / p] [/latex]](http://www.matheboard.de/latex2png/latex2png.php? \phi[\psi / p] ) ist die Substitution (d.h. in ![[latex] \phi [/latex]](http://www.matheboard.de/latex2png/latex2png.php? \phi ) wird durch ![[latex] \psi [/latex]](http://www.matheboard.de/latex2png/latex2png.php? \psi ) ersetzt).
Ich hoffe mir kann jemand weiterhelfen.
Grüße,
Dennis
Meine Ideen:
Leider noch keinen Ansatz.
|
|
08.05.2012 15:39 |
|
|
