Tractatus

5.513

On pourrait dire : ce qui est commun à tous les symboles qui affirment à la fois p et q, c’est la proposition « p . q ». Ce qui est commun à tous les symboles qui affirment p ou q, c’est la proposition « p ∨ q ».