Tractatus

3.3441

É possível, por exemplo, exprimir do seguinte modo o que é comum a tôdas as notações para as funções de verdade: é-lhes comum, por exemplo, poderem ser substituídas pela notação “∼p” (“não p”) e “pq” (“p ou q”).