我最常看到$\lor$和$\land$分别用于格中的连接和交运算，然而，我正在写的东西同时使用了符号逻辑和特定的格，因此我已经在使用这些运算来表达逻辑的合取/析取，但不确定要用什么来表示连接/交。例如，我不想使用$\cup$和，$\cap$因为我认为这可能会导致与集合混淆或导致一些无意识的错误，我将它们视为它们的集合对应部分，即，尽管没有处理分配格，但我可能会意外地将它们相互分配，同样出于类似的原因，我宁愿不使用$\sqcup$和，$\sqcap$因为我经常将后者用于“不相交”的并集或余积。考虑到所有这些，我可以使用哪些标准替代方案来在格中进行连接/交？
答案1
你不应该在格子中使用\lorand进行操作。有语义上更好的名称\land
\vee \wedge
和保留\lor以及\land形式逻辑公式。顺便说一下，“Vee”和“Wedge”是格中运算的通用名称。
是的，它们通常指向相同的符号，而且 LaTeX 内核确实如此
\DeclareMathSymbol{\wedge}{\mathbin}{symbols}{"5E}
\DeclareMathSymbol{\vee}{\mathbin}{symbols}{"5F}
\DeclareMathSymbol{\land}{\mathbin}{symbols}{"5E}
\DeclareMathSymbol{\lor}{\mathbin}{symbols}{"5F}
\vee但是，使用语义更合理的名称允许您通过重新定义和来更改格符号的表示形式\wedge。
例如，您可以使用\curlyvee和\curlywedge来自amssymb：
\usepackage{amssymb}
进而
\renewcommand{\vee}{\curlyvee}
\renewcommand{\wedge}{\curlywedge}
因此，如果您以后改变主意，您可以随时删除重新定义或采用不同的定义。
如果愿意的话，您可以采用以下名称\join和：\meet
\newcommand{\join}{\curlyvee}
\newcommand{\meet}{\curlywedge}
但想法是一样的。