UNIVERSIDAD NACIONAL “SAN LUIS GONZAGA”

CENTRO DE ESTUDIOS PREUNIVERSITARIOS CEPU - UNICA

CEPU 2023 - II |UNIVERSIDAD NACIONAL SAN LUIS GONZAGA|

UNIDAD 01: LÓGICA

1
son más potentes que
OBJETIVOS los anteriores.
1. Reconoce enunciados, proposiciones y conectivos lógicos.
2. Opera con proposiciones lógicas y construir tablas de verdad.
3. Define: Tautología, contradicción y contingencia. En una proposición compuesta predomina la de mayor
potencia, salvo que los signos de puntuación o de agrupación
4. Distingue las leyes lógicas y las inferencias lógicas.
indiquen lo contrario.
5. Reconoce los tipos de cuantificadores.
1. DEFINICIÓN 3. CLASES DE PROPOSICIONES
Es una ciencia formal que trata de las leyes, modos y formas del 3.1
raciocinio humano. Establece si la conclusión es consecuencia ROPOSICIONES SIMPLES (PS)
de las premisas, es decir, si es válida una inferencia. Son aquellas que no poseen conectivos proposicionales.
Se simbolizan mediante letras minúsculas o letras
2. PROPOSICIÓN (P): minúsculas con subíndices.
Es una oración aseverativa, declarativa completa con un El valor de verdad de las proposiciones simples no lo
significado definido de la cual puede decirse si es verdadera determina la lógica sino las ciencias particulares, o los
(V) o falsa (F), por lo que se le llama proposición cerrada, hechos, o las circunstancias con las cuales están
(PVVD) en caso contrario, se le llama proposición abierta relacionadas.
(PVVND), la que se convierte en cerrada cuando los Ejemplos
elementos arbitrarios o variables se sustituyen por elementos
p : La vista es el órgano de la visión. PS verdadera
definidos o cuando es cuantificable. Los valores de verdad de
q : 3x − 7 = 5 . PS abierta
una proposición son: Verdadero (V) y Falso (F).
Ejemplo r: ∀∈ℝ, 2x-8=23 PS falsa
p : 13 + 7 = 20 (V); PVVD
3.2
q : 3! = 3 (F) ; PVVD ROPOSICIONES COMPUESTAS (PC)
r : x + 7 = 12 Prop. Abierta; PVVND Son aquellas que poseen por lo menos una proposición
s : x + 9 = 5 Prop. Abierta; PVVND simple y un conectivo proposicional. Es común
t : 1!= 0!+1 (F) ; PVVD identificar una proposición compuesta con el símbolo
que se le ha asignado.
u : 42 = 24 (V); PVVD
Ejemplo
• EXPRESIÓN NO PROPOSICIONAL (ENP): 2+x =8  37. PC abierta.
Es una frase que no es proposición abierta o cerrada. 4  2 → 3! = 6 . PC cerrada.
Se consideran como expresiones no proposicionales a
las: interrogaciones, órdenes exclamaciones, emociones, 4. TABLAS DE VALORES DE VERDAD (TVV)
sentimientos, directivas, etc. Es un diagrama en el que se presenta y visualizan el valor
Ejemplo de verdad de una PC cerrada, o las posibilidades de
¡Vamos!, Deténgase ahí, valor de verdad de una PC abierta; en el cual, el:
Te amo, Si o no N° de columnas = N° de PS (cerradas o abiertas)
Cuelga tu ropa! Que día es hoy? n
No Fume! N° de filas = 2n  n = N 0 de PS abiertas  valores
2
• CONECTIVOS PROPOSICIONALES (CP): Verdaderos y
n
falsos
Son términos que se usan para relacionar una o más 2
proposiciones:
CONECTIVO 5. TIPOS DE PROPOSICIONES COMPUESTAS
PROPOSICIONAL SÍMBOLO REGLAS ELEMENTALES:
FUNDAMENTAL Se llaman elementales a las que poseen a lo más 2 PS y
No … ~
Es el más débil de un CP
todos NEGACIÓN
…y… Λ p ~ p
Tienen igual potencia V F
…o… F V
entre si, pero son más
(incluyente)
potentes que .
o…o… DISYUNCIÓN DISYUNCIÓN
(excluyente) PS CONJUNCIÓN
INCLUSIVA EXCLUSIVA
Si … entonces … → Son igualmente
p q p Λ q p ν q p  q
… si y sólo si … ↔ potentes entre si, pero
 ✓ SIMPLIFICACIÓN (S)
