GUÍA TEÓRICO PRÁCTICO 1: Lógica

Matemática

11 de septiembre de 2022

Universidad Nacional de San Agustín

Grupo:
Curso: Razomiento lógico matemático
Profesor: Mg. Ticona Méndez Ronald Bladimiro

1. Lógica matemática
Lógica es el estudio de los procesos válidos del razonamiento humano. Existen dos tipos de razonamientos:
Inductivo y deductivo. Razonamiento inductivo es el medio por el cual una persona, en base a sus
experiencias decide aceptar como válido un principio general. El razonamiento deductivo es el medio según
el cual dicha persona utiliza el principio general aceptando previamente para decidir sobre la validez de
una idea, lo que habrá que determinar el curso de su acción.

1.1. Enunciado
Se llama enunciado a toda frase u oración. Algunos enunciados son mandatos o interrogantes o son
expresiones de emoción, otros en cambio son afirmaciones o negaciones que tienen la característica ser
verdaderas o falsas.

Ejemplos:

1. ¿En que cursos estás matriculado? 3. Debemos estudiar para el examen si desea-
mos aprobar.

2. Hoy no hay examen. 4. No usar celular en aula.

1.2. Enunciado abierto

Se llama enunciado abierto a las expresiones que contiene variable y que no tiene la propiedad de ser
verdadera o falsa.
Ejemplos:

1. ¡Viva el Perú! 3. x + 3 > 0

2. 2x − 3 = 7 4. x2 + 2x − 1 = 3

2. Proposiciones lógicas
Una proposición es un enunciado cuya propiedad fundamental es la de ser verdadera (V ) o falsa (F ),
pero no ambos.
Las proposiciones representaremos por letras minúsculas tales como: p, q, r, t, etcétera.
Ejemplos:

1
 Lógica Matemática Razonamiento lógico matemático

1. p : Omar Candia es el alcalde de la ciudad es x = 1

de Arequipa y fue alcalde del distrito Alto
Selva Alegre. 3. r : Todo número par es divisible por 2

2. q : La solución de la ecuación x2 +2x−3 = 5 4. s : 1 + 2 + 3 + · · · + 20 = 210

En las matemáticas las proposiciones fundamentales son axiomas (o postulados), lemas, teoremas, coro-
larios.
Axioma o postulados. Son proposiciones cuya validez se aceptan sin demostración.
Lema. Son proposiciones previas a la demostración de algunos teoremas.
Teorema. Son proposiciones que para ser válidas, necesitan de su demostración. Se muestras usando los
axiomas y algunas tautológícas lógicas.
Corolario. Son proposiciones que son consecuencias de algunos teoremas.

2.1. Clases de proposiciones

1. Proposición simple (elementales o atómicas). Son aquellos enunciados que tienen un solo
sujeto y un solo predicado. Se representan por un sola variable.
Ejemplos:

a) p : 6 − 4 = 17 − 15 c) r : Cusco es denominado el ombligo del

b) q : Arequipa es denominado la ciudad mundo.
blanca. d) t : Alan Gacia fue presidente del Perú.

2. Proposición compuesta ( moleculares o colagitiva). Son aquellas proposiciones que se obtie-

nes de la combinación de dos o mas proposiciones simples.
Ejemplos:

a) p : 5 − 2(2 − 1) = 7 − 15 ∧ 15 − 5 = Matemática Básica.

14 − 3(3 − 0.5)
b) q : Arequipa es denominado la ciudad
blanca y también la república indepen-
diente.
c) r : Si Juan es estudioso entonces aprobará
d) t : Si Omar tiene dinero entonces puede
adquirir un automóvil.
e) s : Juan compra una computadora pero,
no comprará una refrigeradora, pues no
tendrá suficientemente dinero.

2.2. Conectivos lógicos

2.2.1. Negación ” ∼ ”
Se lee no es cierto que “p” o no “∼ p”

2.2.2. Conjunción ” ∧ ”
“p ∧ q” se lee p y q.
Ejemplos:

1. César es Ingeniero pero no es Médico 4. x2 + 3x + 3 = −2 es una ecuación de se-

gundo grado, sin embargo es también una
2. María se comprará una Casa, sin embargo
ecuación polinómica.
no podrá amoblar, pues no tiene dinero su-
ficiente.
5. Las computadoras son caras, sin embargo
3. José es Matemático además es Físico. son muy útiles.

