Sequenzkalkül < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 12:13 Sa 23.05.2009 | | Autor: | Wimme |
| Aufgabe | Beweisen oder widerlegen Sie die Korrektheit der folgenden Schlussregel:
Prämissen: [mm] \gamma, \varphi \to \psi \Rightarrow \Delta, \neg \psi
[/mm]
[mm] \gamma [/mm] , [mm] \varphi \Rightarrow \Delta, \theta
[/mm]
Konklusion:
[mm] \gamma \Rightarrow \Delta [/mm] , [mm] \neg \psi [/mm] , [mm] \theta [/mm] |
Hallo!
Sei J nun so eine die Prämissen erfüllende Interpretation, die ein Modell der linken Seiten der Prämissen ist.
Dann muss gelten [mm] J(\gamma) [/mm] = [mm] J(\varphi) [/mm] = [mm] J(\psi) [/mm] = [mm] J(\Delta) [/mm] = 1
[mm] J(\theta) [/mm] = 1 oder 0
J erfüllt dann auch die Konklusion.
So in etwa?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 12:20 Di 26.05.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
