PREUNIVERSITARIO

2023-2

TEMA
LOGICA
1.1
 INTRODUCCIÓN

Definición: La Lógica estudia la validez de los razonamientos

Cuando un individuo afirma algo, tiene que argumentar como llegó a

esa conclusión. Todo argumento civilizado (lo que escuchamos o
leemos) esta hecho sobre un razonamiento (una estructura de
pensamiento que en base a premisas aceptadas como ciertas obtenga
una conclusión), la lógica valida estos razonamientos.

En la clase de hoy haremos estudio de la Lógica Proposicional o lógica

de orden cero, la cual trabaja sobre unas unidades de pensamiento
llamadas proposiciónes, relacionándolas a través de los llamados
conectivos lógicos y analizando esas relaciones. Resaltamos que en
esta parte no nos interesa mucho lo que digan las proposiciones en sí,
sino como se relacionan para establecer razonamientos válidos.
2
 PROPOSICIONES Y CONECTORES LÓGICOS

Definición: Una proposición lógica es un enunciado que:

1) Afirma algo acerca de un sujeto
2) Tiene o puede asignársele un valor de verdad esto es, puede
ser verdadero (V) o falso (F), uno y solo uno de ellos.

Ejemplos de proposiciones: No son proposiciones:

p: Raúl estudia en CepreUni El estudia en Mecánica
q: Laura nunca será tu novia ¡ que frío !
r: Pedro ingresará a la UNI Roberta me parece guapa
s: 2 + 8 = 10 x+7=9
t: 4 + 10 < 14 x + 12 > 15

Las proposiciones pueden nombrarse a través de una letra minúscula

3
PROPOSICIONES Y CONECTORES LÓGICOS

Definición: Un conector lógico al afectar a una proposición, o al relacionar a

dos proposiciones, forma una nueva proposición lógica.

Nueva proposición Representación

No es cierto que Julia estudie ∼p
………………………….
Raúl No trabaja ∼p
…………………………….....................
Pablo estudia y Laura trabaja p∧q
…………................
Enriqueta estudia pero trabaja en las noches ... p∧q
Juana va al parque o va al mercado p∨q
………..………
Si Pedro estudia entonces Pedro ingresa p→q
.………
4
PROPOSICIONES Y CONECTORES LÓGICOS

Nueva proposición Representación

Raúl Ingresa solo si estudia en CepreUni …... q→p

Solo si Laura te ama, te será fiel p→q

……………….…...
Juan ingresa si y solo si estudia p↔q
….....................
Patty saldrá contigo siempre y cuando te bañes p↔q

O Raul ingresa o Raul va al Ejército p△q

……………..…..
O Julio come o Julio va al baño p△q
………………..…...

5
PROPOSICIONES Y CONECTORES LÓGICOS

Definición:
Definición: 1) Una proposición simple es aquella
que no tiene presencia de conectores
Al acto de generar una nueva proposición lógicos, excepto en la descripción del
mediante un conector o conectivo lógico sujeto.
se le llama Operación Lógica
2)Una proposición compuesta es
aquella que no es simple
Operación Lógica Conectivo usado
Negación ……………… ∼ Son proposiciones simples
Conjunción ……………. ∧
El Perú tiene grandes ciudades
Disyunción ……………. ∨
Juan sabe conducir autos
Condicional …………… →
Raúl es ingeniero civil
Bicondicional …………. ↔
Disyunción excluyente △ Roberto y Juana son esposos

6
 Ejercicio1:
Señale cuales de los siguientes son proposiciones:
I. ¿Por qué no cambias Jacobo?
II. Mi auto se estrelló en plena curva
III. ¡Soldados al ataque¡
IV. El número 9 es menor que el número 3
V. En Piura hay altas temperaturas
VI. Laura es bonita.

Resolución:

I. No es proposición.
II. Si es proposición.
III. No es proposición.
IV. Si es proposición.
V. Si es proposición.
VI. No es proposición.

7
Ejercicio2:
Señale cuales de las siguientes proposiciones son compuestas:
I. Juan y María son compañeros en clase de álgebra.
II. Iré siempre a clases dado que saque mala nota en el parcial.
III. Pedro, el que no fue a clases dado que estaba enfermo de Covid,
hoy falleció.
IV. O mejoramos las notas o no ingresamos
V. María ríe, pero esta reprobada en el curso de análisis.
VI. Enrique se pondrá triste si Roberto no va a la reunión.