Observación. Hay palabras como «pero», «a la vez», «sin embargo», «además», «aún que», «no
obstante», etc. pueden simbolizarse por el símbolo «∧».

2.2.3. Disyunción
Sabiendo que el sentido del conectivo «o» es excluyente, se puede interpretar de dos maneras: débil o
inclusiva o fuerte exclusiva.

Mg. Ticona Méndez R. Bladimiro 2

 Lógica Matemática Razonamiento lógico matemático

A. Disyunción inclusiva o débil ” ∨ ”

Se denota por ”p ∨ q”, se lee p o q.
Ejemplos:

1. Luís viajará a Trujillo o Lima. 3. Juan habla Inglés o Francés.

2. 3 es menor o igual que 7. 4. 3 + 5 = 8 ∨ 8 − 5 = 3

B. Disyunción exclusiva o fuerte ”△”

Se denota por «”p△q”, se lee p y q pero no ambos», «o bien p o bien q».
Ejemplos:

1. Juan habla un sólo idioma ≡Juan habla In- pero no Ingles.

glés pero no Francés o Juan habla Francés
2. Juán vijará por o bien por tren o bien avión.

2.2.4. Condicional ” → ”
Es la combinación de dos proposiciones por el conectivo «si ......., entonces .......»
p → q se lee «si p, entonces q».
La proposición p se llama antecedente (hipótesis) y la proposición q se llama consecuente (tesis o conclu-
sión).
Ejemplos:

1. 4 es un número par porque 4 ÷ 2 es una
división exacta.
2. Luís es disciplinado en sus estudios, enton-
ces es seguro que aprobará Matemática.
3. Omar tendrá una casa muy bonita ya que
es Arquitecto.
4. |f (x) − f (2)| < ε puesto que |x − 2| < δ
5. El profesor no controló asistencia puesto
que la oficina de la dirección de la facultad
estaba cerrada y no estaba el portero.
(q∧ ∼ r) → p

Observación: Los términos como “porque”, “puesto que”, “ya que”, “si”, “cuando”, “cada vez que”,
etc. pueden ser representados por el símbolo “→”. La característica de éstos términos es que
después de estos conectivos se encuentra el antecedente o condición.

2.2.5. Bicondicional o doble implicancia ” ↔ ”

p ↔ q se lee “p si, solo si, q”
Ejemplos:

1. La ecuación ax2 + bx + c = 0 tiene raí- 2. Un ciudadano Peruano puede votar en las

ces reales si, solo si la discriminante △ = elecciones municipales si, solo si, posee su
b2 − 4ac es mayor que cero. Documento Nacional de identidad.

3. Tablas de verdad:
p q p∧q p∨q p→q p↔q p△q
V V V V V V F
V F F V F F V
F V F V V F V
F F F F V V F

Mg. Ticona Méndez R. Bladimiro 3

 Lógica Matemática Razonamiento lógico matemático

3.1. Tautología y contradicción

1. A toda proposición simple o compuesta cuyo valor es siempre verdadero para cualquier combina-
ción de valores veritativos de sus componentes se le llama TAUTOLOGÍA.

2. A toda proposición que siempre es falsa para todas las combinaciones de valores veritativos de sus
componentes se le llama CONTRADICCIÓN.
3. Una tabla de verdad que contiene al menos un V y al menos un F , se denomina CONTINGEN-
CIA.

3.2. Proposiciones equivalentes

Dos proposiciones compuestas P y Q se dice que son equivalentes si unidos por el bicondicional “↔”
el resultado es una tautología, es decir qeu P y Q tienen los mismos valores de verdad en su operador
principal. se denota P ≡ Q o P ⇔ Q
Ejemplo. La proposición p ∧ (p ∨ q) ⇔ p es una tautología en consecuencia es una equivalencia lógica.

3.3. Implicación lógica

Se llama implicancia lógica (o simplemente implicación) a toda condicional p → q que sea tautología,
en todo caso a la condicional se le denota p ⇒ q
Ejemplo. La proposición [((∼ p) ∨ q) ∧ ∼ q] ⇒∼ p es una implicación, pues su tabla de verdad es una
tautología la cual puede ser probada mediante tablas de verdad.

