dennis7 unregistriert
|
|
Logische Äquivalenz bei Substitution |
|
Meine Frage:
Hallo,
ich muss folgende Aussage beweisen und finde leider überhaupt keinen Ansatz:
Zur Erklärung der Schreibweise: sind Aussagenlogische Formeln, ist eine Aussagenvariabel, ist die logische Äquivalenz und ist die Substitution (d.h. in wird durch ersetzt).
Ich hoffe mir kann jemand weiterhelfen.
Grüße,
Dennis
Meine Ideen:
Leider noch keinen Ansatz.
|
|
08.05.2012 15:39 |
|
|