- Questo topic ha 3 risposte, 2 partecipanti ed è stato aggiornato l'ultima volta 17 anni, 1 mese fa da .
-
Topic
-
Salve. Io ho un piccolo problema; sto scrivendo alcune tavole di verità come segue:`
\documentclass{amsart}
\usepackage{simoncinigaramond}\newcommand{\uno}{$\text{1} \backslash \text{2}$}
\newcommand{\p}{\textit{p}}
\newcommand{\q}{\textit{q}}
\newcommand{\T}{\emph{T}}
\newcommand{\I}{\emph{I}}
\newcommand{\F}{\emph{F}}
\newcommand{\n}{\textit{n}}
\newcommand{\1}{\text{1}}
\newcommand{\2}{\text{2}}
\newcommand{\3}{\text{3}}
\newcommand{\4}{\text{4}}
\newcommand{\m}{\textit{m}}
\newcommand{\buno}{\textbf{1}}
\newcommand{\bdue}{\textbf{2}}
\newcommand{\btre}{\textbf{3}}\begin{document}
\renewcommand{\arraystretch}{1.25}
\begin{tabular}{c|c}
\p & $\neg \p$\\ \hline
0 & 1\\
1 & 0\\
\end{tabular}
\vspace{36pt}\renewcommand{\arraystretch}{1.25}
\begin{tabular}{cc|c}
\p & \q & $\p \to \q$\\ \hline
1 & 0 & 0\\
0 & 1 & 1\\
0 & 0 & 1\\
1 & 1 & 1\\
\end{tabular}
\vspace{36pt}\renewcommand{\arraystretch}{1.25}
\begin{tabular}{c|c}
\p & $\neg \p$\\ \hline
0 & 1\\
\uno & \uno\\
1 & 0\\
\end{tabular}
\vspace{36pt}\renewcommand{\arraystretch}{1.25}
\begin{tabular}{cc|c}
\p & \q & $\p \to \q$\\ \hline
0 & 0 & 1\\
0 & \uno & 1\\
0 & 1 & 1\\
\uno & 0 & \uno\\
\uno & \uno & 1\\
\uno & 1 & 1\\
1 & 0 & 0\\
1 & \uno & \uno\\
1 & 1 & 1\\
\end{tabular}
\vspace{36pt}\renewcommand{\arraystretch}{1.25}
\begin{tabular}{c|c}
\p & $\neg \p$\\ \hline
\T & \F\\
\I & \I\\
\F & \T\\
\end{tabular}
\vspace{36pt}
`Io vorrei scrivere sia le lettere che i numeri in Garamond tout-court, ma se cambio il font, mi dice che alcune forme non sono disponibili e non mi scrive in corsivo. Come mai?
Grazie,
davide
- Devi essere connesso per rispondere a questo topic.