Diskussion:Belnaps vierwertige Logik

Letzter Kommentar: vor 1 Jahr von KI-Informatiker in Abschnitt Wahrheitstabelle zur Starken Implikation

Bei Wahrheitswerte steht "Mangel an Wissen" ist kleiner als "Mangel an Wissen" bezüglich des "Wissensgehaltes": müsste es nicht eher heißen: 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)Beantworten

Imkonsistenz ist BKL

Bearbeiten

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)Beantworten

Frage zur "Auswertung"

Bearbeiten

Hallo beisammen,

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

  •  

d.h. die Komponenten werden vertauscht.

Wird aber nicht stattdessen das   auf den Komponenten fortgesetzt ?

  •  

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)Beantworten


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)Beantworten

   Nein, die Komponentenschreibweise entspricht ja den Wahrheitswerten  ,  ,   und  ; 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)Beantworten

Kein Kummutativgesetz für Disjunktion?

Bearbeiten

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))Beantworten

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

Wahrheitstabelle zur Starken Implikation

Bearbeiten

Die Zeile zu "Top" ist falsch.

Wahrheitstabelle zur Starken Implikation

Bearbeiten

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)Beantworten