Matroids Matheplanet Forum Index
Moderiert von mire2 StrgAltEntf
Mathematik » Logik, Mengen & Beweistechnik » Aussagenlogik Kalkül natürlichen Schließens
Druckversion
Druckversion
Antworten
Antworten
Autor
Universität/Hochschule Aussagenlogik Kalkül natürlichen Schließens
Churchill
Neu Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 09.12.2019
Mitteilungen: 1
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Themenstart: 2019-12-09


Hallo liebe Community,

Ich habe ein paar Aufgaben aus der AL.

Zeigen Sie mithilfe des Kalküls des natürlichen Schließens, dass folgendes gilt:

a.) p → q, q → r, p            |-     r
b.) p, r → s, ¬s, ¬r → t      |-      t ∧ p
c.) p, p → q                       |-     q ∨ r

Kann jemand die Aufgaben lösen? Bestenfalls mit Lösungsweg.

Vielen Dank



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
tactac
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 15.10.2014
Mitteilungen: 1754
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.1, eingetragen 2019-12-09


Hallo Churchill,

das kommt natürlich drauf an, wie euer Kalkül im einzelnen aussieht. Hier mal eine Herleitung von b) in einer Ausprägung von etwas, das manche Leute "sequent natural deduction" nennen (und mit ¬ primitiv statt als - → ⊥ definiert) :
Mit Γ = p, r → s, ¬s, ¬r → t
 
                --------- assm
                Γ ⊢ r → s
-------- assm   ------------ wk     ------ assm
Γ, r ⊢ r        Γ, r ⊢ r → s        Γ ⊢ ¬s
---------------------------- →E     --------- wk
        Γ, r ⊢ s                    Γ, r ⊢ ¬s
        ------------------------------------- ¬I    ---------- assm
                Γ ⊢ ¬r                              Γ ⊢ ¬r → t
                ----------------------------------------------- →E      ----- assm
                             Γ ⊢ t                                      Γ ⊢ p
                            -------------------------------------------------- ∧I
                                                Γ ⊢ t ∧ p

Kannst du vielleicht an deine Gegebenheiten anpassen, vielleicht auch nicht. Es fehlt Information.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Churchill hat die Antworten auf ihre/seine Frage gesehen.
Neues Thema [Neues Thema] Antworten [Antworten]    Druckversion [Druckversion]

 


Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2020 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]