就像,我总是$P$
在乳胶代码中输入它,它会以紫色显示)这是代码:(看,我需要输入\purple{$Q$}
<=,这是 的快捷方式\textcolor{purple}{$Q$}
。也许有一种方法可以在我每次输入 时修复此命令$P$
。请帮忙!感谢您的关注。
\begin{itemize}
\item \justifying \textbf{\purple{$\Rightarrow$: $(P \Rightarrow Q) \Rightarrow $}\purple{($P \rightarrow Q$ \textcolor{black}{tautológica})}: Se \purple{$P$} \blue{implica logicamente} \purple{$Q$}, por definição, \purple{$Q$} é \blue{verdadeira} todas as vezes que \purple{$P$} é \blue{verdadeira}. Assim, os valores lógicos das proposições \purple{$P$} e \purple{$Q$} não podem ser simultaneamente e respectivamente \blue{$V$} e \blue{$F$}. Logo, a coluna resultante da tabela de verdade da condicional \purple{$P \rightarrow Q$} tem somente o valor \blue{$V$}. Logo, por definição, se \purple{$P$} então \purple{$Q$} é tautológica.}
\item \justifying \textbf{\purple{$\Leftarrow$}: \purple{($P \rightarrow Q$ \textcolor{black}{tautológica})$\Rightarrow$($P \Rightarrow Q$)} Reciprocamente, se \purple{$P$} então \purple{$Q$} é tautológica, a coluna resultante da sua tabela de verdade tem somente valor \blue{$V$}. Então não ocorre que os valores lógicos das proposições \purple{$P$} e \purple{$Q$} sejam simultaneamente e respectivamente \blue{$V$} e \blue{$F$}. Logo, por definição, \purple{$P$} implica logicamente \purple{$Q$}.}
\end{itemize}
答案1
我不主张按照你要求的方式去做(见补充作为替代方案),但我还是尝试提供它。在这里,我有一个环境,pitemize
其中文字$P$
和的实例$Q$
被替换为紫色的对应项。涉及其他字符的任何其他实例(即使与P
和结合Q
)仍必须在\purple
调用时指定。显然,蓝色调用也不在此处讨论。
$P$
最后,只有当和$Q$
位于顶级组中时,此功能才能正常运行。因此,我不得不将您的 调用更改\textbf{...}
为\bfseries
,以便$P$
和$Q$
出现在环境的顶级组中。
从您的问题中无法清楚看出这种方法是否能满足您的需要。
\documentclass[a4paper,12pt]{article}
\usepackage[utf8]{inputenc}
\usepackage{xcolor,listofitems,environ}
\NewEnviron{pitemize}{%
\setsepchar{$P$||$Q$}%
\readlist\Myenv{\BODY}%
\begin{itemize}
\foreachitem\z\in\Myenv[]{%
\ifnum\zcnt=1\relax\else\textcolor{purple}{\Myenvsep[\zcnt-1]}\fi
\z
}%
\end{itemize}
}
\newcommand\purple[1]{\textcolor{purple}{#1}}
\newcommand\blue[1]{\textcolor{blue}{#1}}
\def\justifying{}
\begin{document}
\begin{pitemize}
\item \justifying \bfseries\purple{$\Rightarrow$: $(P \Rightarrow Q) \Rightarrow $}\purple{($P \rightarrow Q$ \textcolor{black}{tautológica})}: Se $P$ \blue{implica logicamente} $Q$, por definição, $Q$ é \blue{verdadeira} todas as vezes que $P$ é \blue{verdadeira}. Assim, os valores lógicos das proposições $P$ e $Q$ não podem ser simultaneamente e respectivamente \blue{$V$} e \blue{$F$}. Logo, a coluna resultante da tabela de verdade da condicional \purple{$P \rightarrow Q$} tem somente o valor \blue{$V$}. Logo, por definição, se $P$ então $Q$ é tautológica.
\item \justifying \bfseries\purple{$\Leftarrow$}: \purple{($P \rightarrow Q$ \textcolor{black}{tautológica})$\Rightarrow$($P \Rightarrow Q$)} Reciprocamente, se $P$ então $Q$ é tautológica, a coluna resultante da sua tabela de verdade tem somente valor \blue{$V$}. Então não ocorre que os valores lógicos das proposições $P$ e $Q$ sejam simultaneamente e respectivamente \blue{$V$} e \blue{$F$}. Logo, por definição, $P$ implica logicamente $Q$.
\end{pitemize}
\end{document}
补充
我认为更好的方法是使用活动字符来打开和关闭各种颜色。这里我使用!
数学模式分隔符紫色和?
文本模式分隔符蓝色。
\documentclass[a4paper,12pt]{article}
\usepackage{environ}
\usepackage{xcolor}
\def\justifying{}
{
\catcode`!=\active\gdef!#1!{\textcolor{purple}{$#1$}}
\catcode`?=\active\gdef?#1?{\textcolor{blue}{#1}}
}
\newenvironment{pitemize}
{\catcode`!=\active\catcode`?=\active\begin{itemize}}{\end{itemize}}
\begin{document}
\begin{pitemize}
\item \justifying \textbf{!\Rightarrow$: $(P \Rightarrow Q) \Rightarrow (P \rightarrow Q! tautológica!)!: Se !P! ?implica logicamente? !Q!, por definição, !Q! é ?verdadeira? todas as vezes que !P! é ?verdadeira?. Assim, os valores lógicos das proposições !P! e !Q! não podem ser simultaneamente e respectivamente ?$V$? e ?$F$?. Logo, a coluna resultante da tabela de verdade da condicional !P \rightarrow Q! tem somente o valor ?$V$?. Logo, por definição, se !P! então !Q! é tautológica.}
\item \justifying \textbf{!\Leftarrow!: !(P \rightarrow Q! tautológica!)\Rightarrow(P \Rightarrow Q)! Reciprocamente, se !P! então !Q! é tautológica, a coluna resultante da sua tabela de verdade tem somente valor ?$V$?. Então não ocorre que os valores lógicos das proposições !P! e !Q! sejam simultaneamente e respectivamente ?$V$? e ?$F$?. Logo, por definição, !P! implica logicamente !Q!.}
\end{pitemize}
\end{document}