“UNIVERSIDAD NACIONAL “JORGE BASADRE GROHMANN” LÓGICA

CENTRO PREUNIVERSITARIO
LÓGICA PROPOSICIONAL
CEPU CICLO I-2022

LÓGICA PROPOSICIONAL 2. Proposición Compuesta: Formada por dos o

más proposiciones simples unidas por conectivos
También llamada simbólica o matemática, es aquella lógicos o por el adverbio de negación, también
parte de la lógica que estudia las proposiciones y pueden contener signos de agrupación.
símbolos utilizados en la formación de nuevas Ejemplo:
proposiciones que podrán ser verdaderas o falsas, • 14 es un número primo y 4 es impar.
señaladas por reglas formales.
CONECTIVOS LÓGICOS: también conocidos como
El cálculo proposicional estudia la estructura de las conectores lógicos son símbolos que enlazan dos o más
proposiciones e inferencias; para ello dispone de un proposiciones simples para formar una proposición
procedimiento que permite hallar la verdad o falsedad compuesta. Los conectores lógicos que usaremos son:
de una función, dependiendo de los valores que
independientemente tomen cada una de las variables SÍMBOLO OPERACIÓN LÓGICA SIGNIFICADO
componentes. ~ Negación No p
∧ Conjunción pyq
Este método o procedimiento mecánico se denomina ∨ Disyunción poq
TABLAS DE VERDAD. Donde se representa a cada → Condicional Si p, entonces q
variable que representa a una proposición verdadera (V) ↔ Bicondicional p si y sólo si q
y a cada variable que representa a una proposición falsa Δ Disyunción Exclusiva "o ........ o ........"
(F).
Observación: La negación es un conector monádico,
ENUNCIADO: Es cualquier frase u oración que expresa afecta solamente a una proposición.
una idea en nuestro lenguaje.
SIGNOS DE AGRUPACIÓN: también conocidos como
PROPOSICIÓN: Son oraciones aseverativas que se signos de colección sirven para separar conectivos
pueden calificar como verdaderas (V) o falsas (F). Se lógicos y entrelazan proposiciones, son los paréntesis,
representan con las letras minúsculas del abecedario: p; corchetes y las llaves.
q; r; s.
OPERACIONES LÓGICAS Y TABLAS DE VERDAD
Ejemplo:
* Alan García murió muy delicado de salud. Es una gráfica que sirve para analizar esquemas
* 7 < 45 moleculares, estos esquemas dependen de los valores
*5=3−2 de las proposiciones componentes y la correcta
aplicación de las reglas veritativas correspondientes a
Oraciones que no representan proposiciones: sus conectores.
1. Oraciones interrogativas
2. Oraciones Exclamativas La validez de una proposición compuesta depende de
3. Oraciones Dubitativas (dudas) los valores de verdad de las proposiciones simples que
4. Oraciones Desiderativas (deseos) la componen y se determina mediante una tabla de
5. Oraciones que utilicen personajes ficticios verdad.
6. Oraciones donde no se hace uso correcto de los
niveles de lenguaje. Fórmula Proposicional
7. Enunciados abiertos
8. Verbos en infinitivo Variables
9. Doxas o juicios valorativos A B (A  B) → B
10. Refranes y/o proverbios 1 1 1 1 1
11. Creencias populares Arreglos o 1 0 1 0 0
12. Sinsentidos casos 0 1 1 1 1
13. Oraciones que encierran ambigüedades 0 0 0 1 0

CLASIFICACIÓN DE LAS PROPOSICIONES: Matriz Principal

1. Proposición Simple: Son proposiciones que no Observaciones:

llevan conector lógico ni adverbio de negación, es • Las variables y los arreglos dependen directamente
decir, poseen una sola proposición. del número de proposiciones simples que tenga la
Ejemplo: proposición a evaluar. Esto significa que si se
• Cincuenta es múltiplo de tres. tuviera una proposición con 3 variables, el número
de arreglos ya no sería 4 sino 8, por la sencilla razón
1
 LÓGICA Práctica 01

que el número de arreglos se determina con la IMPORTANTE:

