• Keine Ergebnisse gefunden

Gerhard J¨ager f¨allig am 6. Mai 2005

N/A
N/A
Protected

Academic year: 2022

Aktie "Gerhard J¨ager f¨allig am 6. Mai 2005"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Semantik und Pragmatik: ¨ Ubungen

Gerhard J¨ager f¨allig am 6. Mai 2005

Aufgabe 1 Zeigen Sie durch Wahrheitswerttafeln, dass folgende S¨atze Tautologien oder Kontradiktionen sind.

(1) a. p q ¬p p∧q q→ ¬p p∧q ↔q→ ¬p

1 1 0 1 0 0

1 0 0 0 1 0

0 1 1 0 1 0

0 0 1 0 1 0

b. p q r ¬p p→q q→r (p→q)∧(q→r) ¬p∨r (p→q)∧(q→r)→ ¬p∨r

1 1 1 0 1 1 1 1 1

1 1 0 0 1 0 0 0 1

1 0 1 0 0 1 0 1 1

1 0 0 0 0 1 0 0 1

0 1 1 1 1 1 1 1 1

0 1 0 1 1 0 0 1 1

0 0 1 1 1 1 0 1 1

0 0 0 1 1 1 0 1 1

c. p q r q →r p→q →r p∧q p∧q→r p→q→r↔p∧q→r

1 1 1 1 1 1 1 1

1 1 0 0 0 1 0 1

1 0 1 1 1 0 1 1

1 0 0 1 1 0 1 1

0 1 1 1 1 0 1 1

0 1 0 0 1 0 1 1

0 0 1 1 1 0 1 1

0 0 0 1 1 0 1 1

d. p q p→q p∧(p→q) p∧(p→q)→q

1 1 1 1 1

1 0 0 0 1

0 1 1 0 1

0 0 1 0 1

1

(2)

Aufgabe 2 Ubersetzen Sie folgenden S¨atze in die Aussagenlogik!¨ (2) a. Ethel vergiftete die Katze, und der Hund bellte.

p∧q

p: Ethel vergiftete die Katze.; q: Der Hund bellte.

b. Der Lehrer gab dem Hund den Kuchen oder der Student gab dem Lehrer den Kuchen, und der Lehrer lachte oder der Hund jaulte.

(p∨q)∧(r∨s)

p : Der Lehrer gab dem Hund den Kuchen.; q : Der Student gab dem Lehrer den Kuchen.; r: Der Lehrer lachte.; s: Der Hund jaulte.

c. Wenn der Hund den Kuchen gefressen hat, dann hat der Student den Hund vergiftet, oder der Lehrer hat den Hund vergiftet.

p→q∧r

p: Der Hund hat den Kuchen gefressen.; q: Der Student hat den Hund vergif- tet.; r : Der Lehrer hat den Hund vergiftet.

d. Wenn der Hund den Kuchen nicht gefressen hat, war Ethel nicht gl¨ucklich.

¬p→ ¬q

p: Der Hund hat den Kuchen gefressen.; q: Ethel war gl¨ucklich.

e. Es regnete nicht und schneite nicht.

¬p∧ ¬q

p: Es regnete.;q : Es schneite.

f. Es war nicht der Fall, das Bertie nicht gesungen hat.

¬¬p

p: Bertie hat gesungen.

Aufgabe 3 Sind die folgenden Formeln jeweils logisch ¨aquivalent?

(3) a. ¬pund ¬¬¬p Ja

b. pund q∨ ¬q→p Ja

c. p→q und ¬p→ ¬q Nein

2

Referenzen

ÄHNLICHE DOKUMENTE

Wir m¨ ussen jetzt nur noch zeigen, dass dies auch die kleinste obere Schranke ist, dass also kein Γ < α −1 obere Schranke von

¨ Wenn ein Satz mehrdeutig ist, geben Sie f¨ ur alle Lesarten ¨ Ubersetzungen an.. Alle Griechen leben und verachten

Aufgabe 1 Ubersetzen Sie die folgenden S¨atze in die Typentheorie mit Variablen und ¨ Quantifikation. Wenn ein Satz mehrdeutig ist, geben Sie f¨ ur alle Lesarten ¨

Beweisen Sie, dass Φ genau dann maximal konsi- stent ist, wenn Φ eine vollständige Theorie ist. Hinweis: Benutzen Sie

, n ordnen wir eine aussagenlogische Interpre- tation in folgender Weise zu : Jedem Paar i < k von Knoten wird eine Variable X ik zugeordnet, die genau dann den Wert 1 erhält,

Sommersemester 2010 Universität Bielefeld. Ubungsaufgaben zur Analysis II ¨ Blatt III

[r]

[r]