Modalität und Temporalität < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Sei J ein einstelliger Satzoperator. J heißt wahrheitsfunktional, genau dann wenn für jede Belegung von v der Wahrheitswert [mm] [[Ja]]_v [/mm] eindeutig durch den Wahrheitswert [mm] [[a]]_v [/mm] bestimmt ist. D. h. falls [mm] [[a]]_v [/mm] = [mm] [[b]]_v [/mm] so ist auch [mm] [[Jb]]_v [/mm] = [mm] [[Ja]]_v.
[/mm]
Modalität: Kann "es ist möglich dass" als wahrheitsfunktionaler Satzoperator ausgedrückt werden? Begründe deine Antwort. Der Beweis kann intuitiv erfolgen.
Temporalität: Kann "es wird morgen so sein, dass" als wahrheitsfunktionaler Satzoperator ausgedrückt werden? Begründe deine Antwort. Der Beweis kann intuitiv erfolgen. |
Wir sollen uns hier anhand von Beispielen überlegen, ob diese Ausdrücke als wahrheitsfunktionaler Satzoperator dargestellt werden können.
Ich bin der Meinung (rein intuitiv), dass es nicht geht. Leider kann ich nicht begründen wieso. Kann mir das jemand anhand eines Beispiels erläutern?
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:20 Mo 18.05.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
