  The next step of Prior’s argument was to appeal to Łukasiewicz’s 3-valued truth-table for \(\rightarrow\). According to the table, an indicative conditional with a false consequent and an indeterminate antecedent is not true but indeterminate: