Computerwissenschaften propositional-logic

7

Warum impliziert A, dass B wahr ist, wenn A falsch und B falsch ist?

Es scheint mir, dass das "impliziert" in englischer Sprache nicht dasselbe bedeutet wie der logische Operator "impliziert", auf ähnliche Weise, wie "ODER" in den meisten Fällen "exklusives ODER" in unserem alltäglichen Sprachgebrauch bedeutet. Nehmen wir zwei Beispiele: Wenn heute Montag ist, ist morgen Dienstag. Das ist wahr . Aber wenn …

24 terminology logic first-order-logic propositional-logic

11

Warum ist ?

Ich würde gerne wissen, ob es eine Regel gibt, die dies beweist. Wenn ich zum Beispiel das Verteilungsgesetz verwende, erhalte ich nur .( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)

22 logic propositional-logic

4

Kann der Beweis durch Widerspruch ohne das Gesetz der ausgeschlossenen Mitte funktionieren?

Ich habe kürzlich über die Gültigkeit von Beweisen durch Widerspruch nachgedacht. Ich habe in den letzten Tagen Dinge über intuitionistische Logik und Godels Theoreme gelesen, um zu sehen, ob sie mir Antworten auf meine Fragen geben würden. Im Moment habe ich noch Fragen (vielleicht im Zusammenhang mit dem neuen Material, …

19 logic first-order-logic propositional-logic incompleteness

5

Warum impliziert Solidität Beständigkeit?

Ich habe die Frage gelesen. Beständigkeit und Vollständigkeit implizieren Solidität. und die erste Aussage darin lautet: Ich verstehe, dass Solidität Beständigkeit impliziert. Worüber ich ziemlich verwirrt war, weil ich dachte, Solidität sei eine schwächere Aussage als Konsistenz (dh ich dachte, konsistente Systeme müssten solide sein, aber ich denke, es ist …

12 terminology logic first-order-logic propositional-logic incompleteness

Als «propositional-logic» getaggte Fragen