siguiente fórmula:
✓ Cuando los valores del operador principal en una
Número de arreglos: # filas = 2n tabla de verdad son todos verdaderos se dice que
Donde: el esquema molecular es tautológico.
n: número de variables de la fórmula ✓ Se dirá que el esquema molecular es contradictorio
proposicional. si los valores del operador principal son todos
2: combinación de los valores 1 y 0. falsos.
✓ Si los valores del operador principal tienen por lo
• El resultado de la matriz principal siempre va debajo menos una verdad y una falsedad se dice que es
del conector de mayor jerarquía (conector principal), contingente o consistente.
para esto debemos conocer la jerarquía de los
conectores: EJERCICIOS RESUELTOS

1°  1. Determinar si los siguientes enunciados son

2° ⊻ proposiciones (V) o no (F), en el orden señalado:
3° →
4°  I. ¡Oh Dios!
5°  II. Alejandra es la niña más tierna del aula.
III. 83+2=5
6° 
IV. Un número par más otro número impar
siempre resulta un número impar.
Ejemplos:
A Fórmula proposicional negativa A) FVFV B) FFFF C) FFFV
A→B Fórmula proposicional implicativa D) VVVV E) FFVV
(A → B)  C Fórmula proposicional conjuntiva
ABCD Aplicando la jerarquía de conectores: Solución:
(A  B)  (C  D)
Fórmula proposicional biimplicativa I. ¡Oh Dios!, es una oración exclamativa, por lo
que no representa una proposición: F
• La interrelación entre las variables de las
proposiciones simples se evalúan teniendo en cuenta II. Alejandra es la niña más tierna del aula, es
las reglas de los conectores lógicos y los signos de una oración que expresa un juicio valorativo,
agrupación. por lo que no representa una proposición: F

REGLA DE LOS CONECTORES LÓGICOS III. 83+2=5, analizada esta igualdad podemos
determinar que es falsa, por ello representa
La validez de una proposición se puede demostrar una proposición: V
mediante la siguiente tabla:
IV. Un número par más otro número impar
siempre resulta un número impar, analizado
Negación de la

Negación de la
Bicondicional

el enunciado podemos determinar la verdad o

Condicional
Operadores

Conjunción

Conjunción
Disyunción

Disyunción

Disyunción

Replicador

falsedad de este, por ello representa una

Negación

Exclusiva
Inclusiva

proposición: V

Respuesta: E) FFVV
p q q pq pq p→q p q p q pq pq pq
V V F V V V V F F F V 2. Determine el valor final de:
(r → p)  [(q → p)  (p  r)] es:
V F V F V F F V F V V
F V F V V F V F V F A) VVFFFFFF B) VFVFVFVF C) VFFFFFVV
F F F F V V F V V V D) FFFFFFFF E) VFFFFVVV

= ⊻ Solución:
 
Otras  
−     Para determinar el valor de verdad del esquema
simbo-   
 x +  
logías    molecular, debemos llevarlo a una tabla de verdad.
 .
 >-< Nuestra tabla debe contener un arreglo de 8 filas,
 debido a la cantidad de variables proposicionales
(p, q, r : 23 = 8), procedemos a llenar los valores
de verdad de las proposiciones, empezamos por
2
 LÓGICA Práctica 01

“r”, luego “q” y finalmente “p” en la tabla de Solución:

verdad, quedando de la siguiente manera:
A partir de la regla de los conectores lógicos, en
p q r  (r → p)  [ (q → p)   (p  r)] este caso, el de la disyunción débil (), para que
V V V se cumpla que p  q = F, entonces p y q deben de
V V F ser Falsas.
V F V
V F F Por lo tanto: p=Fyq=F
F V V
F V F Reemplazamos estos valores en las alternativas:
F F V
F F F A) p  q
F  F
Luego, de acuerdo al arreglo de las columnas que VF=V
corresponden a las proposiciones p, q y r, debemos
proceder a llenar los datos en las columnas que
B) p  q
corresponden a 1, ya que solo se trata de trasladar
F  F
los valores de verdad y en un caso p, lo que
VV=V
resulta muy sencillo, quedando de la siguiente
manera:
C) p → q
p q r  (r → p)  [ (q → p)   (p  r)] F → F
V→F=F
V V V V V V V F V
V V F F V V V F F D) q  h
V F V V V F V F V F  h
V F F F V F V F F Vh=V
F V V V F V F V V
F V F F F V F V F E) q → p
F F V V F F F V V F → F
F F F F F F F V F V→V=V
1 1 1 1 1 1
La proposición siempre falsa es:
Luego, utilizando las reglas de los conectores
lógicos, rellenamos los valores de verdad en el Respuesta: C) p → q
orden: 2, 3, 4 y 5.
4. La negación de la fórmula proposicional: p  q es
p q r  (r → p)  [ (q → p)   (p  r)] verdadera, luego p y q valen respectivamente:
V V V F V V V F F V V V F F F V V
V V F F F V V F F V V V F V F F F A) VF B) FV C) FF
V F V F V V V F F F V V F F F V V D) FF E) VFF
V F F F F V V F F F V V F V F F F
F V V V V F F F V V F F F F V V V Solución:
F V F F F V F F V V F F F F V V F
F F V V V F F F F F V F F F V V V Si la negación de la fórmula proposicional: p  q
F F F F F V F F F F V F F F V V F es verdadera, entonces:
3 1 2 1 5 3 1 2 1 4 3 1 2 1
 (p  q) = V
