Clase Nº 1 Lógica Proposicional Ing.

Edgar Alberto Iriarte Mercado

1. Concepto: Una de las metas fundamentales de la lógica proposicional o

simbólica es eliminar las ambigüedades del lenguaje ordinario, introduciendo
símbolos y conectivos en la construcción de proposiciones.

¿Es que acaso nuestro lenguaje corriente, común u ordinario tiene

ambigüedades? Efectivamente pues si solamente hablamos, nuestros oyentes
pueden entender de diferentes formas, por ejemplo:

1) Si decimos cuánto es la mitad de dos más dos. La respuesta puede ser 2 o 3

1 1
pero si anotamos no habría confusión: 2 (2 + 2) = 2 𝑜 2 (2) + 2 = 3

2) Llevare lo que sobro para el perro de mi casa. Que podemos entender, ¿es
para el animalito de la casa? o ¿para quién?

a) Proposición: Colección de palabras, números o símbolos, de los cuales

tiene sentido indicar si es verdadero (V) o falso (F), es decir, toda
proposición está asociada a un valor de verdad, por tanto, debe ser una
afirmación. A las proposiciones que tienen un valor de verdad conocido
(V o F), se los llama enunciados.

Ejemplos: Dadas las siguientes expresiones, indique cuales son

proposiciones: Proposiciones (p); No proposiciones (?)

Los gatos ladran (p) El bachiller de cerebro virgen (?)

2 es un número primo (p) 4 + 32 = (5) (4) – 14 / 2 (p)

El sol saldrá mañana (p) (2) (1) + (2) (2) + (2)(3) + (2)(4) (?)

5 + (2) (4) = 13 (p) ¡Hola, como estás! (?)

(+)(–) = (+) (p) 3 es mayor que 5 (p)

Tome dos aspirinas (?) a+bb+a (p)

El perro de mi amigo (?) 8+3–6 (?)

¿Habla usted inglés? (?) (3)(5) > 22 + 9 (p)

Las hojas verdes del árbol (?) (+) (+) > (+)(–) (p)

Toda proposición debe tener un verbo, las ordenes, las preguntas o las
exclamaciones no son proposiciones.
Clase Nº 1 Lógica Proposicional Ing. Edgar Alberto Iriarte Mercado

2. Representación de Proposiciones y Valores de Verdad:

a) Proposiciones Simples, Genéricas o Atómicas. Se denotan o

representan con letras minúsculas p, q, r, s,......etc.

Determina el valor de verdad de las siguientes proposiciones:

p: 2 es múltiplo de 3 (F)

q: El símbolo del agua es H2 O (V)

r: 32 – 1 = 23 (V)

s: El hombre es el arquitecto de su propio destino (V)

b) Proposiciones Compuestas o Moleculares. Son combinaciones de

proposiciones simples, mediante conectivos lógicos cuyo valor de verdad se
determina a partir del valor de verdad de las proposiciones simples y de
acuerdo con el conectivo lógico.

Indica las proposiciones simples (No podemos pedir simbolizar y hallar valor
de verdad pues aun no conocemos).

𝑝: 3 𝑒𝑠 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 2
1) 3 es mayor que 2 y divide a 6 {
𝑞: 3 𝑑𝑖𝑣𝑖𝑑𝑒 𝑎 6

𝑝: 15 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 5
2) 15 es múltiplo de 5 o de 3 {
𝑞: 15 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 3

𝑝: 𝐿𝑙𝑢𝑒𝑣𝑒
3) Si llueve entonces hace frio {
𝑞: 𝐻𝑎𝑐𝑒 𝑓𝑟𝑖𝑜

𝑝: 𝑆𝑒𝑟á𝑠 𝑙𝑖𝑏𝑟𝑒
4) Serás libre si y solo si estudias {
𝑞: 𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑠

𝑝: 𝐿𝑎 𝑐𝑎𝑝𝑖𝑡𝑎𝑙 𝑑𝑒 𝐵𝑜𝑙𝑖𝑣𝑖𝑎 𝑒𝑠 𝐿𝑎 𝑃𝑎𝑧

5) La capital de Bolivia es La Paz o Sucre{
𝑞: 𝐿𝑎 𝑐𝑎𝑝𝑖𝑡𝑎𝑙 𝑑𝑒 𝐵𝑜𝑙𝑖𝑣𝑖𝑎 𝑒𝑠 𝑆𝑢𝑐𝑟𝑒

Si observan existen 2 proposiciones compuestas con la letra “o”, en el

lenguaje común son indistintas pero en el lenguaje simbólico debemos
diferenciar la “o inclusiva”, que acepta una u otra o ambas proposiciones
simples, en tanto la “o exclusiva”, acepta una u otra pero no ambas.
Clase Nº 1 Lógica Proposicional Ing. Edgar Alberto Iriarte Mercado

c) Fórmulas proposicionales. Si bien son también proposiciones

