Lekcja: "043. Traktat logiczno - filozoficzny L. Wittgensteina"
Teza 6 Traktatu
Ludwig Wittgenstein i Francis Skinner w Cambridge.
Teza 6 definiuje podstawową formę wszelkich zdań. Trudność z jej zrozumieniem wynika głównie z nietypowego zapisu zastosowanego przez Wittgensteina (), w którym:
P- oznacza wszystkie zdania atomowe,
ξ - oznacza wszelkie dowolne podzbiory zdań,
N (ξ) oznacza negację zdań tworzących podzbiory ξ .
Właściwe znaczenie tezy 6 jest matematycznie równoważne twierdzeniu głoszącemu, że wszelkie zdania logiczne mogą być sprowadzone do ciągu operacji nand. /NAND - funkcja realizująca zaprzeczoną koniunkcję (NOT AND) - jej wartością jest fałsz wtedy i tylko wtedy, gdy wartością obu argumentów jest prawda.
NAND jest zanegowaną koniunkcją (stąd nazwa):
a NAND b = NOT (a AND b)
NAND jest również równoważna alternatywie logicznej negacji:
a NAND b = (NOT a) OR (NOT b) na odpowiedniej liczbie zdań atomowych./