V V V V F pqp
V F F V V pqq
F V F V V ✓ SILOGISMO HIPOTÉTICO (SH)
F F F F F
2 (p → q )  ( q → r )  (p → r )

7.4 EQUIVALENCIA (E)

(P es equivalente a Q)  ( P  Q es una tautología), lo que
PS CONDICIONAL BICONDICIONAL se denota con ( P  Q ) .
p q p → q p ↔ q 7.5 NO EQUIVALENCIA
V V V V (P no equivalente a Q)  ( P  Q no es una tautología), lo
V F F F que se denota con ( P  Q).
F V V F 7.6 EQUIVALENCIAS NOTABLES (EN)
F F V V ✓ Doble Negación ( DN ):
Se leen: p p p p
✓ ~ p : no p; es falso que p; no es cierto que p, no es ✓ Idempotencia( Idem.):
verdad que p. p pp p pp
✓ p  q : p y q; p a la vez q; p pero q; p sin embargo q; ✓ Conmutatividad ( Conm.):
p aunque q; p no obstante q; … p  q q p p  q q p
✓ p  q : p o q; p y/o q ✓ Asociativa ( Asoc.) :
✓ p q : o p o q; p o q pero no ambas p  q  r  p  (qr)  (pq)  r
✓ p → q : Si p entonces q; p es condición necesaria p  q  r  p  (qr)  (pq)  r
para q. ✓ Distributiva ( D ):
Donde p es el antecedente y q es el consecuente p  (q  r)  (p  q)  (p  r)
✓ p  q : p si y sólo si q; p es condición necesaria y p  (q  r)  (p  q)  (p  r)
suficiente para q. ✓ De Morgan ( DM ):
6. CLASES DE PROPOSICIONES COMPUESTAS ABIERTAS:  (p q)  p  q
Una proposición abierta es una:  (p q)  p  q
❖ Tautología (T) ✓ Condicional ( Cond.):
Si y sólo si en su TVV, todos los valores de verdad del p → q ( pq) (p q)(q→p)
conectivo dominante son V. ✓ Bicondicional( B ):
❖ Contradicción (C) p↔q (p→q)(q→p)(pq)(q p)
Si y sólo si en su TVV, todos los valores de verdad del  (p q)  ( p  q)
conectivo dominante son F. ✓ Absorción ( Ab ):
❖ Contingencia p (p  q)  p
Si y sólo si en su TVV, todos los valores de verdad del p (  p  q)  p  q
conectivo dominante hay por lo menos una p (p  q)  p
p (  p  q)  p  q
7. LEYES LOGICAS ✓ Disyunción Exclusiva ( DE ):
Son las implicaciones notables y las equivalencias p  q  (pq) (pq)
notables
 (pq)(pq)
7.1 IMPLICACIÓN (I)
✓ Complementación ( Comp.):
P implica a Q (P→Q es una tautología), lo que
pp T pp C
se denota con ( P  Q ) .
T  C C  T
Ejemplo
✓ Identidad ( I ):
Si P : p → q  r y Q : ( p → q )  ( p → r ) entonces
p T  p p C C
PQ.
p T T p C  p
7.2 NO IMPLICACIÓN
(P no implica Q)  ( P → Q no es una tautología),
8. INFERENCIA
lo que se denota con ( P   Q). Definición:
7.3 IMPLICACIONES NOTABLES (IN) Es una estructura de proposiciones en donde a partir de una
✓ MODUS PONENDO PONENS (MPP): o más proposiciones llamadas premisas se obtiene otra que
(p → q )  p  q es la conclusión, haciendo uso de las Implicaciones
✓ MODUS TOLLENDO TOLLENS (MTT): Notables y de las Equivalencias Notables.
( p → q )  ~ q ~ p Ejemplos
✓ MODUS TOLLENDO PONENS (MTP) 1. 4  9  9  17 → 4  17
( p  q ) ~ p q 2. Todas las mujeres son mortales. Cecilia es mujer.
( p  q )  ~ q p Por lo tanto, Cecilia es mortal.
 TRANSFORMACIÓN Y SIMPLIFICACIÓN DE
