6.122 Il en résulte que nous pourrions aussi bien nous passer des propositions logiques, puisque, dans une notation convenable, nous pouvons déjà reconnaître les propriétés formelles des propositions à la seule inspection de celles-ci.