Resolución: I. Proposición simple

II. Proposición compuesta
III. Proposición simple
IV. Proposición compuesta
V. Proposición compuesta
VI. Proposición compuesta

8
 FÓRMULAS LÓGICAS Y TABLAS DE VERDAD

Definición:
Una Fórmula Lógica es la representación simbólica de una
Proposición, indicándose en el caso de una proposición compuesta
los conectivos lógicos que la generan.

Algunas Fórmulas Lógicas 𝐩

𝐩 →∼ 𝐪
∼𝐩∨𝐪

(∼ 𝐩 ↔ 𝐪) →∼ 𝐫

((∼ 𝐩 ∨ 𝐪) → 𝒑) → 𝒑

9
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD

Definición:
Una Tabla de verdad nos señala el valor de verdad de una
fórmula lógica, para cada estado de verdad que generan las
proposiciones simples que la conforman.

p q f(p;q)
V V F
Estados
de V F V
verdad F V V
F F V

𝑵° 𝒅𝒆 𝒆𝒔𝒕𝒂𝒅𝒐𝒔 𝒅𝒆 𝒗𝒆𝒓𝒅𝒂𝒅 = 𝟐𝑵°𝒅𝒆 𝒑𝒓𝒐𝒑𝒐𝒔𝒊𝒄𝒊𝒐𝒏𝒆𝒔

10
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD

TABLA DE VERDAD DE LA CONJUNCIÓN:

p q p∧q
V V V
V F F
F V F
F F F

La conjunción es Verdadera solo si ambas proposiciones son Verdaderas

Ejemplo Juana estudia y Pedro trabaja (V)
Se concluye: Juana Estudia (V)
Pedro trabaja (V)

11
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD

TABLA DE VERDAD DE LA DISYUNCIÓN

p q p∨q
V V V
V F V
F V V
F F F

La disyunción es Falsa solo si ambas proposiciones son Falsas

Ejemplo Juana es Física o Juana es Pintora (F)

Se concluye: Juana es Física (F)
Juana es pintora (F)

12
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD

TABLA DE VERDAD DE LA NEGACIÓN

p ∼p La negación tiene un valor de verdad

V F distinto al de la proposición original.
F V

TABLA DE VERDAD DE LA CONDICIONAL

p q p→q La condicional es Falsa solo si el antecedente es
Verdadero y el consecuente es Falso
V V V
V F F Ejemplo

F V V Si Raúl estudia entonces Raúl Ingresa (F)

F F V Se concluye: Raúl Estudia (V)
Raúl ingresa (F)
13
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD

Observaciones de 1) Si el antecedente es Falso entonces la

la condicional condicional es verdadera

2) Si el consecuente es Verdadero entonces

p q p→q
la condicional es verdadera
V V V
V F F 3) En la condicional p→q se dice que:
F V V p es suficiente para q
F F V
q es necesario para p
q→p es su recíproco
∼ q→∼p es su contrarrecíproco

14
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD

TABLA DE VERDAD DE LA BICONDICIONAL

p q p↔q
V V V
V F F
F V F
F F V

La Bicondicional es Verdadera solo si

ambas proposiciones tienen el mismo valor de verdad

Observacion
En la bicondicional p ↔ q se dice que:
q es suficiente y necesario para p

15
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD

TABLA DE LA DISYUNCIÓN EXCLUYENTE

p q p∆q
V V F
V F V
F V V
F F F

La disyunción excluyente es Verdadera solo si ambas proposiciones

tienen distinto valor de verdad

Observacion Si son verdaderas ambas a la vez la Disyunción excluyente

es FALSA

16
Ejercicio
3: la tabla de verdad de la siguiente proposición compuesta:
Elabore
(p∨q)

→
(p∧q)

p q (p∨q) → (p∧q)
V V V V V
V F V F F
F V V F F
F F F V F

17
 Ejercicio
4:
Señale los valores de Verdad de p, q, r, s, t si la siguiente
proposición compuesta presentada como fórmula lógica es
Falsa: [p q]  [r  (s t)]

Resolución: (V) (F)

