Diskussion:Belnaps vierwertige Logik

Bei Wahrheitswerte steht "Mangel an Wissen" ist kleiner als "Mangel an Wissen" bezüglich des "Wissensgehaltes": $\bot \leq _{k}\bot$ müsste es nicht eher heißen: $\bot \leq _{k}\top$ ich kenn mich nicht aus, aber da scheint ein copy paste fehler unterlaufen zu sein.

Außerdem sind bei der Parakonsistenz nicht klar was mit A,B,C gemeint ist.

Habe ich entsprechend behoben. Danke der Info. tobyS 11:41, 7. Feb. 2009 (CET)

Imkonsistenz ist BKL

und bietet: In der Logik versteht man unter der Inkonsistenz die Widersprüchlichkeit einer Menge von Aussagen oder eines axiomatischen Systems oder die Unerfüllbarkeit einer Formel (sie hat keine wahre Interpretation), siehe Widerspruchsfreiheit. - also was ist hier gemeinz? --SonniWP✍ 12:11, 10. Nov. 2011 (CET)

Frage zur "Auswertung"

Hallo beisammen,

Ich bin ein Leser und mir ist etwas aufgefallen: Im Kapitel "Auswertung" steht

• $\neg {(x,y)}=\!\,(y,x)$

d.h. die Komponenten werden vertauscht.

Wird aber nicht stattdessen das $\neg$ auf den Komponenten fortgesetzt ?

• $\neg {(x,y)}=\!\,(\neg {x},\neg {y})$

Das würde dann zur Wahrheitstafel passen.

Viele Grüße

Tom, --2001:4C50:200:5:FD50:FB6E:C838:232A 14:54, 23. Nov. 2014 (CET)

Sehe ich ähnlich. Zumindest wenn die Wahrheitstabelle stimmt. Ansonsten liegt der Fehler vllt dort? --2A02:908:F35A:D540:A0F8:9DF:62B:1BA3 22:18, 8. Jan. 2015 (CET)

   Nein, die Komponentenschreibweise entspricht ja den Wahrheitswerten $t\!\,$, $f\!\,$, $\top$ und $\bot$; x und y können hier 0 oder 1 entsprechen.
   Insofern ist die Vertauschung sogar dasselbe wie die Negierung der einzelnen Komponenten. --Tur Faroth (Diskussion) 15:15, 28. Apr. 2015 (CEST)

Kein Kummutativgesetz für Disjunktion?

Falls die Wahrheitswerttafel für die Disjunktion so korrekt ist, ist A v B nicht immer das selbe wie B v A, was mir merkwürdig erscheint. (nicht signierter Beitrag von 46.127.2.196 (Diskussion) 17:26, 2. Dez. 2014 (CET))

Mir auch.--87.163.84.190 13:09, 30. Jan. 2015 (CET)

Wahrheitstabelle zur Starken Implikation

Die Zeile zu "Top" ist falsch.

Wahrheitstabelle zur Starken Implikation

In der Tat lautet die Zeile zu "Top" : (Bottom,Top,Top,Bottom)

Richtig müsste sie heißen : "(t,f,Top,Bottom)"

Das folgt aus der Definition auf https://core.ac.uk/download/pdf/82620153.pdf

Seite 3 und 4 :

Die designierten Werte sind D = {t,Top}

"a simp b = {b wenn a in D und t wenn a nicht in D}"

Ich habe Belnap in Python implementiert und erhalte für das unterste Beispiel

(die sechs Modelle zu P,V und F) nur identische Belegungs-Werte, wenn ich die

korrigierte Tabelle zu Grunde lege. --KI-Informatiker (Diskussion) 14:12, 19. Mär. 2023 (CET)