Äquivalente Umformung Prädikat < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 20:24 Mo 15.10.2018 | | Autor: | gabeBU |
| Aufgabe | Formen Sie die prädikatenlogische Formel:
¬∀x∈R(x >3⇒x <5)
schrittweise äquivalent so um, dass kein Allquantor und kein wenn-dann
Symbol mehr darin vorkommt. Ist die Formel wahr? |
Ich verstehe nicht ganz, wie ich diese Aufgabe lösen kann...leider habe ich dafür auch keinen Lösungsansatz bisher finden können. Was genau muss Ich hier tun und beachten?
Besten Dank für eure Auskunft.
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 07:51 Di 16.10.2018 | | Autor: | abakus |
"Nicht für alle x gilt H(x)" ist äquivalent zu
"Es gibt ein x, für das H(x) nicht gilt"
"Aus p folgt q" ist äquivalent zu "nicht q oder p".
Nutze diese beiden Regeln für entsprechende Ersetzungen.
|
|
|
|
