Как я могу изменить цвет определенных членов уравнения (например, $P$) за весь текст?

Dec 16 2020

Например, если я всегда вставляю $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}

Ответы

4 StevenB.Segletes Dec 16 2020 at 22:20

Я не рекомендую делать это так, как вы просите ( альтернативные варианты см. В ПРИЛОЖЕНИИ ), но я все равно стараюсь это делать. Здесь у меня есть среда, pitemizeв которой буквальные экземпляры $P$и $Q$заменяются их фиолетовыми аналогами. Любой другой экземпляр, включающий другие символы (даже в сочетании с Pи Q), все равно должен быть указан при \purpleвызове. Очевидно, синие призывы здесь также не рассматриваются.

Наконец, это будет работать правильно, только если $P$и $Q$находится в группе верхнего уровня. Таким образом, мне пришлось изменить ваши вызовы \textbf{...}to \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}