compuestas se denominan de esta forma porque son la combinación de
varias proposiciones simples y varios conectivos lógicos.

Damos algunos ejemplos de fórmulas proposicionales y que podrían tener

más proposiciones simples y conectivos. Indicar las proposiciones simples.

1) Si Pablo no ha venido entonces no ha recibido la carta o no está

interesado en el asunto.

p: Pablo ha venido
q: Pablo ha recibido la carta
r: Pablo está interesado en el asunto

2) La decisión dependerá del juicio o de la intuición y no de quién pagó

más.

p: La decisión dependerá del juicio

q: La decisión dependerá de la intuición
r: La decisión dependerá de quien pago más

3) Si esta planta no crece, entonces necesita más agua o necesita mejor

abono.

p: Esta planta crece

q: Esta planta necesita más agua
r: Esta planta necesita mejor abono

4) El juez lo sentencia a Octavio si y solo si el fiscal puede probar su

culpabilidad o el testigo no dice la verdad.

p: El juez lo sentencia a Octavio

q: El fiscal puede probar su culpabilidad
r: El testigo dice la verdad

5) Si una sustancia orgánica se descompone, entonces sus componentes

se transforman en abono y fertilizan al suelo.

p: Una sustancia orgánica se descompone

q: Sus componentes se transforman en abono
r: Sus componentes fertilizan el suelo

Observaran que las proposiciones simples siempre se escriben de manera

afirmativa, la negación que tienen algunas se incorporará con un conectivo.
Clase Nº 1 Lógica Proposicional Ing. Edgar Alberto Iriarte Mercado

3. Conectivos Lógicos y Tablas de Verdad:

a) Conectivos Lógicos: El significado que anotamos en la tercera columna son

los más tradicionales, sin embargo para algunos de ellos existen también
otras palabras. La negación se puede comenzar con es falso o utilizar la
palabra antónima (contraria) al calificativo o verbo, La conjunción también
utiliza como conectivos las palabras: pero, a la vez, sin embargo, además,
aunque, no obstante, etc. El conectivo condicional también utiliza las
palabras: porque, puesto que, ya que, si, cuando, cada vez que, etc.

Conectivo Operación asociada Significado

 Negación No; no es cierto que

 Conjunción Y

 Disyunción Inclusiva Y/o; uno u otro o ambos

 Disyunción Exclusiva O; uno u otro, pero no ambos

 Condicional o Implicación Si ........entonces.........

 Bicondicional o Doble Implicación ......si y solo si.......

b) Tablas de Verdad: Es un arreglo ordenado de las posibilidades del valor de

verdad de las proposiciones simples o compuestas. Las tablas de verdad
permiten esquematizar en forma simple, las características del valor de
verdad de las proposiciones.

1) La negación: Si una proposición es Verdadera, su negación será Falsa y

si es Falsa su negación será Verdadera. Ejemplo:
2) La Conjunción: Es Verdadera si las dos proposiciones componentes son
Verdaderas, en otro caso es Falsa.
3) La disyunción Inclusiva: Es Falsa si las dos proposiciones componentes
son Falsas, en otro caso es Verdadera.
4) La Disyunción Exclusiva o Diferencia Simétrica: Es Falsa si las dos
proposiciones componentes tienen el mismo valor de verdad, en otro caso
es Verdadera.
5) El Condicional o Implicación: Es Falso si el antecedente es Verdadero y
el consecuente es Falso, en otro caso es Verdadero.
6) El Bicondicional o Doble Implicación: Es verdadero si las dos
proposiciones componentes tienen el mismo valor de verdad, en otro caso
es falso.

