Einen Aussage mit logischen Verknüpfungen umformen !!

29.10.2004, 11:33	Holzi	Auf diesen Beitrag antworten »
Einen Aussage mit logischen Verknüpfungen umformen !! Angeblich kann man Sätze in logische Formeln um wandeln Also Sätze wie: Wenn eine Zahl gerade und grösser als 2 ist, dann ist es keine Primzahl. Den Satz kann man doch mit "und" "oder " bzw. "nicht" darstellen, aber wie fang ich da an ? In Teilaussagen zerlegen ? Und dann dafür Variable einsetzen? Okay danke schon mal.
29.10.2004, 12:46	Poff	Auf diesen Beitrag antworten »
RE: Einen Aussage mit logischen Verknüpfungen umformen !! Meine GENERELLE Meinung dazu ist '' Schwachsinn ". Wenn du das machen musst, weil das gerade auf dem Plan steht, dann ist's ok. Auch sollte man das Zeug im gewissen Grade lesen können. Viel mehr aber brauchts allgemein nicht. Ich halte das eher für eine ekelhafte Verkrüppelung denn für eine allgemein sinnvolle Erscheinung. In speziellen Kreisen und Umgebungen mag das angebracht sein, im allgemeinen jedoch fördert es eher die Unfähigkeit Sprache gezielt klar einsetzen zu können .
29.10.2004, 13:04	Holzi	Auf diesen Beitrag antworten »
ja leider leider steht das im Plan ich würde gern drauf verzichten...
29.10.2004, 13:35	Leopold	Auf diesen Beitrag antworten »
Schau einmal hier.
29.10.2004, 16:12	Holzi	Auf diesen Beitrag antworten »
ich würde wie so an die aufgabe gehen G "eine Zahl ist gerade" GR "eine Zahl ist größer als 2" P "eine Zahl ist eine Primzahl" meine Schlussfolgerung daraus ist (nicht G v Gr) --> P Ist die Lösung richtig ?
30.10.2004, 15:46	c.	Auf diesen Beitrag antworten »
RE: Einen Aussage mit logischen Verknüpfungen umformen !! wenn du sie in Teilaussagen zerlegst, dann gibt's verschiedene Möglichkeiten, z.B. e(x) für "x ist gerade" g(x,y) für "x ist größer als y" p(x) für "x ist Primzahl" dann sieht die Übersetzung so aus: $\begin{eqnarray} \forall x\,(e(x)\land g(x,2)\to\lnot p(x)) \end{eqnarray}$ entweder man sagt, dass man eh nur über natürliche Zaheln redet, oder man schreibt es in die Formel mit rein: $\begin{eqnarray} \forall x\in N\,(e(x)\land g(x,2)\to\lnot p(x)) \end{eqnarray}$ (den Allquantor braucht man deswegen, weil in einer Aussage, die wahr oder falsch ist, keine freien Variablen vorkommen dürfen) Man kann es auch ganz mathematisch ausdrücken, also x=2n für die Eigenschaft "ist gerade" schreiben usw., das tut der Lesbarkeit dann allerdings wirklich nicht besonders gut... obwohl ein guter Kopromiss wäre: $\begin{eqnarray} \forall x\,\exists n\,(x=2n\land x>2\to\lnot p(x)) \end{eqnarray}$ da x>2 z.B. klarer ist als g(x,2)
Anzeige

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »