universidad nacional de san cristóbal de huamanga

Real, Ponticia y Nacional 1677

Facultad de Ingeniería de Minas, Geología y Civil

Departamento Académico de Matemática y Física

Unidad I
Lógica de Proposiciones

Docente: Mtro. Vladimir Acori Flores

Lógica Proposicional
Enunciado Al valor verdadero de una proposición se le
asocia con: V, True, 1.
Son expresiones cuyo valor de verdad
Al valor falso de una proposición se le asocia
dependen del valor de una o más variables.
con: F, False, 0.
A las proposiciones se les representarán por
Proposición Lógica letras minúsculas del alfabeto: p, q, etc.
Una proposición lógica es un enunciado Ejemplo:
coherente, oración informativa, que se p: 13 es un número primo. (V)
caracteriza por ser verdadero o falso sin q: El profesor de MA 181 es ingeniero. (F)
ambigüedades en un determinado contexto. No son proposiciones:
Doxas (opiniones personales), anbologías,
Valor de Verdad oración expresiva, oración apelativa (órdenes,

A la veracidad o falsedad de una proposición, preguntas), refranes, adagios, dichos, frases

se le llama valor de verdad. sin verbo ...

V.Acori.F (UNSCH) LógicaSesión 2 Semestre 2025 I 2 / 11

 Podemos clasicar las proposiciones como
No son proposiciones:
simples (atómicas) y compuesta
(moleculares).
Él es ingeniero La pizarra sufre
La pizarra mucho
Proposición Simple: Expresan una sola
idea o carecen de conectores lógicos.
Borra la pizarra Pienso luego existo
Las proposiciones simples pueden ser del tipo
Odio salir a la pizarra El caballero de los
predicativa o relacional.
¾Es blanco la pizarra? mares
Quizá compre una x +5=8 Predicativa: Arman una propiedad de un

pizarra Al que madruga Dios sujeto.

Deseo comprar una le ayuda p: El oro es un metal.

pizarra Relacional: Establece una relación entre

dos o más sujetos.
Son Proposiciones: q: Carlos y Antonio son primos.
Proposición Compuesta: Expresan dos o
La pizarra es blanca x + 5 = 8, x = 3 más ideas o van acompañadas de conectores
Llueve E = m · c2 lógicos.

V.Acori.F (UNSCH) LógicaSesión 2 Semestre 2025 I 3 / 11

Conectivos Lógicos
Los conectivos lógicos son las palabras que sirven para enlazar proposiciones simples (formando
así una proposición compuesta) o cambiar el valor de verdad de una proposición.

Símbolo Esquema Se lee Otras palabras

Negación ∼, ¬ ∼p Nop No es cierto que ...
Conjunción ∧ p∧q pyq Sin embargo, aunque, pero,
también ...
Disyunción débil ∨ p∨q p o q a menos que, o bien ...
Disyunción fuerte △ p△q O p o q O bien ... o bien
Condicional → p→q Si p entonces q En consecuencia, por lo tanto,
se deduce ...
Bicondicional ↔ p↔q p si y solo si q Cuando y solo cuando

Observación: p → q , también se lee:  q puesto que p

Otra palabras: ya que, porque, si, debido a que, dado que ...
V.Acori.F (UNSCH) LógicaSesión 2 Semestre 2025 I 4 / 11
Tabla de verdad
Tabla de verdad son los posibles valores de verdad de una proposición compuesta a partir de los
valores de verdad de las proposiciones componentes.

p q ∼p p∧q p∨q p→q p↔q p△q

V V F V V V V F
V F F F V F F V
F V V F V V F V
F F V F F V V F

Condición Necesaria y Suciente:

Una proposición compuesta para cualquier
Dada la condicional p → q, decimos que:
combinación de los valores de verdad de sus
p q
es es condición suciente para
componentes puede ser: Tautología (⊤) (si
q es es condición necesaria para p
Recíproca: de p → q es q → p siempre es verdadera) y es una Contradicción
(⊥) (si siempre es falsa). Si no es tautología
Inversa: de p → q es∼ p →∼ q ni contradicción será una Contingencia (C).
Contrarrecíproca: de p → q es ∼ q →∼ p

V.Acori.F (UNSCH) LógicaSesión 2 Semestre 2025 I 5 / 11

Proposiciones lógicamente Equivalentes p→q ∼p∨q
Dos o más esquemas proposicionales V V V F V V
P(p, q, . . .) yQ(p, q, . . .) son lógicamente V F F F F F
equivalentes (≡, ⇔) si tienen la misma F V V V V V
secuencia de valores de verdad en su matriz F V F V V F
principal o P(p, q, . . .) ↔ Q(p, q, . . .) es una
tautología. Por lo tanto, (p → q) ≡ (∼ p ∨ q)

Implicaciones Lógicas p ∧ q → p
V V V V V
Dos o más esquemas proposicionales
V F F V V
P(p, q, . . .) y Q(p, q, . . .). Si
F F V V F
P(p, q, . . .) → Q(p, q, . . .) es una tautología
F F F V F
entonces es una implicación y se escribe
P ⇒ Q.
Por lo tanto, (p ∧ q) ⇒ p

V.Acori.F (UNSCH) LógicaSesión 2 Semestre 2025 I 6 / 11

 PRINCIPALES LEYES LÓGICAS

Involutiva: ∼ (∼ p) ≡ p Leyes de Identidad:

Conmutativa: (p ∧ V ) ≡ p , (p ∨ V ) ≡ V
(p ∨ q) ≡ (q ∨ p), (p ∧ q) ≡ (q ∧ p) (p ∨ F ) ≡ p , (p ∧ F ) ≡ F
Asociativa: Leyes de Absorción:
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r ), p ∨ (p ∧ q) ≡ p , p ∨ (∼ p ∧ q) ≡ p ∨ q
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r ) p ∧ (p ∨ q) ≡ p , p ∧ (∼ p ∨ q) ≡ p ∧ q
Distributiva: Implicación:
p ∨ (q ∧ r ) ≡ (p ∨ q) ∧ (p ∨ r ), p → q ≡∼ p ∨ q , p ∨ q ≡∼ p → q
p ∧ (q ∨ r ) ≡ (p ∧ q) ∨ (p ∧ r ) p → q ≡∼ q →∼ p , p ∧ q ≡∼ (p →∼ q)
Leyes de la Idempotencia: [(p → r ) ∧ (q → r )] ≡ (p ∨ q) → r
p ∨ p ≡ p, p ∧ p ≡ p [(p → q) ∧ (p → r )] ≡ p → (q ∧ r )
Leyes de De Morgan: Equivalencia:
∼ (p ∨ q) ≡∼ p∧ ∼ q , ∼ (p ∧ q) ≡∼ p∨ ∼ q p ↔ q ≡ (p → q) ∧ (q → p) ≡∼ (p △ q)
Leyes del Complemento: Ley de Exportación:
(p∧ ∼ p ≡ F ), (p∨ ∼ p) ≡ V (p ∧ q) → r ≡ p → (q → r )
V.Acori.F (UNSCH) LógicaSesión 2 Semestre 2025 I 7 / 11
Argumentos Lógicos
Un argumento lógico es una condicional de la
Para vericar que un argumento lógico sea
forma:
válido, se emplearán: método de las tablas de

P1 (P1 ∧ . . . ∧ Pk ) → Q verdad, por lógica de proposiciones,

P2 método abreviado y por inferencias válidas.

. Método Abreviado:
.
.
1. Suponer que el argumento es falso. Es
Pk P1 , P2 , . . . , Pk ∴ Q
decir, las premisas son verdaderas y la
∴ Q
conclusión es falsa.
2. Determinar el valor veritativo de la mayoría
P1 , . . . , Pk : Premisas, Q: Conclusión
de las proposiciones simples.
Argumento Lógico 3. Si en algún paso aparece una

Un argumento P1 , P2 , . . . , Pk ∴ Q es válido si contradicción, el argumento es válido, caso

Q es verdadero cada vez que las premisas contrario, si no aparece contradicción y se

P1 , P2 , . . . , Pk sean verdaderas. Un completa la suposición primera, el argumento

argumento que no es válido se llama falacia. es falacia.

V.Acori.F (UNSCH) LógicaSesión 2 Semestre 2025 I 8 / 11

Ejemplo
Determine la validez del siguiente
razonamiento. Solución: Falacia
Si 5 es menor que 4, entonces 5 no es un
número primo. No es cierto que 5 es menor
que 4. Por lo tanto, 5 es un número primo.

Ejemplo
Determine la validez del siguiente
razonamiento.
Si la víctima tenía dinero en su billetera Solución: Válido
entonces el motivo del crimen no fue robo. El
motivo del crimen fue robo o venganza. La
víctima tenía dinero en su billetera. Por lo
tanto, el motivo del crimen fue venganza.

V.Acori.F (UNSCH) LógicaSesión 2 Semestre 2025 I 9 / 11

CUANTIFICADORES:
Los cuanticadores en lógica son expresiones que que se utilizan en una proposición lógica para indicar
cuántos o que tipo de elementos de un conjunto dado cumplen con cierta condición o propiedad
determinada.

Cuanticador Universal Ejemplo

Se utiliza para armar que TODOS los elementos
∀x ∈ N : 2x es par.
de un conjunto cumplen con la condición o
Para todo x en el conjunto de los números
propiedad determinada. Se denota por ∀ y se lee:
naturales, se cumple que 2x es un número par.
para todo, todo, para cada, cada, etc.

Cuanticador Existencial Ejemplo

Se utiliza para indicar que EXISTE uno o más ∀n ∈ N, ∃x ∈ R : n < x < n + 1.
elementos de un conjunto que cumplen con la Para todo n que pertenece a los números
condición o propiedad indicada. Se denota por ∃ naturales, existe al menos un x que pertenece a
y se lee: existe por lo menos uno, existe al los números reales, que cumple con estar entre n
menos uno, etc. y n + 1.

V.Acori.F (UNSCH) LógicaSesión 2 Semestre 2025 I 10 / 11

 EJERCICIOS:

2. Determine en cada caso si la proposición es

una tautoloía (⊤), contradicción (⊥) o
1. De los siguientes enunciados:
contingencia (C ), en el orden indicado.
I. El número πes un número par.
I. Es falso que, si Juan no es ingeniero
1
II. ∃! x ∈ R : > 0. entonces no es empresario; pero Juan es
x −3
ingeniero.
III. 2n + 1, es un número impar.
II. Juan es empresario ya que es ingeniero, o
IV. He pasado mis vacaciones en el VRAE y
es ingeniero.
Cusco.
III. Juan es ingeniero y deportista; además,
¾Cuál o cuáles son proposiciones lógicas?
no es ingeniero.
A) I y IV B) IV C)I, II y IV D) I y II
A) ⊤, ⊥, C B) ⊥, ⊤, C
C) ⊤, ⊥, ⊤ D) ⊤, ⊤, ⊥

V.Acori.F (UNSCH) LógicaSesión 2 Semestre 2025 I 11 / 11