PROPOSICIONES 1) Si la proposición molecular ~ [( p  q) → (q → r )]
Transformar una proposición es convertirla en otra es verdadera entonces el valor de verdad de las
equivalente más sencilla, de ser posible. Simplificar una proposiciones p, q, r, en ese orden, es:
proposición es transformarla en otra equivalente que posea el
3 A) VVV B) VFV C) VVF D) FFV E) FFF
menor número de proposiciones simples y de conectivos
proposicionales, haciendo uso de la EN.
2) Sean las proposiciones p, q, r , s, x, y. Si la
9. CUANTIFICADORES:
proposición ~ [( p  r ) → (q  s)] es verdadera y se
Cuantificador Universal:
Se denomina así a la expresión: tiene las proposiciones:
“Para todo … se verifica …”, y se simboliza por “  ”. i) p  [ x  (r  s)]
Cuantificador Existencial: ii) (q  r  y ) → s
Se denomina así a la expresión: iii) (q  x) → ( y  s)
“Existe al menos un … tal que se verifica … “, y se
simboliza por iv) ( s → x) → ( y  ~ r )
Variante del Cuantificador Existencial entonces, el número de proposiciones verdaderas, es:
Se denomina así a la expresión: A) 0 B) 1 C) 2 D) 3 E) 4
“Existe un único… tal que se verifica …” y se simboliza por
3) “Carmen es deshonesta e impuntual porque no dijo la
10. CUANTIFICACIONES: verdad a Jaime y llego a las 8:30 a.m. de ahí que no es
A partir de las proposiciones abiertas se pueden obtener amiga de confianza de Jaime”. Entonces la
Proposiciones cerradas, por ejemplo, mediante el proceso simbolización del argumento es:
de cuantificación, es decir, usando cuantificadores. A) [( p  q) → (~ r  s)] →~ t  s
Cuantificación Universal en la variable x:
Se denomina así a la expresión: “Para todo x se verifica p B) [( p  q) → (~ r  s)] → ( s  ~ r )
(x)”, y se le simboliza por  x : p (x). C) [(~ r  s) → (p  q)] →~ t
Cuantificación Existencial en la variable x: D) [(~ r  s) →~ ( p  q)] →~ t
Se denomina así a la expresión: “Existe al menos un x tal
que se verifica p (x)”,y se le simboliza por  x / p (x). E) [(~ r  s) → ( p  q)] → t  w
Variante de la Cuantificación Existencial en la variable x:
Se denomina así a la expresión: “Existe un único x tal que 4) “Si eres estudiante del C.E.P.U., te estas preparando
se verifica p(x) ” y se le simboliza por ! x / p (x ) adecuadamente, pero no están preparando
adecuadamente….”, entonces la conclusión, es:
11. NEGACIÓN DE CUANTIFICACIONES: A) eres estudiante del C.E.P.U.
 x : p(x)   x /  p(x) B) te están preparando adecuadamente
  x / p(x)  x :  p(x) C) no eres estudiante del C.E.P.U.
Afirmación Negación D) no te están preparando adecuadamente
E) estudias en el C.E.P.U.
1) Todo(s)…es (son) … Algún (os)…no es (no son)
Ninguno…no es… 5) Al simplificar la
proposición [( p  q) ~ ( p → q)] ~ ( p  q), entonces
2) Ninguno … es … Algún (os)…es (son)…
se obtiene:
Todo(s)… no es (no son) …
A) p B) q C) p∨q D) p  ~ q E) ∼(p∨q)
3) Algún (os) …es (son) … Ninguno … es …
Todo (s) … no es (no son) … 6) Al simplificar la proposición
([( p  q)  r ]  r  ( p  q  r )  ( p  q  r ))  p,
12. VALOR DE VERDAD DE LAS CUANTIFICACIONES entonces, se obtiene:
A) Una cuantificación universal es V si y solo si son V todas
A) p∨r B) p∨q C) r∨q D) q  ~ r E) p ~ r
las proposiciones particulares asociadas a la proposición
abierta que forma parte de ella.
B) Una cuantificación existencial es V si y solo si es V alguna 7) Dado el conjunto A = {0;2;4;6;8} entonces el valor de
de las proposiciones particulares asociadas a la verdad de cada una de las proposiciones siguientes:
proposición abierta que forma parte de ella. i) x  A : x + 3  10
ii) x  A : x + 3  10
iii) x  A : x + 1  0
iv) x  A; y  A : x  y , es:
Preguntas propuestas # 1 A) VVVV B) VFVF C) FVFV D) VVVF E) VFFV
 8) Si p # q  (~ p  q) → p entonces el valor de 15) Dadas las siguientes proposiciones:
verdad de cada una de las proposiciones siguientes: i) {~ q  [( p → q) ~ p]}  ( p  q)
i) ( p # q)  q ii) [( p → q) ~ q] →~ ( p  q)
ii) ~ ( p # q)  p iii) [( p  q) ~ p]  ( p ~ q)
4
iii) ( p # q)  (q # p) , es: iv) [(~ p  q)  p]  [(~ q  p)  p]
A) VVF B) VFV C) VFF D) FFV E) FFF entonces el número de proposiciones tautológicas, es:
A) 4 B) 3 C) 2 D) 1 E) 0
9) Dado el argumento, “Es falso que Jorge sea estadista y
no sea a la vez matemático”. Entonces su equivalente, 16) Dado las siguientes proposiciones:
es: i) x  N ; y  R / x + 1  y  x
A) si Jorge es estadista o matemático ii) x  N ; y  R / y 2  x  ( y − 1) 2
B) Jorge es estadista o matemático
C) Jorge no es estadista o no es matemático iii) x  N ; y  R / x  ( y − 1) 2  ( y 2  x)
D) si Jorge es estadista, es matemático iv) x  R; y  N / y  x  ( y + 1  x)
E) Jorge es estadista o no es matemático Entonces el valor de verdad de cada una de las
proposiciones, es:
10) Dado el argumento, “Si terminas la tarea, irás a la fiesta. A) VVVV B) VFFV C) VFVF D) VVFF E) FFFF
No aprobarás el examen, si dejas de lado todas tus
obligaciones, también tenemos que si vas a la fiesta, 17) Para una proposición cualquiera “m” se define:
dejas de lado tus obligaciones, lo cierto es que terminas 1 ; si m es verdadero
la tarea”. Entonces la conclusión, es: F ( m) = 
A) no iras a la fiesta 0 ; si m es falso
B) no terminas la tarea  F ( x) = 1, donde x = ( p  r ) → s
Si 
C) no aprobarás el examen
 F ( y ) = 0, donde y = p  (r → p)
D) terminas tus obligaciones
entonces el valor de la suma
E) vas a la fiesta
F ( p  r ) + F (r  s) + F ( p → s) + F (~ p), es:
11) Si: A) 0 B) 1 C) 2 D) 3 E) 4
P1: 5 + 3 = 7 → 11  10
18) “Alberto y María son hermanos”; entonces es una
P2: 11  6  15  13
proposición:
P3: 81 = 9  −5 = 25
2
A) conjuntiva B) disyunción fuerte
P4: 6  10  15 + 18  14 + 16 C) disyunción débil D) condicional E) atómica
Entonces el valor de verdad de las proposiciones dadas
respectivamente, es: 19) Dados los siguientes argumentos:
A) VVVV B) FFFF C) VVVF D) VVFF E) FFVV i) Si César no es egoísta, es honrado y sincero. César
no es honrado pero es sincero. Entonces, César es
12) Al simplificar la proposición egoísta.
[(~ p  q) → (~ s  s)] ~ q→~ t, entonces se ii) Si Pedro es casado, tiene familia. Si tiene familia
tiene problemas personales. En consecuencia si
obtiene:
Pedro es casado, tiene problemas personales.
A) ~ p  q B) p → q C) s → t
iii) Jorge es músico o deportista. Por lo tanto si es
D) t → q E) ~ p  t músico no es deportista.
Entonces la validez de los argumentos, es:
13) Al simplificar la proposición A) VVF B) VFV C) VVV D) FVF E) FVV
[( p  q) →~ p] → [q  ( p →~ q)], entonces su
equivalencia, es: 20) Dado el esquema molecular:
A) p∧q B) p C) q D) ~ p  q E) p∨q [(~ q →~ r )  ( p →~ q)] → (~ p ~ r ). Entonce
s la columna principal, es:
14) Al simplificar la proposición A) VVVFFFVF B) FFFFFFFF
[(~ p  q) →~ q]  (q → p), entonces su C) VVVFFVVF D) VVVVVVVV
equivalente, es: E) FFFFVVVV
A) p B) q C) p∧q D) p  ~ q E) ~ p  q
5