5: Matriz principal del esquema proposicional,
cuyos valores son: FFFFFFFF. Al quitar la negación, sucede que: q → p = F

Respuesta: D) FFFFFFFF Entonces, q = V y p = F

3. Si la proposición formal p  q es falsa lógicamente, Luego p y q valen respectivamente: FV

luego la proposición siempre falsa es:
Respuesta: B) FV
A) p  q B) p  q C) p → q
D) q  h E) q → p 5. Sean las proposiciones:
p: Ilo es una provincia de Moquegua.
q: 2  10
r: El tema de la práctica Nro. 01 de Lógica del
CEPU CICLO-II 2021 es de Formalización.
3
 LÓGICA Práctica 01

Y, dadas las siguientes fórmulas: EJERCICIOS PROPUESTOS

I. p  [(q  r)  p] 1. Si la matriz principal de un esquema molecular

II. (p  q)  (r  p) tiene solo valores Falsos, se dice que el esquema
III. p  [q  (r  p)] es …. .

¿Cuáles de ellas son falsas? A) Contradictorio B) Tautológico

C) Indeterminado D) Condicional
A) Solo I B) Solo II C) Solo III E) Consistente
D) I y II E) Todas
2. Las proposiciones … solo serán falsas cuando sus
Solución: componentes tienen diferente valor de verdad.

Primero debemos determinar el valor de verdad de A) Conjuntivas B) Condicionales

las proposiciones p, q y r: C) Bicondicionales D) Negativas
E) Disyuntivas excluyentes
p: Ilo es una provincia de Moquegua. (V)
q: 2  10 (F) 3. Eduardo y José Luis estudian en el Centro Pre
r: El tema de la práctica Nro. 01 de Lógica del Universitario de la UNJBG. Es una proposición:
CEPU CICLO-I 2022 es de Formalización. (F)
A) Simple B) Molecular
Entonces: C) Contradictoria D) No es proposición
p=V E) Tautológica
q=F
r=F 4. Eduardo y José Luis son amigos. Es una
proposición:
Reemplazamos estos valores en las fórmulas
siguientes: A) Simple B) Molecular
C) Compuesta D) No es proposición
I. p  [(q  r)  p] E) Tautológica

Si p es verdadero, entonces: 5. ¿Cuáles de los siguientes enunciados son

[(q  r)  p] → p proposiciones lógicas?
[ ]→V
1. El Inti Raymi o Fiesta del Sol es una celebración
(V)
que revalora la tradición incaica en las regiones
de los Andes.
II. (p  q)  (r  p)
2. Es ilógico que la lógica sea una ciencia.
(V  F)  (F  V)
3. Los organismos vivos de nuestro planeta están
(V  V)  (F  F)
conformados por más de 20 elementos
V  (F  F)
químicos.
V[ ]
4. 36𝑥 2 + 3𝑥 = 8𝑥
(V) 5. Es un historiador muy famoso.

III. p  [q  (r  p)] Son falsamente incorrectas:

V  [F  (F  V)]
F  [F  (V  V)] A)1,2,3 B) 2,3,4 C) 3,4,5
F  [F  F] D) 2,3,4,5 E) Todas
FF
(F) 6. Son proposiciones lógicas:

¿Cuáles de ellas son falsas? 1. 𝑆𝑖 10 > 7 𝑦 9 > 9, 𝑙𝑢𝑒𝑔𝑜 1 > 2

