PRACTICO 1: INTRODUCCION A LA LOGICA SIMBOLICA

PRACTICO 1
TALLER 1:
- Realizar un cuadro Resumen de las dos grandes épocas de la Lógica
- Escribir 5 enunciados que sean proposiciones
- Escribir 5 enunciados que no sean proposiciones
TALLER 2: Cuáles de las expresiones siguientes son proposiciones y cuáles no. Encuentre el
valor de verdad de las que son proposiciones:
1. El año 2024 es bisiesto.
2. El Perú es un país europeo
3. Recoge ese libro.
4. x – 2 = 5.
5. ¡Hola como amaneciste!
6. La raíz cuadrada de -1 es un numero imaginario
7. Ve a comprar pan.
8. Amanece
9. y +5 ≥ 10
10. 10 es un número primo
TALLER 3: Si se consideran proposiciones, Indicar con una S cada proposición Simple y con
una C cada proposición Compuesta.

1. Fobos es un satélite de Marte.

2. Julio Cesar descubrió América.
3. Los dos grandes aportes de los romanos fueron el derecho y el cristianismo.
4. Los videos no son pruebas judiciales.
5. El cerebro y el corazón son órganos vitales.
6. Juan y María serán elegidos miembros de la asamblea.
7. No es cierto que Amanda sea economista
8. Si hace frio entonces nos enfermamos.
9. Ojalá la pandemia del coronavirus pase pronto.
10. No es verdad que las clases serán presenciales.

TALLER 4: Realizar la tabla de los valores de verdad de 5 proposiciones atómicas (p,q,r,s,t)

TALLER 5: Realizar la tabla de los valores de verdad de las siguientes operaciones.

ESTRUCTURAS DISCRETAS (Z1,Z5,SK)

PRACTICO 1: INTRODUCCION A LA LOGICA SIMBOLICA

ESTRUCTURAS DISCRETAS (Z1,Z5,SK)

PRACTICO 1: INTRODUCCION A LA LOGICA SIMBOLICA

TALLER 6: Simbolizar

1. El Ché Guevara fue escritor, poeta y revolucionario.

2. Perú y Brasil son países sudamericanos.
3. La matemática y la biología son ciencias exactas o la medicina no es un arte.
4. Si los ingresos aumentan, las copras de los consumidores aumentan.
5. Cuando los consumidores compran más, los hombres de negocios invierten más.
6. Los estudiantes estarán contentos si y solo sí no hay examen.
7. Si éste es un buen libro, entonces vale la pena leerlo.
8. Si la tormenta continua o anochece, nos quedaremos a cenar o a dormir
9. No es verdad que soy malicioso y bueno a la vez.
10. Si eres malicioso entonces no conseguirás amigos.

TALLER 7: Dadas las proposiciones p=”2024 es un año bisiesto” q=” El mes de febrero tiene
29 días”, sus valores de verdad ϑ (p) = V ϑ (q) = F

1.- Traducir al lenguaje natural cada una de las proposiciones siguientes, luego encontrar su
valor de verdad.

a) ~ p  ~ q
b) P V q
c) p ⊻ ~ q
d) ~p ^ ~q
e) ~ (p ^ q)
f) p↑q
2.- Dadas las proposiciones p=” llueve” q=” hace sol”, sus valores de verdad ϑ (p) = V ϑ (q) =
F
Formalizar, y encontrar el valor de verdad de las siguientes proposiciones:
i. Llueve y hace sol.
ii. Llueve y no hace sol.
iii. O Llueve o hace sol.
iv. Si no llueve, hace sol.
v. No es cierto que llueva.
vi. No es cierto que no llueva
vii. Hará sol si y solo sí no llueve.
3.- Traducir al lenguaje natural las siguientes proposiciones. Dadas las proposiciones p=” Juan
asiste a clases”; q=” Juan estudia en casa”, r=” Juan reprueba el semestre” s=” Juan es
reconocido por sus padres”
i. ( p ∧q ) ∨( r ∧ s ¿
ii. ( p ∧q ) ↔ ( r ∧ s ¿
iii. ¿ q ) →( r ∧ s ¿

ESTRUCTURAS DISCRETAS (Z1,Z5,SK)

PRACTICO 1: INTRODUCCION A LA LOGICA SIMBOLICA

iv. ∼ ¿ q ¿ →(r ∨ ∼ s) )
4.- Dada la proposición condicional apruebo el semestre si hago las tareas y asisto a clases,
encontrar
a) La recíproca
b) La contraria
c) La contrarrecíproca

