1 CONTENIDO

2 Lógica Proposicional: ............................................................................................................. 2

2.1 Proposición o enunciado ............................................................................................... 2
2.1.1 Ejemplos: ............................................................................................................... 2
2.1.2 Ejemplos que NO son proposiciones:.................................................................... 2
2.2 Conectores lógicos:........................................................................................................ 2
2.2.1 Negación:............................................................................................................... 2
2.2.2 Conjunción: ........................................................................................................... 3
2.2.3 Disyunción: ............................................................................................................ 3
2.2.4 Condicional: ........................................................................................................... 3
2.2.5 Bicondicional: ........................................................................................................ 3
3 Conectores lógicos ................................................................................................................ 4
3.1 Negación........................................................................................................................ 4
3.2 Conjunción: .................................................................................................................... 4
3.3 Disyunción: .................................................................................................................... 5
3.4 Condicional: ................................................................................................................... 5
3.5 Bicondicional: ................................................................................................................ 5
4 Tablas de verdad: .................................................................................................................. 6
4.1 Tabla de verdad con “conjunción”. ............................................................................... 6
4.2 Tablas de verdad con “Disyunción”: ............................................................................. 7
4.3 Tablas de verdad con “negación”:................................................................................. 7
4.4 Tablas de verdad con “Condicional”: ............................................................................ 8
4.5 Tablas de verdad con “Bicondicional”:.......................................................................... 8
Lógica Matemática
Estudia los procedimientos para distinguir si un razonamiento es verdadero o falso (correcto o
incorrecto).

2 LÓGICA PROPOSICIONAL:

2.1 PROPOSICIÓN O ENUNCIADO

Las proposiciones o enunciados son oraciones que puede ser verdadera o falsa. Las
proposiciones pueden ser preguntas, pero no todas las preguntas son proposiciones. Solo las
preguntas que se pueden responder con "sí o no" o "verdadero y falso" pueden ser
proposiciones.

2.1.1 Ejemplos:
• 5 es mayor que 3
• Argentina está en América del sur
• Mañana lloverá
• 8 es un número par

2.1.2 Ejemplos que NO son proposiciones:

• ¿Cuál es tu nombre?
• ¡Ayuda!

Las proposiciones se pueden designar como variables con letras para no escribir la forma larga.
Las letras más usadas son: p, q, s, t;

Hay que respetar si se escribe de forma mayúscula o minúscula.

Además de usar las letras, se pueden usar subíndices para mantener la misma letra.

Ejemplo p1: P subíndice 1

2.2 CONECTORES LÓGICOS:

Las variables de proposición se pueden conectar con conectores lógicos. A continuación se
detallarán los mismos:

2.2.1 Negación:
Negación de una proposición. Se puede interpretar como “no” o “Falso”.

• “~” Combinación: (alt gr + "+") o (alt+126)

• “¬” Combinación: (alt gr + "tecla al lado del 1)
• “/” Combinación: (ctrl + 7)

Ejemplos de negación:
• p: Regalar flores
• ¬p (No te voy a regalar flores)
2.2.2 Conjunción:
La conjunción se utiliza como conector y reemplazo para "y", "and". Su símbolo es el "^" (altgr +
"{").

Ejemplo:

• p: Ensalada de papas
• q: huevo

p ^q (“Ensalada de papas y huevo”)

2.2.3 Disyunción:
La disyunción es un conector para dar dos opciones. Vendría siendo reemplazo para la "o", "or".
Su símbolo es el "||" o "v" o "⊻".

Ejemplo:

• p: Comer papas
• q: Comer zanahorias

p v q (Comer papas o comer zanahorias)

2.2.4 Condicional:
Se representa con una flecha ("->"). Representa "Entonces".

• p: Si llueve
• q: me mojo
• p -> q ("Si llueve ENTONCES me mojo")

2.2.5 Bicondicional:
Se representa con una flecha doble y representa "Si y solo Sí". (<->)

Ejemplo:

• p: Se me va la sed
• q: tomo agua
• p <-> q ("Se me va la sed SÍ Y SOLO SÍ tomo agua")
3 CONECTORES LÓGICOS
Para comprender mejor el uso de los conectores lógicos, acá hay unos ejemplos:

3.1 NEGACIÓN
Variables preposicionales:

• p: Voy a ir al cine
• q: Voy a jugar al fútbol
• r: Te regalo flores
• s: Te regalo caramelos
• t: Está lloviendo
• u: Está nublado
• x: El número 2 es par

Para escribir la negación de forma normal, siempre vamos a usar el “Es falso que…” o “No…”
depende del contexto.

a) “No voy a ir al cine” se escribe de esta forma: “~p” o “¬p”.

b) “No voy a ir a jugar fútbol”: “¬q” o “~q”
c) “No te regalo flores”: “¬r” o “~r”
d) “No está nublado y no está lloviendo”: “¬u ^ ¬t”
e) “El número 2 NO es par” o “es falso que el número 2 es par”: ¬x

La negación es la única proposición que se puede utilizar 2 veces.

• Es falso que NO está lloviendo: ¬¬t

Al hacer dos negaciones, se pueden eliminar ya que sería positivo:

• ¬¬t = t
• Es falso que no está lloviendo = está lloviendo

3.2 CONJUNCIÓN:
Se lee como una “y” o “and” y se utiliza como conector entre proposiciones.

Variables preposicionales:
• p: Voy a ir al cine
• q: Voy a jugar al fútbol
• r: Te regalo flores
• s: Te regalo caramelos
• t: Está lloviendo
• u: Está nublado
• x: El número 2 es par

Ejemplos:

a) “Te regalo flores y caramelos” se escribe de esta forma: r ^ s

