Aussagenlogik – die besten Beiträge

Betrachte die folgenden Formeln.

•φ1: = ¬B∧(A∨C)

•φ2:= (¬A↔C)∧¬B

•φ3:= ¬A→C

•φ4:= ((A→B)→¬C)∨C

Finde unter den obigen Formeln eine Formel φi mit φi| = φ1∧φ2∧φ3∧φ4. Gibt es eine solche Formel überhaupt? Begründe in jedem Fall Deine Antwort.

Wie ist die Aufgabe gemeint? Man soll jetzt eine Formel finden, die alle 4 Kriterien gleichzeitig erfüllt? Uns wurde gesagt, wir sollen eine Wahrheitstabelle für alle Kombinationen, insg. 8 Einträge erstellen? Aber woher, weiß ich z.B. wann φ1 falsch ist und φ2 wahr? Die einzige Möglichkeit wäre doch nur, wenn alle 4 Formeln wahr sind? Oder hab ich grad ein Brett vorm Kopf?

Hey,

ich sitze seit Stunden an der selben Aufgabe und komme einfach nicht auf das Ergebnis, ich hoffe einer kann mir weiterhelfen. Bin schon über Tipps froh

 ((A → B) → (A → C)) ≡ (A → (B → C))

Wir sollen zeigen dass die beiden Ausdrücke semantisch äquivalent sind ohne Wahrheitstafeln. Das heißt ich muss eine Seite so umformen dass man sieht dass sie gleich sind.. Hat jemand eine Idee? Hab schon alles probiert was ich weiß.. Vielen Dank

hallo was bedeuten diese Aussagen und wie würde die Negation ausschauen?

a) ∃a ∀b : a <= (kleiner gleich) b 

b) ∀b ∃a : a <= (kleiner gleich) b 

c) ∀a ∃b ∃c : b + c = a. 

Philosophie/ Aussagenlogik

Hallo! Ich habe in Mathe die Implikation x=2 und y=5 -> x+y=7 Jetzt soll ich entscheiden ob die umgekehrte Implikation wahr ist, leider verstehe ich das nicht ganz. Über eine Erklärung würde ich mich sehr freuen

habe echt keine Ahnung wie ich das mit den logischen Operationen darstellen soll also mit Disjuktion, Konjuktion etc.... z.B bei Unterpunkt 1. : "Wer schweigt, stimmt zu" echt keine ahnung wie das mit logischen operationen gehen soll :/

Hallo,

ich bin's man wieder mit einem Verständnisproblem bezüglich der Mathematik, genauer der Mengenlehre.

Und zwar geht es um das Vereinigungsaxiom nach ZF. Eigentlich dachte ich, dass ich es verstanden hätte aber dann kam das heutige Übungsblatt.

Hier einmal der Kontext:

Wir definieren: M := {0,{0}} (Die 0 steht für die leere Menge)

Jetzt soll ich zeigen ob für alle x aus M gilt: Die Vereinigung von x ist Element von M.

Mein Problem ist jetzt, da ein Element von M ja die leere Menge ist. Ich weiß das nach ZF jedes Element einer Menge selbst eine Menge ist, aber wie kann ich mir logisch die Vereinigung der leeren Menge vorstellen?

Die Vereinigung der leeren Menge würde ja bedeuten es gibt eine Menge A aus der leeren Menge, usw...

Aber das ist doch schon ziemlich widersprüchlich, da die leere Menge keine Elemente/Mengen enthält. Ist also Die Vereinigung der leeren Menge wieder die leere Menge?

Im Anhang befindet sich (hoffentlich) die Angabe um es besser verstehen zu können.

Hoffentlich könnt ihr mir weiterhelfen.

LG,

ZyrranM

Ich habe die folgenden beiden Sätze bzw. Aussagen (1) Manche Menschen sind Europäer. (2) Europäer haben 3 Beine.

Nun soll ich die folgenden Aussagen auf ihren Wahrheitsgehalt überprüfen: (a) Manche Menschen haben 3 Beine. (b) Europäer, die Menschen sind, haben manchmal 3 Beine. (c) Menschen mit 2 Beinen sind keine Europäer. (d) Europäer sind Menschen mit 3 Beinen. (e) Europäer mit 2 Beinen sind manchmal Menschen.

Lösungen: (a) wahr (b) falsch (c) wahr (d) falsch (e) falsch

WARUM ist die Aussage (d) falsch? Denn:Europäer sind Menschen und und haben 3 Beine. Also warum ist die Aussage falsch ??

Ich bin gerade echt zu dumm um das was wir heute in der Algorithmen und Datenstrukturen Vorlesung gemacht haben richtig zu verstehen

Also, wieso kann man aus

x > 0

x > = 0

folgern

ich verstehe das nicht, wenn das x = 0 ist, dann wäre es doch oben falsch aber unten wahr, also würde man aus etwas falschem etwas wahres folgern, wie kann man sich das klar machen?

Das wäre so als würde ich sagen,

Es regnet nicht, also ist die Straße nass

das ergibt doch keinen sinn

wie lerne ich logisch zu denken ich bin zu blöd dafür

Hallo ihr Lieben,

kann mir jemand erklären, was es mit diesen Bedingungen auf sich hat? Sprich, warum man sie errechnet und wofür.

Vielen Dank:-)

was bedeutet das kleine w im bild? groß W steht für Wahr, aber wofür steht klein w?

ich habe es im bild rot umkreist

Unten im bild steht:

Hier wollen wir unter w(A) = W verstehen, dass durch w der Aussage A der Wert W zugeordnet wird.

Kann mir jemand den unterschied zwischen "Oder" und "Exclusives Oder" erklären? Aus dem Bereich der Datenbanken?

Am Besten am einfachen Beispiel ;-) Durch die Literatur ist mir der Unterschied noch nicht ganz klar.

Danke im Voraus