Formeln erfüllbar/unerfüllbar < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 16:47 So 26.01.2014 | | Autor: | rsprsp |
| Aufgabe | http://www.gute-mathe-fragen.de/?qa=blob&qa_blobid=15271610194591912967
Die Aufgabenstellung ist hier zu finden!
( Habe sie nicht eingetippt, denn ich Zeit sparen wollte) |
Meine Lsg mit Wahrheitstabellen
http://oi44.tinypic.com/2hwpedu.jpg
Ich weiss aber nicht was mit dem erfüllbar / unerfüllbar gemeint ist.
Ich vermute mal, dass alle Werte der Tabelle wahr sind ( wie in Teilaufgaben a und b)
Und dann noch die letzte Frage (Folgt F3 aus F2 oder umgekehrt? ) die ich nicht verstehe.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 16:52 So 26.01.2014 | | Autor: | DieAcht |
Hallo,
Ist das dein Ernst?
Du willst Zeit sparen und wir sollen für dich alles abtippen?
Dabei bist du nicht einmal in der Lage Definitionen nachzuschlagen?
Ich bin ehrlich gesagt entsetzt.
Viel Glück!
DieAcht
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 16:55 So 26.01.2014 | | Autor: | Diophant |
Hallo rsprsp,
ich schließe mich der Kritik von DieAcht an: so läuft das hier nicht. Ich würde vorschlagen, du liest dir jetzt mal in aller Ruhe unsere Forenregeln durch, erinnerst dich an deine sicherlich guten Manieren und schreibst dann bitte die komplette Aufgabe als nue Frage in diesen Thread, keinesfalls in einen neuen.
Ist dies soweit klar geworden?
Gruß, Diophant
|
|
|
| |
|
| Status: |
(Frage) beantwortet  | | Datum: | 17:43 So 26.01.2014 | | Autor: | rsprsp |
| Aufgabe | Welche der folgenden Formeln sind unerfullbar, erfullbar bzw. Tautologien? Begrunden Sie Ihre Aussage.(Die 1 bzw. 0entspricht dabei einer atomaren Formel, die immer wahr bzw. falsch ist.)
a)F1: ((0 [mm] \Rightarrow \neg [/mm] A) [mm] \wedge [/mm] (A [mm] \Rightarrow [/mm] 1))
b)F2: (( B [mm] \Rightarrow [/mm] A) [mm] \gdw \neg [/mm] ( [mm] \neg [/mm] A [mm] \wedge [/mm] B ))
c)F3: (( [mm] \neg [/mm] B [mm] \gdw [/mm] A ) [mm] \Rightarrow (\neg [/mm] A [mm] \wedge [/mm] B))
Folgt F3 aus F2 oder umgekehrt? |
Meine Lsg mit Wahrheitstabellen
a)
0 = 0,0
A = 1,0
1 = 1,1
Formel = 1,1
b)
A = 0,0,1,1
B = 0,1,0,1
Formel = 1,1,1,1
c)
A = 0,0,1,1
B = 0,1,0,1
Formel = 1,1,0,1
Uebersichtlicher: http://oi44.tinypic.com/2hwpedu.jpg
Ich weiss aber nicht was mit dem erfüllbar / unerfüllbar gemeint ist.
Ich vermute mal, dass alle Werte der Tabelle wahr sind ( wie in Teilaufgaben a und b)
Und dann noch die letzte Frage (Folgt F3 aus F2 oder umgekehrt? ) die ich nicht verstehe.
|
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 06:18 Mo 27.01.2014 | | Autor: | meili |
Hallo rsprsp,
> Welche der folgenden Formeln sind unerfullbar, erfullbar
> bzw. Tautologien? Begrunden Sie Ihre Aussage.(Die 1 bzw.
> 0entspricht dabei einer atomaren Formel, die immer wahr
> bzw. falsch ist.)
>
> a)F1: ((0 [mm]\Rightarrow \neg[/mm] A) [mm]\wedge[/mm] (A [mm]\Rightarrow[/mm] 1))
> b)F2: (( B [mm]\Rightarrow[/mm] A) [mm]\gdw \neg[/mm] ( [mm]\neg[/mm] A [mm]\wedge[/mm] B ))
> c)F3: (( [mm]\neg[/mm] B [mm]\gdw[/mm] A ) [mm]\Rightarrow (\neg[/mm] A [mm]\wedge[/mm] B))
>
> Folgt F3 aus F2 oder umgekehrt?
> Meine Lsg mit Wahrheitstabellen
> a)
> 0 = 0,0
> A = 1,0
> 1 = 1,1
> Formel = 1,1
![[ok]](/images/smileys/ok.gif "[ok]")
>
> b)
> A = 0,0,1,1
> B = 0,1,0,1
> Formel = 1,1,1,1
>
> c)
> A = 0,0,1,1
> B = 0,1,0,1
> Formel = 1,1,0,1
>
> Uebersichtlicher: http://oi44.tinypic.com/2hwpedu.jpg
>
> Ich weiss aber nicht was mit dem erfüllbar / unerfüllbar
> gemeint ist.
Siehe ![[]](/images/popup.gif) Erfüllbarkeit bei Wikipedia.
> Ich vermute mal, dass alle Werte der Tabelle wahr sind (
> wie in Teilaufgaben a und b)
dann ist es eine Tautologie
>
> Und dann noch die letzte Frage (Folgt F3 aus F2 oder
> umgekehrt? ) die ich nicht verstehe.
Gilt F2 [mm] $\Rightarrow$ [/mm] F3?
Oder gilt F3 [mm] $\Rightarrow$ [/mm] F2?
Oder stimmt beides nicht?
Notfalls mit Wahrheitstabelle ausprobieren.
Gruß
meili
|
|
|
|
