5.515

Se debe mostrar en nuestros símbolos, que lo que está conectado mutuamente mediante «∨», «.», etc. deben ser proposiciones.