5.515

Il doit se montrer dans nos symboles que ce qui est combiné par « ∨ », « . », etc., ce doit être des propositions.