Halbordnung < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | | Es sei P eine Menge von Aussagenvariablen. Für beliebige φ,ψ [mm] \in [/mm] AL(P) ist (φ,ψ) [mm] \in [/mm] TF genau dann, wenn φ eine Teilformel von ψ ist. Zeigen Sie, dass Tf eine Halbordnung auf AL(P) ist! Ist diese Halbordnung total? |
hallo. versteht jemand diese aufgabe? ich weiß überhaupt nicht was die von mir wollen. könnte mir bitte jemand helfen?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 03:20 Di 21.11.2006 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
