Como posso alterar a cor de termos específicos da equação (por exemplo $P$) para todo o texto?

Dec 16 2020

Tipo, para sempre que coloco $P$o código látex, ele aparece com a cor roxa) Este é o código: (Olha que preciso colocar <= que é um atalho para . Talvez haja uma maneira de corrigir esse comando para cada vez que digito . Por favor, ajude! Obrigado pela atenção.\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}

Respostas

4 StevenB.Segletes Dec 16 2020 at 22:20

Não defendo fazer da maneira que você solicitou (veja a alternativa em SUPLEMENTO ), mas tento fornecê-lo mesmo assim. Aqui, eu tenho um ambiente pitemizeno qual instâncias literais de $P$e $Q$são substituídas por suas contrapartes roxas. Qualquer outra instância envolvendo outros personagens (mesmo em conjunção com Pe Q) ainda deve ser especificada com a \purpleinvocação. Obviamente, invocações azuis também não são tratadas aqui.

Por último, isso só vai funcionar corretamente se $P$e $Q$estão no grupo de nível superior. Portanto, tive que alterar suas invocações de \textbf{...}para \bfseries, para que $P$e $Q$aparecesse no grupo de nível superior do ambiente.

Não ficou claro com sua pergunta se esta abordagem é suficiente para suas necessidades.

\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}


SUPLEMENTO

Acho que um método preferível seria o uso de caracteres ativos para ligar e desligar várias cores. Aqui eu uso !delimitadores para roxo em modo matemático e ?delimitadores para azul em modo de texto.

\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}