2. 𝐴 △ (𝐴 ∧ 𝐵)
Respuesta: C) Solo III −𝑏±√𝑏 2 −4𝑎𝑐
3. 𝑥 =
2𝑎
4. 5 + 35 = 40

A) 1,3,4 B) 3,4 C) 1,2,3

D) 1,2,4 E) Solo 2.

4
 LÓGICA Práctica 01

7. Al construir la tabla de verdad para el siguiente 12. Las proposiciones M ( p ;q ) y N ( p ;q ) son

esquema molecular:
equivalentes, donde:
[q → ( p  q)] p
Este resulta: M ( p ;q ) :  ( p  q) p  q

A) Tautológico B) Consistente C) Contradictorio

N( p;q ) : ( p → q)  ( p  q)
D) Verdadero E) Falso
¿Qué conectivo lógico representa ?
8. Si “p” es una proposición es Falsa, determinar el
valor de verdad de: A)  B) → C) 
D)  E) 
{[q  ( p  q)] p}  p
13. Si ( p  r )  (r → q) es falso.
A) Indeterminado B) Faltan Datos
C) Falso D) Verdadero Señale cuales son falsas:
E) Contradictorio
I. ( p  t  s) → r
9. Si: p = V; q = F; r = V.
II. (t  q )  p
¿Qué formulas son verdaderas? III. q  ( s → p )

I. ( p  q ) r A) Solo I B) I y III C) I y II
II. ( p → q)  r D) Solo III E) Ninguna
III. ( r  q)  q
14. Sea C una contradicción o absurdo y T una
IV. [( p q)  p] tautología, señalar la única contradicción:
V. [( p q )  r ]
A) (a a)  T B) (C  T ) C
Son inciertas: C) q  p D) (a  a) C
E) Ninguna
A) II y IV B) I y V C) I, III y V
D) II, III y V E) II y V 15. Sabiendo que en el siguiente esquema molecular el
valor de verdad de la proposición “q” es Falsa:

10. Si la proposición compuesta: ( p → q) ( x  p)

( p  q) → ( s r) ¿Qué valor debe tener “x” para que el esquema
sea Falso?
Es falsa, indicar los valores de verdad de: s, r, q y
p: A) V B) F C) p
D) Faltan datos E) p
A) VFFF B) VVFF C) FVFF
D) FVVV E) FVVF 16. Sea “t” una proposición verdadera, ¿en cuáles de
las siguientes proposiciones es suficiente dicha
11. Si el esquema: información para determinar su valor de verdad?

 (r  s) (q → p) → ( p → q) es falso. I. (t → p )  t
II. ( p  q ) → t
Los valores de verdad de p, q, r y s, son III. ( p → p )  t
respectivamente:
A) Solo II B) Solo III C) I y III
A) VVFV B) FFVV C) FFVF
D) II y III E) Todas
D) VVVV E) FFFF

5
 LÓGICA Práctica 01

17. Si el esquema es inverosímil:

( p q) → (−r  t )

Determinar el valor de verdad de las siguientes

proposiciones:

I. ( p  q)  (−r  t )
II. (r → t )  ( p q )
III. t  ( p → q )

A) VVV B) FFV C) VFV

D) FVF E) VVF

18. Dado el esquema: [(− p  t ) → ( p  q)] es

verdadero, luego los valores de verdad de los
siguientes esquemas son:

i. p → (t  q)
ii. [p v (w  q)] → t
iii. [p  {[r → (t  x)] v z}]

A) 001 B) 101 C) 111

D) 000 E) 010

19. Se define: p•q = p q

Determinar cuántas V y F tiene la matriz principal

de:
[(p • q)  ( p • q)] • p

A) 3F y 1V B) 4V C) 4F
D) 1F y 3V E) 2V y 2F

20. Sabiendo que el valor de verdad de la proposición

compuesta:

{[(s  m) → t]  (m  n)  s  (m  r) → n}

Siempre es Verdadero, determinar el valor de

verdad de la siguiente proposición:

(m  n)  (m  n)  r → n → (t → m)

A) V B) F C) V ó F
D) Tautología E) No se puede determinar

21. Se define:
m n m@n
V V V
F F V
F V F
V F V

Hallar: [(m @ n)  (m @ n)] → m

A) m @ n B) n C) m
D) n E) n  m