You are not logged in.

Leela

Mädchen

  • "Leela" is female
  • "Leela" started this thread

Posts: 88

Date of registration: Sep 15th 2011

1

Wednesday, September 12th 2012, 11:49am

Logik Frage - Übungsblatt 6

Hallo!

Ich habe eine Frage zu Übungsblatt 6 der Logikübungen. Im Lösungshinweis soll nach der Ordnung in Schritt 2 rausfliegen. Resolventen sind hierbei und . Das nicht rausfliegt, liegt das nur an der Ordnung oder können nicht zwei versch. Variablen in einem Schritt eliminiert werden?

lg Doro

  • "Julian" is male

Posts: 66

Date of registration: Oct 4th 2006

Location: Lehrte

2

Wednesday, September 12th 2012, 6:48pm

Liegt an der Resolutionsregel und der Ordnung. Man kann immer nur eine Variable pro Schnitt eliminieren und der Rest der Klauseln wird ja vereinigt. In der Vereinigung kommt nun p_3 positiv sowie negativ vor, das heißt die Klausel ist immer wahr.

Leela

Mädchen

  • "Leela" is female
  • "Leela" started this thread

Posts: 88

Date of registration: Sep 15th 2011

3

Thursday, September 13th 2012, 9:22am

Ok. Danke