Peirce, id. t. 3, pag

-a signifie « non a ». L'idée de la négation est primitive et déterminée par deux propositions primitives PI, 3. On définit en conséquence le signe ^ (P6), et le signe a (§ 3 PI).

3. J. A. Segner, Spécimen logicae universaliter demonstr.^ 1740 :

« Si ic ponatur pro non triangulo, — x erit trîangulum » (J. Venn, Symbolic Logic, 1881, pag. 184).

6, 7, 8. AuG. De Morgan, On the syllogism, Cambridge Phil. Transactions, 1858.