TALLER 8: Dadas las siguientes proposiciones

 p=”2 es un número par”

 q=”1 es un número primo”
 r=”1+1 ¿ 2
 t = “(−2)2es un número impar”
 u=”1+1 ≠ 2
 s=” 2+ 1 ≥ 3
a) Encontrar el valor de verdad de las siguientes Fórmulas Proposicionales.
 [ (p ↔ q) → r] ⟷ s
 [(p→q) ᴧ u] v ~ t
 (r v s) ↔ (t ⊻ ~ s)
 (r ⟷ u) v (p  ~ q)

TALLER 9: Utilizando cualquiera de los métodos aprendidos encontrar el valor de

las siguientes FP y clasificarlas.
Ej. 1: [(p → q) v ~ r]
Ej. 2: [(p → q ^ (q → r)] → (p → r)

Ej. 3: (p ↔ q) ↔ ~ [(p → q) ^ (q → p) ]

Ej. 4: (p ⊻ q) ↔ ~ (p ↔ q)

Ej. 5: [ ( p ⊻ q ) v ( p ↔ q ) ] → [ (~ p v ~q ) ^ ~ p ]

ESTRUCTURAS DISCRETAS (Z1,Z5,SK)

PRACTICO 1: INTRODUCCION A LA LOGICA SIMBOLICA

EQUIVALENCIA LOGICA - SIMPLIFICACION DE FORMULAS

PROPOSICIONALES

TALLER 10:
 (p Λ q) V ( p Λ q)
 (q  p)  q
 (p  q)  (  p  q )
 (p  q)  (q  p)
 (p  q)  (q  p)   p
 (p ↑ q ) → (p ↓ q )
 [(p ⊻ q)V (p ↔ q)] → [( pv q) Λ
p]
 (~ p ⊻ ~ r) ↔ [~ (p ^ q) v ~ r)

IMPLICACION LOGICA – INFERENCIA

TALLER 11: Dadas las siguientes premisas determine la conclusión

justificando las reglas de premisas.

Ej1:
- Si las elecciones se anticipan, los nuevos partidos no podrán presentar
candidatos.
- Se anticipan las elecciones.
Ej2:
- Los ciegos pueden comprender geometría.
- Si fuera necesaria la visión para comprender geometría, los ciegos no la
comprenderían.
Ej3:
- La moral emplea un lenguaje prescriptivo o utiliza un lenguaje
descriptivo.
- La moral no emplea un lenguaje descriptivo.
Ej4:
- La muestra está bien tomada o no lo está.
- Si la muestra está bien tomada, entonces la muestra ha sido escogida al
azar.
- Si no lo está, entonces se ha consultado sólo a un estrato social.

TALLER 12: Simbolizar y aplicar reglas de inferencia para:

Ej1: Demostrar la validez del siguiente razonamiento

ESTRUCTURAS DISCRETAS (Z1,Z5,SK)

PRACTICO 1: INTRODUCCION A LA LOGICA SIMBOLICA

 Los estudiantes estarán contentos si y solo si no hay examen.

 Si los estudiantes están contentos, el profesor se sentirá feliz.
 Si el profesor se siente feliz, no está en condiciones de explicar.
 Si no está en condiciones de explicar, habrá examen.
Por tanto, los estudiantes no están contentos.

Ej2: Demostrar la validez del siguiente razonamiento utilizando el método de la DC.

 Si Valdés ha instalado la calefacción central, entonces ha vendido su
coche o ha pedido dinero prestado al banco.
 Valdés no ha pedido dinero prestado al banco.
Por lo tanto, si Valdez no ha vendido su coche, entonces no ha instalado
calefacción central.

Ej3: Demostrar la validez del siguiente razonamiento utilizando el método RAA.

 Si éste es un buen libro, entonces vale la pena leerlo.
 El Algebra es fácil o este libro no vale la pena leerlo.
 Pero el Algebra no es fácil.
Por tanto, este no es un buen libro.

Ej4: Demostrar la validez del siguiente razonamiento utilizando el método RAA.

 No es verdad que soy malicioso y bueno a la vez.
 Si quieres conseguir amigos entonces tienes que ser bueno.
Por tanto, si eres malicioso entonces no conseguirás amigos.

Ej5: Demostrar por cualquiera de los métodos aprendidos

 Si “sueldos anticipados” es una cuenta del activo, entonces “hipotecas”
es una cuenta del pasivo.
 Si “intereses percibidos” es una cuenta de ingresos, entonces
“comisiones pagadas” es una cuenta de resultados.
 “Sueldos anticipados” es una cuenta del activo o “intereses percibidos”
es una cuenta de ingresos.
Por consiguiente, “hipotecas” es una cuenta del pasivo o “comisiones
pagadas” es una cuenta de resultados.

Ej6: Demostrar por cualquiera de los métodos aprendidos

 Si el reloj está adelantado, llegare temprano a clases.
 El reloj no está adelantado.
Por lo tanto, no llegaré temprano a clases.

Ej7: Demostrar por cualquiera de los métodos aprendidos

 Juan es muy inteligente o estudioso
 Juan no es estudioso
Por lo tanto, Juan es inteligente.

Ej8: Demostrar por cualquiera de los métodos aprendidos

 Alex o Carlos serán segundos cada vez que Pablo triunfe

ESTRUCTURAS DISCRETAS (Z1,Z5,SK)

PRACTICO 1: INTRODUCCION A LA LOGICA SIMBOLICA

 Cuando Alex sea segundo, Pablo no triunfará.

 Si Juan es segundo, entonces Carlos no será segundo.
Por lo tanto, Si Pablo triunfa entonces Juan no será segundo.

Ej9: [ (∼ p v ∼ q ) ^ ( r  p ) ] ├ ( q  ∼ r )

Ej10:{ [ (p  q) ^ (q r)] ^ (p v s) ^ [(s  t ) ^ (t u)] } ├ (~ r  u)

ESTRUCTURAS DISCRETAS (Z1,Z5,SK)

PRACTICO 1: INTRODUCCION A LA LOGICA SIMBOLICA

LOGICA DE PREDICADOS
Taller 1: Formalizar y Clasificar las siguientes proposiciones si son o no
proposiciones categóricas

1) Todos los gatos son animales. (A)

