我想编译这个,但遇到了困难。
\begin{multicols}{2}
\begin{enumerate}
\item\[\begin{array}{rl}
& p\land q\\
& p\\
\arrayrulecolor{red}\cline{2-2}
\therefore & q
\end{array}\]
\item\[\begin{array}{rl}
& p\rightarrow q\\
& q\rightarrow r\\
\arrayrulecolor{red}\cline{2-2}
\therefore & p\rightarrow r
\end{array}\]
\item\[\begin{array}{rl}
& p\\
\arrayrulecolor{red}\cline{2-2}
\therefore & p\lor q
\end{array}\]
% \item\[\begin{array}{rl}
%& p\lor q\\
%& p\rightarrow r\\
% & q\rightarrow s\\\arrayrulecolor{red}\cline{2-2}
%\therefore & r\lor s
% \end{array}/]
%\item[]Simplificaci\'on\\
%\item[]Silogismo Hipot\'etico\\
%\item[]Ley de adici\'on\\
% \item[]Silogismo Disyuntivo
\end{enumerate}
\end{multicols}
答案1
我猜您想要的是下面这样的东西,而不是尝试使用两列格式进行手动对齐。
\documentclass{article}
\usepackage{amsmath,amssymb}
\usepackage[table]{xcolor}
\newcommand{\deduction}[2][10em]{%
\makebox[#1][l]{$\begin{array}[t]{rl@{}}#2\end{array}$}%
\ignorespaces
}
\begin{document}
\begin{enumerate}
\arrayrulecolor{red}
\item
\deduction{
& p\land q\\
& p\\
\cline{2-2}
\therefore & q
}
Simplificación
\item
\deduction{
& p\rightarrow q\\
& q\rightarrow r\\
\cline{2-2}
\therefore & p\rightarrow r
}
Silogismo Hipot\'etico
\item
\deduction{
& p\\
\cline{2-2}
\therefore & p\lor q
}
Ley de adici\'on
\item
\deduction{
& p\lor q\\
& p\rightarrow r\\
& q\rightarrow s\\
\cline{2-2}
\therefore & r\lor s
}
Silogismo Disyuntivo
\arrayrulecolor{black}
\end{enumerate}
\end{document}
\arrayrulecolor
请注意全球的声明,所以每次重复它是没用的,但应该恢复正常颜色,除非你希望你的所有array
和tabular
规则都是红色的。
我添加了一个新命令,以便于不必一遍又一遍地重复相同的代码。
答案2
第四项我可以通过改变它来解决
从:
\[\begin{array}
\end{array}\]
到
$\begin{array}
\end{array}$
实际上,我不知道他为什么给我错误。
\documentclass{article}
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[spanish]{babel}
\usepackage{latexsym,amsmath,amssymb,amsfonts}
\usepackage{enumerate}
\usepackage{multicol}
\usepackage{multirow, array} % para las tablas
\usepackage{float} % para usar [H]
\begin{document}
\begin{multicols}{2}
\begin{enumerate}
\item[]\[\begin{array}{rl}
& p\land q\\
& p\\
\arrayrulecolor{red}\cline{2-2}
\therefore & q
\end{array}\]
\item[]\[\begin{array}{rl}
& p\rightarrow q\\
& q\rightarrow r\\
\arrayrulecolor{red}\cline{2-2}
\therefore & p\rightarrow r
\end{array}\]
\item[]\[\begin{array}{ll}
& p\\
\arrayrulecolor{red}\cline{2-2}
\therefore & p\lor q
\end{array}\]
\item[]$\begin{array}{rl}
& p\lor q \\
& p\rightarrow r \\
& q\rightarrow s \\
\arrayrulecolor{red}\cline{2-2}
\therefore & r\lor s
\end{array}$
\end{enumerate}
\end{multicols}
\end{document}