|
---|
Hi, ich habe einige probleme bei der prädikatenlogik und bin mir total unsicher. Könnte mir bitte jemand bei folgenden aufgaben behilflich sein, bzw. mir einige lösungsansätze oder lösungen zeigen? 1. Stelle folgende logische Operatoren nur mit den Operatoren "und" "oder" "Negation" darstellen die Korrektheit anhand einer Wahrheitstafel zeigen p⇒(p⇒q) Anhand von Äquivalenzumformung zeigen, dass und jeweils äquivalent sind. ¬(p⇒q) G:¬p ⇒q Prädikat gegeben durch x²≥16 Was sind die Wahrheitswerte für die folgenden Aussagen. Wahrheitswert bestimmen für folgende Aussagen, wenn das Universum für alle Variablen die Menge gange Zahlen ist. ∀n∃m(n² Folgende Prädikate betrachten: studiert Mathematik studiert Physik Dann soll eine Aussage formuliert werden mit dem universum ("Alle Studenten der Uni") Mindestens ein Student studiert Mathematik Studiert ein Student Physik, so studiert er nicht Mathematik folgende Prädikate: studiert Informatik hört die Vorlesung Mathematik für Informatiker ist im zweiten Semester hört eine Programmiervorlesung Nun sollen folgende Aussagen formuliert werden (Universum: Alle Studenten der Uni) Alle Informatikstudenten hören die Vorlesung Mathematik für Informatiker Es gibt Informatikstudenten, die nicht im zweiten Semester sind. Nicht alle Informatikstudenten hören eine Programmiervorlesung. Ich wäre euch sehr dankbar wenn mir jemand weiterhelfen könnte. Vielen Dank im Voraus Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich benötige bitte nur das Ergebnis und keinen längeren Lösungsweg." |
|
Ich gebe Dir ein paar Quellen für das Grundwissen. http//de.wikipedia.org/wiki/Formelsammlung_Logik Prof Spannagel: www.youtube.com/user/pharithmetik Beispiel zur Wahrheitstafel: http//mediathek.mt.haw-hamburg.de/video/M1-2013-10-09-05-Wahrheitstafel-Aufgabe/58d17f3836fa17d7d47fc1b21c7561a4 Implikation: http//mediathek.mt.haw-hamburg.de/video/M1-2014-04-16-03-Implikationen/a6d18e62a8a9093f28b65e4b4d5caa64 Wenn Du zeigen sollst, dass A <=> B ist, dann mußt Du einmal zeigen: A=>B und B=>A. |
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|