Schlussregel < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 18:30 Sa 31.05.2008 | | Autor: | otac |
| Aufgabe | Gegeben sei folgende Schlussregel
p==>q
p==>r
_______
p==> q [mm] \wedge [/mm] r
Führen Sie einen Konditionalbeweis und zeigen Sie mit Hilfe des Resolutionsprinzips, dass die Schlussregel tatsächlich gültig ist.
|
Also ich hab bei dieser Aufgabe absolut keinen Durchblick, waere also dankbar fuer Vorschlaege. Ich wuerde aber wie folgt vorgehen:
(beim Konditionalbeweis weiß ich es nicht)
a) in Klauselform uebersetzen
b) Negieren des Schlusses
also
[mm] \neg [/mm] p [mm] \vee [/mm] q (1) Praemisse
[mm] \neg [/mm] p [mm] \vee [/mm] r (2) Praemisse
und dann kommen schon die ersten unsicherheiten
p [mm] \wedge [/mm] ( [mm] \neg [/mm] q [mm] \vee \neg [/mm] r) (3) indirekter Beweis
was nun?
Bitte antwortet!!!
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:20 Do 05.06.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
