5.515

Deve mostrarsi nei nostri simboli che ciò che è collegato da «∨», «.», ecc. devono essere proposizioni.