LÓGICA PROPOSICIONAL – LEYES L´OGICAS

LÓGICA PROPOSICIONAL – LEYES LÓGICAS

ACTIVIDAD N° 01. Determinar lo que se indica:

1. Simbolizar las siguientes proposiciones reemplazando las palabras que corresponden a los
términos de enlace por sus correspondientes símbolos:
(a) O si p, entonces q, o no r
(b) Es falso que no p si q
(c) No ocurre que a la vez p o q y r
(d) Si o p o q, entonces no r
2. Escribir el nombre de los siguientes esquemas moleculares, luego traducir reemplazando los
conectivos por sus palabras correspondientes
(a) p →~ (q  r)
(b) [( p → q )  (q  r)] → (p → r)
(c) [( p  q )  (r → s )  (~ q  ~ s)] → (~ p ~ r)
3. Simbolizar las siguientes proposiciones:
(a) 5 ≠8 y si 2 + 3 = 8, entonces 2<3 ó 3 no es mayor que 8
(b) La sociedad está descontenta si y sólo sí no hay cambio social, pero si la sociedad está
contenta, o hay revolución o hay cambio social.
(c) O estoy equivocado o no es cierto que he aprobado el examen de matemática y también el
de Lógica.
(d) Ángel es un mecánico o un ingeniero si es graduado universitario; empero Ángel es un
comerciante y no un ingeniero.
(e) Este mineral no está compuesto de cristales de cuarzo ni de diamante dado que este mineral
no es duro.
(f) Luis será encontrado culpable, si hoy rinde su instructiva, por tanto, si hoy rinde su
instructiva, dirá la verdad. Luis no será encontrado culpable, si no dice la verdad.
(g) Thales de Mileto fue matemático tal como filósofo. Calvino fue protestante si y solamente si
no se sometió a la ortodoxia católica. En consecuencia Thales fue matemático salvo que
también Calvino protestante.
(h) Si cumples las tareas y además eres disciplinado obviamente serás premiado o destacado en
tus estudios. Pero si practicas deporte al igual que te distraes, en consecuencia vivirás sano
pero contentos. Si cumples también eres disciplinado, excepto que practicas deporte así
como te distraes. Luego, serás premiado o destacado en los estudios, a menos que vivirás
sano de la misma manera contento.
4. Evalúe y clasifique cada uno de los siguientes esquemas moleculares: ~
(a) A= ( p  ~ q )  {[(p → q )  p] → q}
 (b) B = [~ ( p → q ) ~ q] [ ~ (q → p )  q]
--

(c) C = ~ [ ~ (p ˅ q) → ~ q] ↔ (p → q)
(d) D= ~ [( ~ p) ↔ q] ↔ (p → q)
(e) E = ~ [(p ˄ q) ˅ (p ˄ ( ~ p ˅ q))] ↔ (p → ~ q)
5. Sean las proposiciones: P= (p→ ~ q) ˄(r → p); Q= [ ~ ( ~ p ˅ q)] ˄ q; y R= q→ ~ r .
Verificar si:
(a) P implica a Q
(b) M implica a R

6. Dadas las proposiciones q: 6 es un número impar, p y r cualquiera tal que: ~ [( rvq) → (r → p)]
es verdadera. Hallar el valor de verdad de los siguientes esquemas moleculares: A=
r → (~ p ~ q)

B = [ r  ( p  q )]  (q ~ p) C= (r ~ p)  (~ q  ~ p)

7. Si la proposición: (~p ⇒ q) ∨ (r ⇒ ~s) ≡ F. Determine el valor de verdad de las

siguientes proposiciones:
I. (~p ∧ ~q) ∨ ~q
II. (~r ∨ q) ⇔ [(~q ∨ r) ∧ s]
III. (p ⇒ q) ⇒ [(p ∨ q) ∧ ~q]

8. Sea la proposición:
[(𝑝 ∧ 𝑞 ∧ 𝑟) ⟶ 𝑠] ⟶ (~𝑝 ∨ 𝑠), se sabe que es falso, señale el valor de p, q, r ,y s
9. Sean las siguientes condicionales de la forma: p → q . ¿Cuáles de las siguientes condicionales
recíprocas, son también verdaderas?
(a) Si un triángulo es equilátero, entonces es equiángulo
(b) Si un número termina en cero, entonces es divisible entre cinco.
(c) Si un número es menor que cuatro, entonces es menor que 6.
(d) Si un número es par, entonces es divisible entre 4.
EVALUACIÓN:

La actividad N° 01 será evaluada mediante la rúbrica para evaluar resolución de problemas:

RÚBRICA PARA LA EVALUACIÓN DE RESOLUCIÓN DE PROBLEMAS

1. DATOS INFORMATIVOS:

APELLIDOS Y NOMBRES:
................................................................................................................

ASIGNATURA:
..................................................................................................................................

TITULO DEL TEMA:

............................................................................................................................

FECHA DE EXPOSICIÓN:

......................................................................................................................

2. CRITERIOS A EVALUAR:

N° INDICADORES A EVALUAR 0 1 2

1 Sabe identificar el objetivo del problema y/o localizar los datos y los expresa
con claridad y rigor.
2 Por lo general selecciona y aplica estrategias adecuadas para resolver
problemas.
Los gráficos y/o dibujos son claros y ayudan al entendimiento de los
3
procedimientos.
4 Modela el problema en términos matemáticos.

5 Usa un algoritmo adecuado hacia la solución del problema.

6 La explicación demuestra completo entendimiento del concepto matemático
usado para resolver problemas
7 Expresa adecuadamente la solución del problema

8 Interpreta la solución del problema.

El trabajo es presentado de una manera ordenada clara y organizada que es
9
fácil revisión y lectura.
10 Todos los problemas fueron resueltos.

NOTA