3.4. Leyes del álgebra proposicional

Ley de involución Leyes del condicional
1. ∼ (∼ p) ≡ p 1. p → q =∼ p ∨ q
Ley de idempotencia 2. p → q ≡ (∼ q) → (∼ p)
1. p ∨ p ≡ p Leyes del bicondicional
2. p ∧ p ≡ p 1. p ↔ q ≡ (p → q) ∧ (q → p)
Leyes conmutativas
2. p ↔ q ≡ (p ∧ q) ∨ (∼ q∧ ∼ p)
1. p ∨ q ≡ q ∨ p
Leyes de absorción
2. p ∧ q ≡ q ∧ p
1. p ∧ (p ∨ q) ≡ p
3. p ↔ q ≡ q ↔ p
2. p ∨ (p ∧ q) ≡ p
Leyes asociativas
3. p ∧ (∼ p ∨ q) ≡ p ∧ q
1. (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
4. p ∨ (∼ p ∧ q) ≡ p ∨ q
2. (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
Leyes adicionales
3. (p ↔ q) ↔ r ≡ p ↔ (q ↔ r)
1. p ∨ F ≡ p
Leyes distributivas
2. p ∨ V ≡ V
1. p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
3. p ∨ (∼ p) ≡ V
2. p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
3. p → (q ∧ r) ≡ (p → q) ∧ (p → r) 4. p ∧ p ≡ p

4. p → (q ∨ r) ≡ (p → q) ∨ (p → r) 5. p ∧ F ≡ F

Leyes de Morgan: 6. p ∧ V ≡ p

1. ∼ (p ∨ q) ≡ (∼ p) ∧ (∼ q) 7. p ∧ (∼ p) ≡ F

2. ∼ (p ∧ q) ≡ (∼ p) ∨ (∼ q) 8. p△q ≡ (p∧ ∼ q) ∨ (q∧ ∼ p)

Mg. Ticona Méndez R. Bladimiro 4

 Lógica Matemática Razonamiento lógico matemático

Ejercicios propuestos:
1. Clasifica los siguientes enunciados. Para aquellos que sean proposiciones indica su valor de verdad.

a) El almanaque “Bristol” es una publi- h) La Ley Universitaria N°30220, fue

cación anual. promulgada el 8 de julio del 2014.
b) x − y = 5 ∧ x + y = 7 i) La Ley Universitaria N°30220, fue pu-
blicada en el diario oficial el Peruano
c) 2 − 4 = 6
el 9 de julio del 2014.
d) Hola que tal.
j) ¡Pide ayuda!
e) x2 + 2x − 2 = x + 4
k) Cristóbal Colón conquistó el Perú.
f ) Sócrates nació en Atenas. l) La independencia del Perú fue procla-
g) x + 6 ≥ 2x − 3, si x = 3 mada el 28 julio de 1921.

2. Clasifica las siguientes proposiciones, si lo fuesen en simples o moleculares.

a) La Paz es capital de Bolivia y Quito e) Los dos grandes aportes de los roma-
de Colombia. nos fueron el derecho y el cristianismo.
b) El Perú es un país rico en petróleo y f ) Los videos no son pruebas judiciales.
en minerales. g) Si se calientan las aguas de la costa
c) Andrómeda y la Vía Láctea son gala- central y meridional entonces se pro-
xias. ducirá el fenómeno del Niño.
d) Julio C. Tello descubrió el Señor de h) La filosofía es una forma de pensa-
Sipán. miento propio del hombre.

3. Determine el valor de verdad de las siguientes proposiciones

a) Si 5 − 9 + 12 = 5 + 50 entonces 6 + 15 es número impar puesto que 15 es

ln e4 = 8 múltiplo de 3.
√
b) (−2+11 = 70 o bien 3· 25−7 = −8) f ) Si el cuadrado es rombo, entonces es
c) No es verdad que tan 45o = 35 ó 12 ̸= un cuadrilátero.
3·6
√ g) 2 + 3 = 5, entonces 5 + 3 = 8
d) 33 − (−5) ≥ 12 y 17 − 2 < − 16
√ √ √

e) Sabiendo que 16 es un número par en- h) (3 + 5 = 6) → ( 2 + 5 = 7) △(3+
tonces 16 es divisible por 4. Ademas 6 = 7)

