Kontradiktion < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Status: |
(Frage) reagiert/warte auf Reaktion | Datum: | 20:45 Mo 13.02.2012 | Autor: | tanye |
Aufgabe | Es gibt eine Menge M [mm] \subset AL(\pi) [/mm] und aussagenlogische Ausdrücke [mm] \alpha [/mm] , [mm] \beta \in AL(\pi) [/mm] so dass die folgenden vier Bedingungen gleichzeitig erfüllt sind:
- M [mm] \cup {\alpha} [/mm] ist nicht kontradiktorisch.
- M [mm] \cup {\beta} [/mm] ist nicht kontradiktorisch.
- M [mm] \cup {\alpha,\beta} [/mm] ist kontradiktorisch.
- [mm] {\alpha,\beta} [/mm] ist nicht kontradiktorisch. |
Hallo MR :) ,
Ich hab etwas Probleme mit der Aufgabe, weil ich das am liebsten mit einer Wahrheitstabelle zeigen will. Z.B. würde ich sagen dass die Menge [mm] M={\neg \alpha \vee \beta } [/mm] klappen müsste. Bin aber nicht sicher und krieg die Tabelle nicht hin bzw. schon , aber sehe ihr dann nicht an dass es klappt -.-
Wär echt super wenn kurz jemand helfen könnte ...
Danke im Voraus
|
|
|
|
> Es gibt eine Menge M [mm]\subset AL(\pi)[/mm] und aussagenlogische
> Ausdrücke [mm]\alpha[/mm] , [mm]\beta \in AL(\pi)[/mm] so dass die folgenden
> vier Bedingungen gleichzeitig erfüllt sind:
>
> - M [mm]\cup \{\alpha\}[/mm] ist nicht kontradiktorisch.
> - M [mm]\cup \{\beta\}[/mm] ist nicht kontradiktorisch.
> - M [mm]\cup \{\alpha,\beta\}[/mm] ist kontradiktorisch.
> - [mm]\{\alpha,\beta\}[/mm] ist nicht kontradiktorisch.
> Hallo MR :) ,
>
> Ich hab etwas Probleme mit der Aufgabe, weil ich das am
> liebsten mit einer Wahrheitstabelle zeigen will. Z.B.
> würde ich sagen dass die Menge [mm]M={\neg \alpha \vee \beta }[/mm]
> klappen müsste. Bin aber nicht sicher und krieg die
> Tabelle nicht hin bzw. schon , aber sehe ihr dann nicht an
> dass es klappt -.-
> Wär echt super wenn kurz jemand helfen könnte ...
>
> Danke im Voraus
Hallo tanye,
ich vermute, dass bisher niemand geantwortet hat, weil
es nicht ganz leicht ist, zu merken, was da genau gezeigt
werden soll. Du solltest wohl zuerst mal die Bezeichnungen
erläutern:
Was ist [mm] \pi [/mm] ?
Was ist [mm] AL(\pi) [/mm] ?
Eine mögliche Quelle von Missverständnissen habe ich gerade
eliminiert: damit die geschweiften Klammern in einem TEX-
Ausdruck sichtbar werden, muss man ihnen im Code jeweils
einen Backslash voranstellen !
LG Al-Chw.
|
|
|
|