2) Algunos gatos son negros.
3) Ningún héroe es cobarde
4) Todas las aves son animales.
5) Algún perro es consentido.
6) Alguna ave no es gallina.
7) Ningún soltero es casado
8) Ningún niño es viejo. (E)
9) Algunas rosas no son rojas.
10)Todos los ingenieros son inteligentes.
11)Daniel se suicidó
12)Es falso que Pedro y Daniel sean alquimistas
13)Pedro es poeta, escritor pero no ingeniero
14)Algún viajero es infeliz.
15)Si es infeliz entonces nunca fue viajero.

II) Encontrar las Equivalencias de los siguientes enunciados.

1. “Es falso que todo boliviano sea sudamericano”

a. Todo boliviano es sudamericano
b. Todo boliviano no es sudamericano
c. Ningún boliviano es sudamericano
d. Algunos bolivianos no son sudamericanos
e. Ninguno de ellos.
2. Ningún arácnido es vertebrado
a. Todo animal es arácnido a menos que sea vertebrado.
b. Para todo animal no es arácnido a menos que no sea vertebrado.
c. Es falso que algunos vertebrados no sean arácnidos.
d. Todo vertebrado es arácnido.
e. Ninguno de ellos.
3. Identificar la proposición categórica equivalente a “Todo desleal es infiel”
a. Algún desleal no es fiel.
b. Ningún fiel es leal.
c. Algún fiel es desleal.
d. Ningún desleal es fiel.
e. Ninguno de ellos.

