A Note on Lukasiewics Three-Valued Logic