Following Lukasiewicz, we argue that future non-certain events should be described with the use of many-valued, not 2-valued logic. The Greenberger - Horne - Zeilinger 'paradox' is shown to be an artifact caused by unjustified use of 2-valued logic while considering results of future non-certain events. Description of properties of quantum objects before they are measured should be performed with the use of propositional functions that form a particular model of infinitely-valued Lukasiewicz logic. This model is distinguished by specific operations (...) of negation, conjunction and disjunction that are used in it. (shrink)