5.515

É preciso indicar que, em nossos símbolos, o que é ligado mùtuamente por “∨”, “.”, etc., deve ser proposições.