Estas definiciones se deben estudiar y aprender de memoria.

Clase Nº 1 Lógica Proposicional Ing. Edgar Alberto Iriarte Mercado

Negación Conjunción Disyunción Inclusiva

𝒑 ~𝒑 𝒑 𝒒 𝒑∧𝒒 𝒑 𝒒 𝒑∨𝒒
V F V V V V V V
F V V F F V F V
F V F F V V
F F F F F F

Disyunción Exclusiva Implicación Doble Implicación

𝒑 𝒒 𝒑∨𝒒 𝒑 𝒒 𝒑⇒𝒒 𝒑 𝒒 𝒑⇔𝒒
V V F V V V V V V
V F V V F F V F F
F V V F V V F V F
F F F F F V F F V

En el Condicional se llama antecedente a la proposición de la izquierda y

consecuente a la proposición de la derecha.

c) Operaciones Proposicionales: Dada una o dos proposiciones, cuyos

valores de verdad se conocen, generar otras proposiciones y caracterizar la
proposición resultante a través de su valor de verdad.

Ejemplos:

1) Niega de diferentes maneras las siguientes proposiciones: (En el lenguaje

simbólico hay una sola forma de negar

a) p: Hoy no es un buen día

~ p: Hoy es un buen día
~ p: No es cierto que hoy no es un buen día
~ p: Es falso que hoy no es un buen día
~ p: Hoy no es un mal día

b) q: y ≥ 5
~ q: y ≱ 5
~ q: No es cierto que y ≥ 5
~ q: Es falso que y ≥ 5
~ q: y < 5

2) Halla el valor de verdad de las siguientes proposiciones.

a) Las ratas comen y no asustan 𝑝 ∧ ~𝑞 (F)

p: Las ratas comen (V)
q: Las ratas asustan (V) ~𝑞: 𝐹
Clase Nº 1 Lógica Proposicional Ing. Edgar Alberto Iriarte Mercado

b) En invierno hace calor o (3 + 2 = 5) 𝑝∨𝑞 (V)

p: En invierno hace calor (F)
q: 3 + 2 = 5 (V)
c) Si aprendes entonces no lees 𝑝 ⇒ ~𝑞 (V)
p: Aprendes (F)
q: Lees (V) ~𝑞: 𝐹
d) 9 no es impar si y solo si no es múltiplo de 3 ~𝑝 ⇔ ~𝑞 (V)
p: 9 es impar (V)
q: 9 es múltiplo de 3 (V)

3) Con las proposiciones p: Juan no estudia; q: Juan aprobará álgebra.

Escribe en lenguaje simbólico.

Si Juan estudia entonces no aprobará álgebra: ~𝑝 ⇒ ~𝑞

Juan no estudia si y solo si no aprobará álgebra: 𝑝 ⇔ ~𝑞
Juan no estudia o aprobará álgebra: 𝑝∨𝑞
Juan estudia y aprobará álgebra ~𝑝 ∧ 𝑞

4) Con las proposiciones p: La Matemática no es útil; q: La Matemática es

hermosa. Escribe en lenguaje común.

𝑝 ∨ 𝑞: La Matemática no es útil o es hermosa

~𝑝 ∧ 𝑞: La matemática es útil y es hermosa
𝑝 ⇒ ~𝑞: Si la Matemática no es útil entonces no es hermosa
~𝑝 ⇔ ~𝑞: La Matemática no es útil si y solo si no es hermosa

5) Determina si la disyunción es Inclusiva o Exclusiva. Asumiendo que las

proposiciones compuestas son verdaderas.

a) Los humanos son hombres o mujeres Inclusiva (ambas son V)

p: Los humanos son hombres (V)

q: Los humanos son mujeres (V)

b) x es un número par o impar Exclusiva (si p es V q es F)

p: x es un número par (V) o (F)

q: x es un número impar (F) o (V)