5.45 Se vi sono segni logici primitivi, una logica corretta deve render chiara la loro posizione reciproca e giustificare la loro esistenza. Deve divenire chiara la costruzione della logica a partire dai suoi segni primitivi.