b) “Está nublado y está lloviendo” se escribe así: u ^ t
3.3 DISYUNCIÓN:
La disyunción es para elegir entre 2 variables proposicionales. Se lee como “o”, “or” en inglés.

Ejemplos:
a) “Voy a ir al cine o a jugar fútbol” se escribe: p V q
b) “Te regalo flores o caramelos” se escribe: r V s

3.4 CONDICIONAL:
Es una condicional simple con “entonces…”

Ejemplos:
a) “Está lloviendo, entonces está nublado” se escribe: t -> u

3.5 BICONDICIONAL:
El operador bicondicional significa “sí y solo sí”.

Ejemplos:
b) “Está lloviendo si y solo sí está nublado” se escribe: t <-> u
c) “Voy al cine si y solo sí voy a jugar al fútbol”: se escribe p <-> q

Ejercicios para prácticar:

Variables preposicionales:
• p: Voy a ir al cine
• q: Voy a jugar al fútbol
• r: Te regalo flores
• s: Te regalo caramelos
• t: Está lloviendo
• u: Está nublado
• x: El número 2 es par

Convertir a texto:

• ¬p ^ q: “No voy a ir al cine y a jugar fútbol”.

• r V ¬ s: “Te regalo flores o no te regalo caramelos”.
• p -> ¬q: “Voy a ir al cine, entonces no voy a jugar fútbol”.
• ¬u -> ¬t: “NO está nublado, entonces NO está lloviendo.”
4 TABLAS DE VERDAD:

4.1 TABLA DE VERDAD CON “CONJUNCIÓN”.

• p: Te regalo flores
• q: Te regalo caramelos

“Te regalaré flores y dulces.”

Primero, para saber el número de filas que va a tener nuestra tabla de verdad, hay que realizar
una operación sencilla:

2𝑛 = 𝑛° 𝑑𝑒 𝑓𝑖𝑙𝑎𝑠
Donde “n” es el número de variables proposicionales que tenemos.

Con el cálculo ya realizado, tenemos que hacer una tabla con el n° de filas que obtuvimos más
una, donde van las proposiciones.

p q p^q
V V V
V F F
F V F
F F F

Dentro de las casillas se escriben los valores verdaderos y falsos.

1. En las casillas del primer valor “p”, escribimos la mitad verdadero y el resto falso. A no
ser que se indique “¬p”, en ese caso es al revés.
2. En la segunda casilla “q” lo mismo, solamente que se intercala de uno en uno. Esto se
hace para combinar las opciones y ver que pasa cuando es verdadero y falso,
verdadero y verdadero, falso y falso;
3. En la tercera casilla se coloca la operación, en este caso “p ^ q” y se analiza si el
enunciado se cumple o no.
4.2 TABLAS DE VERDAD CON “DISYUNCIÓN”:
Ahora veamos un ejemplo con la disyunción, o el operador “Or”.

• p: Te doy ropa
• q: Te doy plata

La frase completa es “Te doy ropa o te doy plata”

Hacemos el cálculo para el n° de filas: 22 = 4

Tabla de verdad con disyunción:

p q pVq
V V Verdadero
V F Verdadero
F V Verdadero
F F Falso
IMPORTANTE:
Al ser el operador de disyunción, cuando un valor es verdadero y el otro es falso se toma como
verdadero. Esto es porque se da 2 opciones con el operador “or” y no es necesario que las 2
opciones se cumplan.

4.3 TABLAS DE VERDAD CON “NEGACIÓN”:

La negación es el único donde se puede utilizar una sola variable proposicional. Además de que
es el único operador que se puede escribir 2 veces.
• p: Tengo frío
• ¬p: No tengo frío
• ¬(¬p): Es falso que NO tengo frío
Calculamos: 21 = 2
p ¬p ¬¬p
V F V
F V F
Como solo tenemos 2 casillas, la mitad es verdadera y la otra mitad falsa.
4.4 TABLAS DE VERDAD CON “CONDICIONAL”:
Ahora veamos un ejemplo con la disyunción, o el operador “Entonces”.

• p: Si llueve
• q: Me mojo
• p -> q: Si llueve entonces me mojo

Cálculo de filas: 22 = 4

p q p -> q
V V Verdadero
V F Falso
F V Verdadero
F F Verdadero

Explicación de resultados:
1. Es verdadero porque Si llovió y Si me mojé
2. Es falso porque Si llovió y Sí me mojé
3. Es verdadero porque No llovió, pero Sí me mojé. Se toma por verdadero ya que el
“Entonces” se cumple. Para que no se cumpla tiene que ser “Si y solo si”.
4. Es verdadero porque ninguna de las 2 se cumple.
Importante:
La regla básica de la condicional es que una implicación "p -> q" se considera falsa solo en el
caso en que la premisa "p" sea verdadera y la conclusión "q" sea falsa. En todos los demás casos,
la implicación se considera verdadera.

4.5 TABLAS DE VERDAD CON “BICONDICIONAL”:

Tablas de verdad con bicondicional o “Si y solo sí”
• p: Voy a comprar
• q: Tengo plata
• p <-> q: Voy a comprar si y solo sí tengo plata
p q p <-> q
V V Verdadero
V F Falso
F V Falso
F F Verdadero
Importante:
Se puede tomar como la ley de signos de las matemáticas:
• Positivo + positivo = positivo
• Positivo + negativo = negativo
• Negativo + positivo = negativo
• Negativo + negativo = positivo
Ejercicio:
p q pVq p^q p -> q p <-> q ¬p ¬q
V V Verdadero Verdadero Verdadero Verdadero Falso Falso
V F Verdadero Falso Falso Falso Falso Verdadero
F V Verdadero Falso Verdadero Falso Verdadero Falso
F F Falso Falso Verdadero Verdadero Verdadero Verdadero