A symbol employed in a formal Propositional Calculus.
References
Nidditch, P. H. Propositional Calculus. New York: Free Press of Glencoe, p. 1, 1962.
数学辞典收录了8975条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。