Update book/logical-structure/logical-equivalence.tex

book/logical-structure/logical-equivalence.tex

@@ -43,7 +43,7 @@ \subsection*{Equivalencia lógica de fórmulas proposicionais}
 \begin{itemize}
 \item Primeiro assuma que p∧(q∨r)p \wedge (q \vee r) é verdade. Então pp é verdade e q∨rq \vee r é verdade pela definição de conjunção. Pela definição de disjunção, qualquer qq é verdade ou rr é verdade.
 \begin{itemize}
-\item Se qq é verdade, entãi p∧qp \wedge q é verdade pela definição de conjunção.
+\item Se $q$ é verdade, então $p \wedge q$ é verdade pela definição de conjunção.
 \item Se $r$ é verdade, então $p \wedge r$ é verdade pela definição de conjunção.
 \end{itemize}
 Em ambos os casos nós temos que $(p \wedge q) \vee (p \wedge r)$ é verdade pela definição de conjunção.