Beweis aussagenlogische Formel < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 00:02 Mo 10.11.2008 | | Autor: | Klemme |
| Aufgabe | Beweisen Sie, dass für jede aussagenlogische Formel F, in der das Negationszeichen [mm] \neg [/mm] nicht vorkommt, und für die Belegung
I mit [mm] I(p_{i}) [/mm] = 1 für alle Aussagenvariablen [mm] p_{i} [/mm] gilt: I(F) = 1. |
Wenn alle Aussagenvariablen wahr sind und kein Negationszeichen in der Formel vorkommen soll, muss auch die Formel dann immer wahr sein.
Wie kann man so was zeigen, wenn man es für alle betreffenden Formeln beweisen muss?
Ich wäre echt dankbar für einen Lösungsansatz.
LG
Klemme
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 22:53 Mo 10.11.2008 | | Autor: | Klemme |
Es wäre ganz toll wenn sich noch jemand finden würde, der mir nen Tipp gibt, wie man an diese Aufgabe herangeht.
Danke schon mal
Klemme
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 00:22 Do 13.11.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
