Volltext
Ubersetzen Sie die folgenden S¨¨ atze in die Typentheorie mit Variablen und Quantifikation.
Wenn ein Satz mehrdeutig ist, geben Sie f¨ur alle Lesarten ¨Ubersetzungen an.
1. Einige Menschen kennen sich selbst.
2. Niemand kennt sich selbst.
3. Jemand hasst Jo und liebt Fiona.
4. Alle Griechen leben und verachten Zeus nicht.
5. Nicht alle Griechen leben und verachten Zeus.
6. Wenn ein Schwan stirbt, schweigen alle Tiere.
1
ÄHNLICHE DOKUMENTE
[r]
[r]
Meine Empfehlung: man konzentriere sich auf Blatt 6 und benutze dieses Zusatzmaterial optional –je nach Ehrgeiz– zur weiteren ¨ Ubung jetzt oder sp¨ ater (z.B. f¨ ur die
Nach dem -δ-Kriterium C.85 sind stetige Funktionen solche, deren Funktionswert sich bei hinreichend kleinen ¨ Anderungen des Arguments nur beliebig wenig ¨andert; allerdings h¨angt
Nach dem -δ-Kriterium C.85 sind stetige Funktionen solche, deren Funktionswert sich bei hinreichend kleinen ¨ Anderungen des Arguments nur beliebig wenig ¨andert; allerdings h¨angt
(2) Γ heißt zusammenh¨ angend, falls sich zwei beliebige Ecken durch eine Folge von Kanten verbinden lassen.. Finden Sie alle zusammenh¨ angenden Graphen Γ , f¨ ur die q Γ
Aufgabe 1 Zeigen Sie durch Wahrheitswerttafeln, dass folgende S¨atze Tautologien oder Kontradiktionen sind..
Universit¨at T ¨ubingen T ¨ubingen, den 22.12.2017 Mathematisches