4. Dada las proposiciones:

p: x−1 = 8 es una ecuación de primer grado real.

x−2
y es una expresión racional. r: 18 es divisible entre 2 y 3. Además 23 es
x
número primo.
√
q: Si x+9 = 2−x, entonces x es un número t: Si x = 13 − 16 entonces x2 = 81

Halle el valor de verdad de las siguientes proposiciones:

a) [(p ∧ q) ∨ p] → [∼ (q → r) ∨ r] d) {[(∼ t → q)△(p ↔ r)] → (∼ r ∨ (p → q)}∧

b) [(r∧ ∼ p)∨ ∼ p] ↔∼ t t
c) [{∼ (p∧ ∼ q) ∨ q∨} ∼ (t → r)]

x+2
5. Si p(x) : x2 + 3 = x − 3; q(x) : 2x − 1 = 3x − x2 − 1; r(x) : = x − 1. Hallar el valor de
x
verdad de las siguientes proposiciones:

a) [(r(1) →∼ r(−1)) ∧ (p(1) ↔ q(2))] → r(−1)

b) [(p(2)△ ∼ r(2)) ∨ q(0)] → (∼ p(3) ∨ s) , donde ses un proposición.

Mg. Ticona Méndez R. Bladimiro 5

 Lógica Matemática Razonamiento lógico matemático

6. En los siguientes ejercicios, por medio de tabla de valores establecer si los siguientes esquemas
moleculares es contingente, tautología o contradicción:

a) ∼ (∼ p →∼ (∼ q∧ ∼ p)) ∨ ∼ (∼ q∨ ∼ p) CONTINGENTE
b) ((p∨ ∼ q)∧ ∼ p) △ ∼ (∼ q → p) CONTRADICCION
c) ((∼ p∧ ∼ q ∧ r)∨ ∼ p) △ ∼ (∼ q ↔∼ p) CONTINGENCIA
d) ((∼ p ↔ r)∧ ∼ r) ↔ (∼ q ∧ (∼ r → p))
e) ((∼ p∧ ∼ p ∧ p) → (r → (∼ q ∧ (∼ r ∧ p ∧ p ∧ p)))

7. Siendo p: “Juan es estudioso” y q: “Juan es inteligente”, escribir en forma simbólica:

a) Juan es inteligente y estudioso. estudioso.

b) Juan no es estudioso ni inteligente. d) Juan es inteligente siempre que sea es-
c) Juan no es inteligente, puesto que no es tudioso

8. Representar cada uno de los siguientes enunciados usando simbología lógica en los siguientes ejer-
cicios:

a) El hígado es la glándula más grande del
cuerpo humano además depura la san-
gre.
b) De que una figura geométrica tenga cua-
tro lados iguales se deriva que es un
cuadrado o un rombo, pero si la figu-
ra geométrica tiene cuatro lados iguales
así como cuatro ángulos rectos es obvio
que es un cuadrado.
c) El coseno y la secante juntas son razo-
nes inversas, a menos que su producto
no sea igual a uno.
d) Si el agua pasa de estado líquido a sólido
entonces se solidifica, asimismo si pasa
de estado gaseoso a líquido implica que
se condensa
e) Es inadmisible que la energía eólica
aprovecha la fuerza del viento de la mis-
ma manera que la energía solar utiliza
las radiaciones solares.
f ) Si llegas temprano o tarde, de todas ma-
neras no juegas y te vas a entrenar. Si
te vas a entrenar así pues tu madre se
molestará.
g) Si te preparas a conciencia, serás un
buen alumno; pero si no estudias y pier-
des tiempo, tus resultados serán malos.
h) “Aprendo una parte de la música de Mo-
zart ya que estudio su música. Por lo
tanto, aprendo una parte importante de
la música clásica.
i) Si la gente no piensa en la crisis, enton-
ces el deporte la distrae. Si el fútbol es
una distracción de masas, entonces pue-
de ser propiciado por los beneficiados de
la crisis.
j) Si el chofer estaba embriagado, enton-
ces no es cierto que la empresa controla
a su personal o que lo somete a una cui-
dadosa selección.
k) Un candidato a la presidencia de la re-
pública del Perú dice: “si silgo elec-
to presidente de la República recibirán
50 % de aumento en su sueldo el próxi-
mo año”.
l) Si no pago la luz, entonces me cortarán
la corriente eléctrica. Y si pago la luz,
entonces me quedaré sin dinero o pedi-
ré prestado. Y si me quedo sin dinero y
pido prestado, entonces no podré pagar
la deuda, si y solo si soy desorganizado.

