Not logged in. · Lost password · Register

Matombo
Member since Aug 2014
30 posts
Subject: Mockexam 4.4
öhm bei mir ergibt das grad nen schönen geschlossenen tablaux und ich find mein fehler nicht, habs grad zum zweiten mal durchgemacht
findet wer meinen fehler?

~((P|Q&R)->(P|Q)&(~P|R))
(P|Q&R)
~((P|Q)&(~P|R))
P|Q
R
P                              / Q
~(P|Q)      / ~(~P|R)   / ~(P|Q)     / ~(~P|R)
~P           / ~~P        / ~P          / ~~P
~Q           / ~R          / ~Q          / ~R
-               / P           / -             / P
                / -             /               / -
Jazzpirate
Member since Oct 2016
803 posts
Ich kann deine Notation leider nicht ganz nachvollziehen...? Auch, welche Formel gerade mit T oder F gelabeled ist, ist mir da nicht klar...

ich interpretiere das folgendermaßen:

((P|Q&R)->(P|Q)&(~P|R)) - F
(P|Q&R) - T
((P|Q)&(~P|R)) - F

...wie kommst du jetzt auf P|Q?
nenas
Avatar
Member since May 2012
229 posts
+1 Jazzpirate
Falls du Modelle erzeugen willst, musst du anders vorgehen: Auf T labeln, nicht auf F.

(P | Q & R)                    ->           (P | Q) & (~P | R)
~ (P | Q & R)                   |           (P | Q) & (~P | R)
~(P | Q & R)                                (P | Q) & (~P | R)
~P & ~(Q & R)                               (P | Q)
~P                                          (~P | R)
~(Q & R)                                     P                                   Q
~Q | ~R                                     ~P             R                     ~P        R
~Q                  ~ R                     bottom


models:   
P->F,                 Q->F,         R->T
P->F,                 Q->F,         R->F
P->F,                 Q->T,         R->F   
P->F,                 Q->T,         R->T
P->T,                 Q->T,         R->T
P->T,                 Q->F,         R->T
Sometimes, I guess there just aren't enough rocks.
BreakFast
Avatar
Member since Oct 2012
351 posts
In reply to post #2
Quote by Jazzpirate:
Auch, welche Formel gerade mit T oder F gelabeled ist, ist mir da nicht klar...
Ich glaub viele ersetzen das Label-System dadurch dass sie Formeln negieren oder nicht negieren. War in GLoIn auch so (da gab es zwar keine Tableaux aber paar andere Sachen wo in KI diese Labels verwendet werden, wobei Tableaux in einer anderen Veranstaltung vorkamen und da selbige GLoIn-maessige Syntax hatten).

Ist das in der Klausur OK?
Jazzpirate
Member since Oct 2016
803 posts
Ist das in der Klausur OK?
Prinzipiell klar; ihr dürft das aufschreiben wie ihr wollt - solange wir halt erkennen können, was passiert ;-) Im zweifelsfalle danebenschreiben welche regel du benutzt (sowas wie "=>-I" bzw. bei tableaux halt "/\F" oder "/\T" oder so), dann wissen wir was du dir denkst :D
Matombo
Member since Aug 2014
30 posts
In reply to post #3
@nenas
vielen dank, kommt auf den folien nich so raus aber ergibt sinn ^^
aiaiai
Member since Feb 2017
6 posts
Dumme Frage aber haette da nicht einfach auch eine Wahrheitstabelle gereicht? :D

Aka: Wenn ich in der Klausur schon gezeigt habe, dass ich Resolution kann und es kommt mir eine zweite Aufgabe in der Form: Beweise Formel Gilt / Finde Model für Formel / Proposition, wie sehr wird mir dann der Kopf abgerissen wenn ich eine elegante, schnellere Wahrheitstabelle hinzaubere? :S
This post was edited on 2017-02-13, 00:58 by aiaiai.
Jazzpirate
Member since Oct 2016
803 posts
wenn ich eine elegante, schnellere Wahrheitstabelle hinzaubere?
wenn du's schaffst ne "elegante Wahrheitstabelle" zu produzieren kriegst du wahrscheinlich ne Fields-Medallie für den Beweis, dass die gesamte herrkömliche Mathematik widersprüchlich ist... :-p

Ahm, aber ja, wenn die Aufgabe nur ist "finde Modelle", dann ist uns egal WIE solange nachvollziehbar ;-) Ich advokiere ja Lösen-per-Formel-anstarren, aber ja, Wahrheitstafelnd, Tableaux etc. sind alles erlaubt.

Generell: Dinge die man per Wahrheitstabelle zeigen KANN und nicht explizit anders zeigen SOLL, DARF man auch per WT zeigen ;-)
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen