• Aucun résultat trouvé

[4] Lassen wir “p” für “Laura liebt Marc” stehen, “q” für “Guillaume betet Chantalle an” und “r” für “Brigitte ist verrückt nach Jean-Pascal”

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "[4] Lassen wir “p” für “Laura liebt Marc” stehen, “q” für “Guillaume betet Chantalle an” und “r” für “Brigitte ist verrückt nach Jean-Pascal”"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Übungen 2

Einführungskurs Logik, Universität Bern, Frühlingssemester 2012 abzugeben vor Montag, dem 5.3.2012, 14h15

Name(n):

Erzielte Punkte (in Fragen mit insgesamt Punkten): Note:

[2] In die folgenden Wahrheitswerttabellen hat sich ein Fehler eingeschlichen. Welcher? Erste Wahr- heitswerttabelle:

p q¬pq→ ¬p W W F F W F F W F W W W F F W F Zweite Wahrheitswerttabelle:

p q r¬p¬p∧q(¬p∧q)∨r W W W F F W W F F F F F W W F F F F F W W W W W W F W F F W F W F W W W F F F W F W F F W W F W

[3] Erstellen Sie Wahrheitswerttabellen für folgende Sätze: “¬(¬p∧ ¬q)” “(p∧(q∨r))↔((p∧q)∨ (p∧r))”

[4] Lassen wir “p” für “Laura liebt Marc” stehen, “q” für “Guillaume betet Chantalle an” und “r” für

“Brigitte ist verrückt nach Jean-Pascal”. Hans sagt “¬(p∧¬q)” und Janine meint “p∧¬(q∧¬r)”. Wenn beide Recht haben, wer hat wem gegenüber positive Gefühle?

Références

Télécharger maintenant ( PDF - 1 Page - 20.52 KB )

Documents relatifs

Die Syllogistik Einführungskurs Logik, Universität Bern, Frühlingssemester 2012

• Wenn alle meine Freunde, die im Newsletter eingeschrieben sind, Philosophie machen, dann sind einige meiner Freunde nicht im Newsletter eingeschrieben. • Entweder sind alle

(1)zusätzliche Übungen zur Aussagenlogik Einführungskurs Logik, Universität Bern, Frühlingssemester 2012 zählt als eigenständige Übungsserie, wenn vor Montag, dem h15, abgegeben 1

zählt als eigenständige Übungsserie, wenn vor Montag, dem 16.4.2012, 14h15,

Die Prädikatenlogik Einführungskurs Logik, Universität Bern, Frühlingssemester 2012

Prädikate (offene Sätze) sind nicht wahr oder falsch, sondern treffen auf bestimmte Objekte zu oder nicht (bzw. werden von diesen Objekten erfüllt oder nicht).. Ein Objekt erfüllt

(5 Punkte) Verwenden wir die folgenden Abkürzungen: “a” für den Eigennamen “Aristoteles” “s” für den Eigennamen “Sokrates” “P h

(5 Punkte) Formalisieren Sie die folgenden Argumente in der Sprache der Prädikatenlogik und überprüfen Sie mittels Venn-Diagrammen, ob sie gültig sind:.. (a) Alle Zeugen, die

Metalogische Eigenschaften der Prädikatenlogik Einführungskurs Logik, Universität Bern, Frühlingssemester 2012

Wenn T einen offenen Zweig enthielte, würden die Formeln auf diesem Zweig eine Hintikka-Menge bilden, die (aufgrund des Lemmas) erfüllbar wäre.Weil ⌜¬ ϕ ⌝ ein Element dieser

8x(F x) ! 8y(F y)

Einführungskurs Logik, Universität Bern, Frühlingssemester

(1)zusätzliche Übungen zur Aussagenlogik Einführungskurs Logik, Universität Bern, Frühlingssemester 2009 1

Einführungskurs Logik, Universität Bern, Frühlingssemester

Zusammenfassung der wichtigsten Punkte Einführungskurs Logik, Universität Bern, Frühlingssemester 2009

Die Methode der natürlichen Deduktion ist eine korrekte und vollständige syntaktische Metho- de: jede beweisbare Sequenz entspricht einer Beziehung der logischen