Ich würde gerne wissen, ob es eine Regel gibt, die dies beweist. Wenn ich zum Beispiel das Verteilungsgesetz verwende, erhalte ich nur .
logic
propositional-logic
user78333
quelle
quelle
Antworten:
Ich finde Bilder sind großartig für alles, was einfach genug ist, um sie zu benutzen, was das ist.
Merken:
UND bedeutet die Fläche, die von beiden Dingen eingenommen wird. Das mittlere ist also das, was außerhalb von B, aber auch innerhalb von A aufgenommen wird. Ihre Verbindung wird nicht gezählt, da sie sich innerhalb von A, aber nicht außerhalb von B befindet.
ODER bedeutet, dass es von einem oder beiden abgedeckt wird. Beide decken den Teil von A ab, der sich außerhalb von B befindet, und die Kreuzung wird von A (erstes Bild) abgedeckt, sodass sie ebenfalls gezählt wird. Alles in allem hast du gerade wieder ein.
Tut mir leid, wenn dies zu simpel ist und Sie nicht sicher sind, auf welchem Niveau Sie sich befinden.
quelle
Es gibt viele Möglichkeiten, dies zu sehen. Eines ist eine Wahrheitstabelle. Ein weiteres ist die Verteilungsregel zu verwenden:
quelle
Ich würde meine am wenigsten bevorzugte Inferenzregel anwenden: Disjunction Elimination . Grundsätzlich heißt es, wenn aus P folgt und R aus Q folgt , dann muss R wahr sein, wenn P ∨ Q : ( P → R ) , ( Q → R ) , ( P ∨ Q ) ⊢ RR P R Q R P∨Q
Nehmen wir also . Setze P = A , Q = A ∧ ¬ B , R = A und wende die Regel an:A∨(A∧¬B) P=A Q = A ∧ ¬ B R = A
Das Gegenteil ist trivial: Nehmen Sie , dann durch eine der Varianten der Konjunktionseinführung ( S ⊢ S ∨ T für ein beliebiges T ) A → A ∨ ( ⋯ ) .EIN S⊢ S∨ T T A → A ∨ ( ⋯ )
Hier ist ein Diagramm dieses Beweises:
quelle
Beachten Sie, dass, wenn wir wissen, dass D impliziert , wir C ∨ D = D haben . Dies ist analog zur Vereinigung einer Menge (entsprechend D ) und einer ihrer Teilmengen ( C ): Wir erhalten die größte Menge ( D ) zurück.C D C∨ D = D D C D
In Ihrem Fall ist und D = A , und die Implikation ist trivial.C= A ∧ ¬ B D = A
quelle
Ein intuitiverer Blick:
A
ist immer wahr, wennA
es wahr ist.A & -B
ist nur wahr, wennA
es wahr ist.Intuitiv würde das Anwenden von ODER auf diese beiden ein Ergebnis erzeugen,
C
das immer dann wahr ist, wennA
es wahr ist. Als solchesC
ist immer wahr, wennA
es wahr ist.(Hören Sie hier auf zu lesen, wenn diese Erklärung für Sie funktioniert.)
So denke ich über dieses Problem. Diese Erklärung ist jedoch nicht vollständig, da wir nur das gezeigt haben
A -> C
und nichtA <-> C
.Lassen Sie uns das also auch zeigen
C -> A
.A
ist immer falsch, wennA
falsch ist.A & -B
ist immer falsch, wennA
falsch ist.Intuitiv würde das Anwenden von ODER auf diese beiden ein Ergebnis erzeugen,
C
das immer dann falsch ist, wennA
es falsch ist. Als solchesC
ist es immer falsch, wennA
es falsch ist;-A -> -C
Das ist das Gleiche wieC -> A
.So
A -> C
undC -> A
soA <-> C
.quelle
Manchmal sind die Menschen durch die Buchstaben verwirrt. Die Leute mögen Essen, weil man leicht darüber nachdenken kann.
Stell dir vor, ich bitte dich, eine Münze zu werfen, um zwischen der einen oder der anderen der beiden folgenden Optionen zu wählen:
[Das erste ist gleich "A", das zweite "A und nicht B". Aber denk nicht an die Buchstaben. Denken Sie an den Apfel und darüber nach, ob Sie auch eine Banane bekommen.]
Das erste bedeutet wirklich "Eine Apfeltorte, und vielleicht bekommst du eine Banane."
Etwas wegzulassen ist also dasselbe wie "vielleicht" zu sagen.
Wenn man sie als Paar betrachtet, wird es auf jeden Fall einen Apple geben. Yay. Und wenn Ihr Coinflip den richtigen auswählt, erhalten Sie möglicherweise eine Banane.
Aber ist das nicht dasselbe wie "Vielleicht kriegst du eine Banane"? Nur mit der halben Wahrscheinlichkeit?
Alles, was Sie logischerweise sagen können, ist, dass Sie einen Apple bekommen. Sie können nichts darüber sagen, ob Sie eine Banane bekommen.
quelle
Ähnlich wie die Antwort von Yuval Filmus. Verwenden der Booleschen Algebra in der technischen Notaion und Ausklammern (oder Faktorisieren) von A.
quelle
Es scheint, als hätte es noch niemand erwähnt, also werde ich weitermachen.
Das Gesetz, das diese Art von Problemen behandelt, ist das Absorptionsgesetz, das besagt, dass pv (p ^ q) = p und auch p ^ (pvq) = p. Wenn Sie versuchen, das Distributionsgesetz zu verwenden, bleiben Sie für immer im Kreis:
(A v A) ^ (A v ~ B) = A ^ (A v ~ B) = (A ^ A) v (A ^ ~ B) = A v (A ^ ~ B) = (A v A) ^ (A v ~ B)
Ich habe das falsche Symbol für nicht und gleich verwendet, aber der Punkt hier ist, dass, wenn Sie in Kreisen gehen / wenn es eine und-oder Nichtübereinstimmung gibt, Sie normalerweise auf das Absoprtionsgesetz achten sollten.
B ist für das Ergebnis irrelevant, wie Sie feststellen werden, wenn Sie dies in eine Wahrheitstabelle schreiben.
quelle
Eine andere intuitive Möglichkeit, dies zu betrachten:
Wenn A eine Menge ist, können wir sagen, dass jedes gegebene Objekt entweder (in A) oder (nicht in A) ist.
Schauen Sie sich nun S = A oder (A und nicht B) an :
Wenn sich ein Objekt in A befindet, enthält "A oder irgendetwas" alle Elemente in A, sodass sich das Objekt auch in S befindet.
Wenn sich ein Objekt nicht in A befindet, schließt "A und alles" alle Elemente aus, die sich nicht in A befinden. Das Objekt befindet sich also weder in A noch in (A und nicht in B), also nicht in S.
Das Ergebnis ist also, dass jedes Objekt in A in S ist und jedes Objekt, das nicht in A ist, nicht in S. Intuitiv gesehen müssen die Objekte in S genau die in A sein und keine anderen Objekte.
Wenn zwei Mengen identische Elemente haben, werden sie als dieselbe Menge definiert. Also
A = S
.quelle
Eine einfache Methode, die Sie immer anwenden können, wenn Sie nicht weiterkommen, ist die Fallanalyse.
quelle
quelle