äquivalente Ausdrücke < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 13:03 Mi 03.12.2014 | | Autor: | hubi92 |
| Aufgabe | c.) Geben Sie zu den unten aufgeführten Ausdrücken äquivalente Ausdrücke an, die jedoch nur die Operatoren ¬, ^ und den Quantor
^ (d.h. "für alle") verwenden. Entscheiden Sie dann, ob die angegebenen Aussagen in den natürlichen Zahlen wahr sind.
i.) ¬Vx G(x), wobei G(x) : <-> x > 100
ii.) Vx ¬E(x), wobei E(x) : <-> x > 1
iii.) ^x Vy K(x, y), wobei K(x, y) :<-> x < y
iv.) ^x ^y Vz (K(x, y) -> Z(x, z, y)), wobei Z(x, z, y) :<-> x < z < y |
Hallo ihr Lieben!
Ich versteh leider absolut gar nichts und hoffe, dass ihr mir helfen könnt!
Ich bin über jeden Tipp, jede Erklärung und Löung sehr dankbar!
Vielen lieben Dank :)
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 13:20 Fr 05.12.2014 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
