para la disyunción (del alemán "oder", significa "o") en los primeros trabajos de Hilbert (1904); N para la negación, K para la conjunción, A para la disyunción, C para bicondicional en Łukasiewicz (1929).