diff --git a/vanel/Matemática Discreta/1. Lógica proposicional.md b/vanel/Matemática Discreta/1. Lógica proposicional.md
index aee747d..5abca3e 100644
--- a/vanel/Matemática Discreta/1. Lógica proposicional.md	
+++ b/vanel/Matemática Discreta/1. Lógica proposicional.md	
@@ -70,16 +70,16 @@ Novas proposições podem ser construídas mediante o emprego de dois símbolos
 A expressão $p \land q$ (lê-se "p e q" ) é chamada **conjunção** de $p$ e $q$.
 
 - Exemplos:
-    1. $p:2 > 0$
-        $q:  2 \neq 1$
+    1. $p:2 > 0$  
+        $q:  2 \neq 1$  
         $p \land q: 2 > 0$ e $2 \neq 1$
-    2. $p: -2 < -1$
-        $q: (-2)^{2} < (-1)^{2}$
+    2. $p: -2 < -1$  
+        $q: (-2)^{2} < (-1)^{2}$  
         $p \land q: -2 < -1$ e $(-2)^{2} < (-1)^{2}$
  
 A conjunção $p \land q$ é verdadeira se $p$ e $q$ são ambas verdadeiras; se ao menos uma delas for falsa, então $p \land q$ é falsa.
 
-A tabela abaixo apresenta os valores lógicos de $a \land b$ para todos os valores lógicos possíveis dos elementos $a$ e $b$. Essa tabela é denominada tabela-verdade da preposição $p \land q$:
+A tabela abaixo apresenta os valores lógicos de $p \land q$ para todos os valores lógicos possíveis dos elementos $a$ e $b$. Essa tabela é denominada tabela-verdade da preposição $p \land q$:
 
 |  $p$   |  $q$   |  $p \land q$   |
 | :---: | :---: | :---: |