Was wird hier verlangt < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Zeigen Sie, dass ein Widerspruchsbeweis für die Aussage P logisch dasselbe ist wie
P ist äquivalent zu (nicht(P) [mm] \Rightarrow [/mm] (Q und nicht Q (Q))). |
Hallo zusammen,
ich habe ein Problem mit dieser Aufgabe,und zwar ein grundlegendes. Ich verstehe nicht was hier genau gefordert ist, die Formulierung erscheint mir seltsam.
Momentan würde ich sagen, man soll zeigen, dass
P ist äquivalent zu (nicht(P) [mm] \Rightarrow [/mm] (Q und nicht Q (Q))).
ein Widerspruch zur Aussage P ist. Aber die Überlegung verwirrt mich nur noch mehr.
Es würde mich freuen, wenn sich jemand findet, um mir Starthilfe zu geben.
Danke im Voraus
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 10:38 Fr 19.02.2016 | | Autor: | M.Rex |
Hallo
> Zeigen Sie, dass ein Widerspruchsbeweis für die Aussage P
> logisch dasselbe ist wie
>
> P ist äquivalent zu (nicht(P) [mm]\Rightarrow[/mm] (Q und nicht Q
> (Q))).
Mich verwirrt deine Notation hier gerade. Was ist denn auf einmal die Aussage Q? Und P kann niemals äquivalent zu "nicht P" sein.
> Hallo zusammen,
>
> ich habe ein Problem mit dieser Aufgabe,und zwar ein
> grundlegendes. Ich verstehe nicht was hier genau gefordert
> ist, die Formulierung erscheint mir seltsam.
Mir auch, vor allem die beiden obigen Punkte verwirren mich.
>
> Momentan würde ich sagen, man soll zeigen, dass
> P ist äquivalent zu (nicht(P) [mm]\Rightarrow[/mm] (Q und nicht Q
> (Q))).
> ein Widerspruch zur Aussage P ist. Aber die Überlegung
> verwirrt mich nur noch mehr.
>
> Es würde mich freuen, wenn sich jemand findet, um mir
> Starthilfe zu geben.
>
> Danke im Voraus
Hast du dir mal eine Wahrheitswertetabelle zu der Ausasage erstellt? Das ist meiner Meinung nach der geeignetste Weg, solche Aussagen zu zeigen.
Evtl hilft ja auch noch ![[]](/images/popup.gif) dieses Skript weiter.
Marius
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 09:20 So 21.02.2016 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
