Veel valetaja paradoksist

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.