III) Hallar los valores de verdad de las proposiciones dadas.

p: ∀x ϵ Naturales, x 2=x + 1
q: ∃ x ϵ Naturales: x 2 = x
x
r: ∀ x ϵ Naturales, =1
x
s: ∀ x ϵ Reales, │x+1│= x
t: ∃ x ϵ Reales, x + 5 ¿ 0

ESTRUCTURAS DISCRETAS (Z1,Z5,SK)

PRACTICO 1: INTRODUCCION A LA LOGICA SIMBOLICA

x+10
u: ∀ x ϵ Naturales; ≥1
10

IV)Negar en lenguaje formal y natural las proposiciones dadas (p,q,r,s,t,u).

V) Tomando los valores de verdad anteriores (p,q,r,s,t,u), Hallar el valor de verdad de

las siguientes formulas

 [ (p ↔ q) → r] ⟷ s
 [(p→q) ᴧ u] v ~ t
 (r v s) ↔ (t ⊻ ~ s)
 (r ⟷ u) v (p  ~ q)

Taller 2: INFERENCIA
EJ 1: Demostrar la validez del siguiente razonamiento
 Todos los rinocerontes tienen un cuerno.
 Todos los plantígrados son rinocerontes
Por tanto, todos los plantígrados tienen un cuerno.

EJE 2: Demostrar la validez del siguiente razonamiento

 Pedro estudiará cuando todo sea fácil o sencillo.
 No es verdad que hay cosas, que no sean fáciles y que no sean sencillas.
Por tanto, Pedro estudiará.

EJE 3: Demostrar la validez del siguiente razonamiento

P1: Juan es maestro
P2: Todos los maestros son sabios y generosos.
C: Por lo tanto, alguien es generoso.

EJE 4: Demostrar la validez del siguiente razonamiento

 Ningún fotógrafo pinta.
 Todos los que no son fotógrafos son escultores.
Por tanto, Todos los pintores son escultores.

EJE 5: Demostrar la validez del siguiente razonamiento

 Si todas las mulas son híbridos.
 Ningún hibrido es fértil.
Por lo tanto, Ninguna mula es fértil.

EJE 6: Demostrar la validez del siguiente razonamiento, utilizando el método de RAA

 Todos los cruceños son bolivianos.
 Algunos poetas son Cruceños
Por lo tanto, algunos poetas son bolivianos.

EJE 7: Demostrar la validez del siguiente razonamiento, utilizando el método de RAA.

 Todos en las ramas de ciencias computacionales han estudiado matemáticas.
 Daniel está en la rama de ciencias computacionales.

ESTRUCTURAS DISCRETAS (Z1,Z5,SK)

PRACTICO 1: INTRODUCCION A LA LOGICA SIMBOLICA

Por lo tanto, Daniel ha estudiado matemáticas.

EJE 8: Demostrar la validez del siguiente razonamiento.

 Todos los detectives americanos pueden desentrañar asesinatos.

 Cualquier detective americano que desentrañe un asesinato obtendrá una
recompensa.
 David es un detective americano.

Por tanto, David obtendrá una recompensa.

FECHA DE PRESENTACION PLATAFORMA: LUNES 15 DE OCTUBRE HORAS 20:00 PM.

ESTRUCTURAS DISCRETAS (Z1,Z5,SK)