p  q ]  [ ¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨¨
[¨¨¨¨¨¨¨¨¨¨¨¨¨¨ r  ( s  t) ]
..... ..... ..... .....
(V) (V) (F) (F)
..... ..........
(V) (F)

p(V) q(F) r(V) s(F) t(V)

18
 EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN

Definición: Dos fórmulas lógicas son equivalentes ( p ≡ q ) si tienen el mismo

valor de Verdad en cada Estado de Verdad.

Ejemplos

p q p→q ~p ∨ q p q p ∨ (p ∧ q) p
V V V F V V V V V V V V
V F F F F F V F V V F V
F V V V V V F V F F F F
F F V V V F F F F F F F

p→ q es equivalente a ~p ∨ q p ∨ (p ∧ q) es equivalente a p
p→ q ≡ ~p ∨ q p ∨ (p ∧ q) ≡ p

19
EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN

Definición: Una Fórmula Lógica es Tautología si es Verdadera en cualquier

estado de Verdad generado por las proposiciones que la
conforman.

Ejemplo p q (p → q) ∨ p
V V V V V
V F F V V
F V V V F
F F V V F

(p → q) ∨ p es Tautología
(p → q) ∨ p ≡ V

20
EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN

Definición: Una Fórmula Lógica es Contradicción si es Falsa en cualquier

estado de Verdad generado por las proposiciones que la
conforman.

Ejemplo p q ~ (p → q) ∧ q
V V F V F V
V F V F F F
F V F V F V
F F F V F F

~ (p → q) ∧ q es Contradicción
~ (p → q) ∧ q ≡ F

21
EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN

Definición: Una Fórmula Lógica es Contingencia si no es Tautología

ni es Contradicción

Ejemplo p q ~ (p → q) ∧ p
V V F V F V
V F V F V V
F V F V F F
F F F V F F

~ (p → q) ∧ p es Contingencia

22
Ejercicio
5: si las proposiciones son Tautologías(V) o contradicciones(F)
Señale
I. ( p∧q ) → ( p )
II. ( ~p∨q ) ↔ ( p→q )
III. q ∧ ~( p→q )

p q (p∧q)→ p ( ~p ∨ q ) ↔ ( p → q q ∧ ~( p → q )
)
V V V F V V V V V F F V
V V
F V V F F F V F F F V F
V F
F V F V V V V V V F F V
F V
F V F V V F V V F F F V
F F

23
Propuesto
1: p, q, r proposiciones, señale el valor de verdad de:
Siendo
I. p→F ≡p
II. p∆V ≡ p
III. [~p→( q∨r )] ∧ p ≡
p Primera práctica 2021-2

Rpta: F F V

24
Propuesto
2: p y q proposiciones lógicas, definimos el operador “ ∗ ” con la
Siendo
siguiente tabla: p q p∗q
V V F
Determine una expresión
V F F
equivalente de: (p ∗ q) → q
F V V
F F F

Primera práctica 2022-2

Rpta: V

25
 ÁLGEBRA PROPOSICIONAL

𝟏𝐚. 𝐩∨𝐩≡𝐩 𝟏𝐛. 𝐩∧𝐩≡𝐩

𝟐𝐚. 𝐩∨𝐪≡𝐪∨𝐩 𝟐𝐛. 𝐩∧𝐪≡𝐪∧𝐩

𝟑𝐚. 𝐩 ∨ (𝐪 ∨ 𝐫) ≡ (𝐩 ∨ 𝐪) ∨ 𝐫 𝟑𝐛. 𝐩 ∧ (𝐪 ∧ 𝐫) ≡ (𝐩 ∧ 𝐪) ∧ 𝐫
𝟒𝐚. 𝐩 ∨ (𝐪 ∧ 𝐫) ≡ (𝐩 ∨ 𝐪) ∧ (𝐩 ∨ 𝐫) 𝟒𝐛. 𝐩 ∧ (𝐪 ∨ 𝐫) ≡ (𝐩 ∧ 𝐪) ∨ (𝐩 ∧ 𝐫)

𝟓𝐚. 𝐩 ∨ ~𝐩 ≡ 𝐕 𝟓𝐚. 𝐩 ∧ ~𝐩 ≡ 𝐅
𝟔𝐚. 𝐩∨ 𝐕≡𝐕 𝟔𝐚. 𝐩∧𝐕≡𝐩
𝟕𝐚. 𝐩∨ 𝐅≡𝐩 𝟕𝐚. 𝐩∧𝐅≡𝑭

26
ÁLGEBRA PROPOSICIONAL

Leyes de Morgan
𝟖𝐚. ~(𝐩 ∨ 𝐪) ≡ ~𝐩 ∧ ~𝐪 𝟖𝐛. ~(𝐩 ∧ 𝐪) ≡ ~𝐩 ∨ ~q

Leyes de Absorción
𝟗𝐚. 𝐩 ∨ (𝐩 ∧ 𝐪) ≡ 𝐩 𝟗𝐛. 𝐩 ∧ (𝐩 ∨ 𝐪) ≡ 𝐩

Falsa Absorción
𝟏𝟎𝐚. 𝐩 ∨ (~𝐩 ∧ 𝐪) ≡ 𝐩 ∨ 𝐪 𝟏𝟎𝐛. 𝐩 ∧ (~𝐩 ∨ 𝐪) ≡ 𝐩 ∧ 𝐪

Condicional
𝟏𝟏. 𝐩 → 𝐪 ≡ ~𝐩 ∨ 𝐪 𝟏𝟐. 𝐩 → 𝐪 ≡ ~𝐪 → ~𝐩

Bicondicional 𝟏𝟑. 𝐩 ↔ 𝐪 ≡ (𝐩 → 𝐪) ∧ (𝐪 → 𝐩)

27
ÁLGEBRA PROPOSICIONAL

Negación 𝟏𝟒. ~(~𝐩) ≡ 𝐩 𝟏𝟓. ~(𝐕) ≡ 𝐅 𝟏𝟔. ~(𝐅) ≡ 𝐕

Disyunción excluyente 𝟏𝟕. 𝐩 △ 𝐪 ≡ ~(𝐩 ↔ 𝐪)

Bicondicional Disyunción excluyente

𝟏𝟖𝐚. 𝒑 ↔ 𝐩 ≡ 𝐕 𝟏𝟖𝐛. 𝒑 △ 𝐩 ≡ 𝐅
𝟏𝟗𝐚. 𝒑 ↔ 𝐪 ≡ 𝐪 ↔ 𝐩 𝟏𝟗𝐛. 𝒑 △ 𝐪 ≡ 𝐪 △ 𝐩

𝟐𝟎𝐚. ~ 𝐩 ↔ 𝐪 ≡ ~𝒑 ↔ 𝐪 𝟐𝟎𝐛. ~ 𝐩 △ 𝐪 ≡ ~𝒑 △ 𝐪
≡ (𝒑 ↔ ~𝐪) ≡ (𝒑 △ ~𝐪)

𝟐𝟏𝐚. ~𝐩 ↔ ~𝐪 ≡ 𝒑 ↔ 𝐪 𝟐𝟏𝐛. ~𝐩 △ ~𝐪 ≡ 𝒑 △ 𝐪

28
Ejercicio
6:
Simplifique las siguientes fórmulas lógicas
I. ( p ∧ q ) → ( p )
II. q ∧ ~( p → q )
III. [ ( p ∧ ~q ) → q ] ∧ ( p ∨ q )

(p∧ q)→(p) q ∧ ~( p → q ) [ ( p ∧ ~q ) → q ] ∧ ( p ∨ q )
≡(~p ∨ ~q ) ∨ p ≡ q ∧ ~(~p ∨ q ) ≡[ (~ p ∨ q ) ∨ q ] ∧ ( p ∨ q )
≡(~p ∨ p ) ∨ ~q ≡ q ∧ (~q ∧ p ) ≡[ ~ p ∨ q ] ∧ ( p ∨ q )
≡ V ∨ ~q ≡ ( q ∧ ~q ) ∧ p ) ≡(q∨~p)∧(q∨p)
≡V ≡F∧p ≡q∨(~p∧ p)
≡F ≡q∨F
≡q

29
Propuesto
3:
Simplifique
( ∼ [(p → q) ∧ ∼ p] ) ∨ [(q → p)∧ ∼ q]

Primera práctica 2022-1

Rpta: q → p

30