Sequenzenkalkül < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 01:07 So 21.05.2017 | | Autor: | Austinn |
Hallo,
ich habe eine kleine Frage bezüglich des Sequenzenkalküls.
Handelt es sich bei den beiden Inferenzregeln um die Regeln weak-R bzw. weak-L?
[mm] 1)\overline{\Gamma,0\vdash\Delta} [/mm]
[mm] 2)\overline{\Gamma,\vdash\Delta,1} [/mm]
Wenn es nicht der Fall ist, dann haben wir diesen nicht definiert und ich müsste einen anderen Weg finden um diese Sequenz abzuleiten:
[mm] \neg p\vee q,\neg p\vee r\vdash [/mm] p, [mm] q\wedge [/mm] r
wobei mir die Linke Seite Schwierigkeiten bereitet. Ich will [mm] (\vee [/mm] L) anwenden, nur habe ich auf der Linken Seite zwei mal [mm] \vee [/mm] und ich weiss nicht genau, wie ich damit Umgehen soll.
Ich hoffe ihr könnt mir helfen.
Danke.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 01:21 Di 23.05.2017 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
