排中律用公式可以表示为什么（）？

排中律，指在同一个思维过程中，两种思想不能同假，其中必有一真，即“要么A要么非A”，是形式逻辑的基本规律之一。排中律要求在同一思维过程中，不能对不能同假的命题（矛盾关系、反对关系）同时加以否定。比如有一块空地可以种庄稼，甲、乙两人讨论这块地该种什么庄稼好。甲一会儿说应该种玉米，一会儿又说不应该种玉米。针对甲的说法，乙说： “你的两种意见，我都不同意。”在这里，甲的说法就违反了矛盾律的要求，犯了“自相矛盾”的错误，因为他同时肯定了这块空地“应该种玉米”和“不应该种玉米”这两个相互矛盾的判断。而针对甲的说法，乙的说法就违反了排中律的要求，因为排中律认为两个互相矛盾的判断不能同假，而乙恰好断定上述两个判断都是假的。也就是说：这块地要不就是应该种玉米，要不就是不应该种玉米，二者必有其一。

1、通用格式，用数学符号表示，各个量之间的一定关系(如定律或定理)的式子，能普遍应用于同类事物的方式方法。2、公式，在数学、物理学、化学、生物学等自然科学中用数学符号表示几个量之间关系的式子。具有普遍性，适合于同类关系的所有问题。在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑): 公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数(arity）来指示它所接受的参数的数目。