9. Dada la proposición {∼ [(∼ q →∼ r)∧ ∼ t]} ∨ [∼ p →∼ r] es falsa. Indicar el valor de verdad de la

siguiente proposiciones:

a) [(∼ p ∨ t) ∧ z] → (r∧ ∼ q) b) p ∨ (q → r)

10. Si la proposición [(r △(∼ q)) ∧ (p ∨ q)] → [r ↔ s] es falsa. Determinar el valor de verdad de: (r∧s) →
(p△r)
11. Sabiendo que la siguiente proposición es falsa:
{∼ [(p ∧ r) → q] ∧ [(p ∨ q)△s]} → {(s△p) → t}, determinar el valor de verdad de:
{[(∼ p△q)△r] → [∼ (q → (u → p))] △q}

Mg. Ticona Méndez R. Bladimiro 6

 Lógica Matemática Razonamiento lógico matemático

12. Si la proposición compuesta ∼ [(p∧ ∼ r) → (r△ ∼ q)] es verdadera, hallar el valor de verdad de r, p
y q.
13. Si [(p → q) ↔ (p∧ ∼ p)] ∧ [(r ∧ s)△q] es verdadera. determinar el valor de las siguientes proposicio-
nes:

a) (p →∼ r)∨ ∼ q b) [(∼ r∨ ∼ p) → r] ∨ (q →∼ p)

14. Dadas las proposiciones verdaderas P ≡∼ {[s ∨ (p ∧ q)] → [(r△t) ∨ q]} y Q ≡ [(p ∨ n) → r] ∧
[q∆(∼ t ∧ w)]. Determinar el valor de verdad de: [(p → r)∆(r ∨ n)] ←→ (w ∨ m), donde m es
una proposición.
15. Usando las leyes del álgebra proposicional simplificar las siguientes proposiciones:

a) [p ∨ q ∨ {∼ p ∧ (∼ q)}] ∧ [∼ p ∨ q] ∧ p
b) [(p → q)∨ ∼ p] ∧ (∼ q → p)
c) (∼ p∨ ∼ q) ∧ [(∼ p ∧ p) ∨ (q∨ ∼ q)] ∧
(q ∨ p)
d) [(p ∨ q) ∧ p ∧ q] ∨ [r ∧ p ∧ (∼ r ∨ q)]
e) (p ∧ ∼ r) ∨ [∼ q →∼ (p ∧ r)]
f ) [(∼ q →∼ p) → (∼ p →∼ q)] ∧ ∼ (p∧q)
g) ∼ {[(∼ p∧ ∼ q) ∨ {p ∧ (∼ p ∨ q)}] →∼ (p ∨ q)}
h) ∼ {∼ [∼ (∼ p ∧ q) ∨ ∼ q] → [∼ (p∨ ∼ q)]}

16. Usando las leyes lógicas simplificar

{[(∼ p →∼ q) ∨ p ∨ q] ∧ [(p ∧ q) ∨ (∼ p∧ ∼ q) ∨ p]} ∧ (∼ q)

17. Usando las leyes lógicas simplificar

[∼ (∼ p →∼ q) ↔∼ (p ∨ q)] ∨ [p → (∼ p ∧ q ∧ r)]

18. Aplicando leyes lógicas simplificar

{[p → (q∧ ∼ r)] ∧ [p ∧ (q → r)]} ∨ {[p ∧ q ∧ (p ∨ q)] ∨ [r ∧ (∼ r ∨ q) ∧ p]}

19. Se define la proposición lógica compuesta p ∗ q por medio de la siguiente tabla:

p q p∗q
V V F
V F V
F V F
F F F
Hallar la proposición lógica más simple equivalente a la siguiente proposición:

[∼ p ∗ q] ∨ {[∼ (p ∗ q)] ∗ [∼ {[∼ (p ∗ q)] ∗ [∼ p ∗ q]}]} ∨ ∼ p

Mg. Ticona Méndez R. Bladimiro 7