Veel valetaja paradoksist
Karmo Talts
Vaatame väite X:Y on tõene tõeväärtustabelit.
X: Tr⌜Y⌝ Y
T T
V V
Vaatame nüüd väite X:Y on väär tõeväärtustabelit.
X:Fl⌜Y⌝ Y
T V
V T
Kohandame nüüd selle tabeli valetajalausele.
X:Fl⌜X⌝ X
T V
V T
Vaatame nüüd selle tähendust. Väide vormiga X:Y on väär eeldab, et X ja Y ei lange kokku.
Kommentaare ei ole:
Postita kommentaar