Otro gran logro de Łukasiewicz fue una notación no ambigua para la lógica proposicional, suficiente para permitir la eliminación de paréntesis y otros signos usados para determinar el alcance de los conectivos lógicos.