Logik: Klausur03 Lösungen?

Wanja

Junior Schreiberling

Posts: 150

Date of registration: Feb 4th 2003

1

Monday, July 4th 2005, 6:42pm

Weiss zufällig wer wo man ne Lösung für die Logikklausur 2003 herbekommen könnte?

mfG Wanja

Go to the top of the page

Sinan

Senior Schreiberling

Posts: 1,021

Date of registration: Jul 5th 2003

Location: Malaga

Occupation: Senior Cloud Solution Engineer bei Oracle

2

Monday, July 4th 2005, 8:24pm

RE: Logik: Klausur03 Lösungen?

wenn du die vom 11.07.2003 meinst, dann bei mir,
hab leider kein Scanner, also frag mich morgen einfach in der Übung falls ich es vergesse (was ich davon ausgehe)

With great power comes great responsibility

Go to the top of the page

Wanja

Junior Schreiberling

Posts: 150

Date of registration: Feb 4th 2003

3

Monday, July 4th 2005, 8:28pm

RE: Logik: Klausur03 Lösungen?

Ja genau die meine ich. Ich werd mich dann einfach mal so um 13:50 vor die Tür hocken und da warten ...

This post has been edited 1 times, last edit by "Wanja" (Jul 4th 2005, 8:33pm)

Go to the top of the page

migu

free rider

Posts: 2,643

Date of registration: Dec 11th 2001

Occupation: Developer

4

Monday, July 4th 2005, 10:30pm

RE: Logik: Klausur03 Lösungen?

Quoted

Original von Sinan
wenn du die vom 11.07.2003 meinst, dann bei mir,

Die ist auf meiner Homepage online.
[EDIT] "Erst lesen, dann schreiben." - Bei mir gibt's nur die Aufgabenstellung!
Sorry...

tar: Anlegen eines leeren Archivs wird feige verweigert.

This post has been edited 1 times, last edit by "migu" (Jul 4th 2005, 10:31pm)

Go to the top of the page

snoopy

Junior Schreiberling

Posts: 146

Date of registration: Feb 29th 2004

Location: Hannover

Occupation: Informatik

5

Wednesday, July 6th 2005, 10:21am

Aufgabe 4 Klausur 03

Wenn ich dort habe
H -> P (...) AND nP(...)

daraus wird doch

nH OR (P(...) AND nP(...) = (nH OR P) AND (nH OR nP)

Daraus werden dann doch zwei Klauseln, stimmt das?

Eine davn scheint man ja nicht mal zu brauchen.

Ich habe raus für t=c und s=g(f(g(g(c))))

Go to the top of the page

snoopy

Junior Schreiberling

Posts: 146

Date of registration: Feb 29th 2004

Location: Hannover

Occupation: Informatik

6

Wednesday, July 6th 2005, 11:15am

Aufgabe 2

A ist kein Modell für F?

Ich habe t0^A = 10 und t1^A=4

Somit gilt für alle x1 ex x2 mit x1<x2 zwar, aber es gilt nie 10 < 4

richtig?

Go to the top of the page

EnteTaylor

Trainee

Posts: 111

Date of registration: Oct 24th 2003

Location: Göttingen

Occupation: weil's toll is

7

Wednesday, July 6th 2005, 3:33pm

Quoted

Original von snoopy
Aufgabe 2

A ist kein Modell für F?

Ich habe t0^A = 10 und t1^A=4

Somit gilt für alle x1 ex x2 mit x1<x2 zwar, aber es gilt nie 10 < 4

richtig?

Nein, leider falsch. Du darfst die Werte für die Variablen (x1=0,x2=2) nicht einsetzen. Stattdessen musst du die Formel allgemein behandeln.
In den übungen haben wir immer ein "Hilfsmodell" B konstruiert mit
B:=A[x1/m][x2/n]. Dann musst du zeigen, dass für alle natürlichen Zahlen m eine natürlich Zahl n existiert, so dass gilt: B ist ein Modell für F. Du ersetzt also in der Formel x1 durch m und x2 durch n.
statt "10 < 4" erhhältst du eine Ungleichung, die die Variablen m und n enthält. Mit ein bisschen Probieren bekommst du raus, dass n beispielsweise (m+5) sein kann, damit die Ungleichung stimmt. Daraus folgt dass A ein Modell für F ist.

Meine Gedächtnisprotokolle: www.janwy.de

Go to the top of the page

snoopy

Junior Schreiberling

Posts: 146

Date of registration: Feb 29th 2004

Location: Hannover

Occupation: Informatik

8

Wednesday, July 6th 2005, 4:46pm

Oh stimmt. Danke, hatte ich ganz vergessen.
Aber man behält doch nicht alle bei.
Ich sehe gerade wieder, was ich in meiner Lösung zu Übung 5 schrieb:
"Ersetze (belege) freie x_j wie angegeben. Belege gebundene Variablen x_j mit x_1=alpha, ..."

Viel Erfolg.