Submit your Logic Translation Homework: https://logic.fudan.edu.cn/logictranslation
Some LaTeX Logic Symbols
- \(\neg\)：
\negor\lnot - \(\vee\)：
\veeor\lor - \(\wedge\)：
\wedgeor\land - \(\rightarrow\)：
\rightarrowor\to - \(\leftrightarrow\)：
\leftrightarrow - \(\forall\)：
\forall - \(\exists\)：
\exists