标题中的两个符号不起作用，我不知道发生了什么。这是我第一次使用 latex，所以我很困惑。另外，有人可以教我怎么做吗make a bullet like the one in Microsoft Word？这是我的文本：
%% logical symbols
% \land /\
% \lor \/
% \lnor (negation)
% \to ->
% \lequiv <->
% \models |=
...
\begin{solution}
$$(P \to (\lnot Q \land R)) \land (P \to \lnot Q)$$
$${With: \hspace{1cm} (\lnot P \lor \lnot Q) \land (\lnot P \lor R) \land (\lnot P \lor \lnot Q)}$$
$${
Without : T1 \lequiv T2 \land T4 \\
– T2 \lequiv P \to T3 \\
– T3 \lequiv \lnot Q \land R \\
– T4 \lequiv P \to \lnot Q \\
– F1 : (T1 \land T2 \land T4) \lor (\lnot T1 \land :T2) \lor (\lnot T1 \land \lnot T4) \\
– F2 : (T2 \land \lnot P) \lor (T2 \land T3) \lor (\lnot T2 \land P \land \lnot T3) \\
– F3 : (T3 \land \lnot Q \land R) \lor (\lnot T3 \land Q) \lor (\lnot T3 \land \lnot R) \\
– F4 : (T4 \land \lnot P) \lor (T4 \land \lnot Q) \lor (\lnot T4 \land P \land Q) \\
Final result: T1 \land F1 \land F2 \land F3 \land F4 }$$
\end{solution}
答案1
$$不是 latex 语法，但如果你使用它，它本质上与\[...\]单行显示相同，你不能用它\\来获取多行。
使用该amsmath包和align或类似的环境进行多行显示。
很难猜出预期的布局，但
\documentclass{article}
\usepackage{amsmath,amssymb}
\newcommand\lequiv{\iff}
\begin{document}
\begin{align*}
&(P \to (\lnot Q \land R)) \land (P \to \lnot Q)\\
\text{With}:&\, (\lnot P \lor \lnot Q) \land (\lnot P \lor R) \land (\lnot P \lor \lnot Q)\\
\text{Without}:&\, T1 \lequiv T2 \land T4 \\
&\,T2 \lequiv P \to T3 \\
&\,T3 \lequiv \lnot Q \land R \\
&\,T4 \lequiv P \to \lnot Q \\
F1 :&\, (T1 \land T2 \land T4) \lor (\lnot T1 \land :T2) \lor (\lnot T1 \land \lnot T4) \\
F2 :&\, (T2 \land \lnot P) \lor (T2 \land T3) \lor (\lnot T2 \land P \land \lnot T3) \\
F3 :&\, (T3 \land \lnot Q \land R) \lor (\lnot T3 \land Q) \lor (\lnot T3 \land \lnot R) \\
F4 :&\,(T4 \land \lnot P) \lor (T4 \land \lnot Q) \lor (\lnot T4 \land P \land Q) \\
\text{Final result}:&\, T1 \land F1 \land F2 \land F3 \land F4
\end{align*}
\end{document}