La siguiente tabla muestra el núcleo de la notación para la lógica de sentencias de Jan Łukasiewicz.