Belirli denklem terimlerinin rengini nasıl değiştirebilirim (Örneğin $P$) tüm metin için?

Dec 16 2020

Her zaman $P$lateks kodunu koyduğum gibi, mor renkte görünür) Bu kod: (Bakın, <= kısayolunu koymam gerekiyor . Belki de bu komutu her biri için düzeltmenin bir yolu vardır. yazdığım zaman.Lütfen yardım edin! İlginiz için teşekkürler.\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}

Yanıtlar

4 StevenB.Segletes Dec 16 2020 at 22:20

Bunu istediğiniz şekilde yapmayı savunmuyorum ( alternatif için EK'e bakın ), ancak yine de sağlamaya çalışıyorum. İşte, bir ortam var pitemizeki edebi örnekleri $P$ve $Q$onların mor benzerleriyle değiştirilir. (Hatta birlikte diğer karakterler içeren herhangi başka örneği Pve Q) hala belirtilen zorunda \purpleçağırma. Açıkçası, mavi çağrılar da burada ele alınmamaktadır.

Son olarak, bu eğer düzgün sadece edecek $P$ve $Q$üst düzey grubuna girer. Böylece, ben senin çağırmaları değiştirmek zorunda \textbf{...}için \bfseriesböylece, $P$ve $Q$çevrenin en üst düzey grubunda görünür.

Sorunuzdan bu yaklaşımın ihtiyaçlarınız için yeterli olup olmadığı belli değil.

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


EKLEME

Bence çeşitli renkleri açıp kapatmak için aktif karakterlerin kullanılması tercih edilebilir bir yöntem olacaktır. Burada !mor matematik modu ?için sınırlayıcılar ve metin modu mavi için sınırlayıcılar kullanıyorum.

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