Valetajalause kui ekvivalentsusväide

Valetajalause kui ekvivalentsusväide 

Karmo Talts

 

Tõlgendame valetajalauset ekvivalentsusväitena "X on ekvivalentne väitega „X on väär”".

Vaatame nüüd selle ekvivalentsusväite tõeväärtustabelit.

X Fl⌈X⌉ X → Fl⌈X⌉ Fl⌈X⌉ → X X⇔ Fl⌈X⌉

T V          V                  T                  V

V T          T                  V                  V

Nagu me näeme, on väide "X on ekvivalentne väitega „X on väär”" paratamatult väär.