1 RAZONAMIENTO LÓGICO
SEMANA Nº 04
TEMA: Equivalencias Lógicas parte I
1 RAZONAMIENTO LÓGICO
1. Sean p, q dos proposiciones cualesquiera, se define el 8. Hallar el esquema más simple equivalente a:
conectivo “ ” como . Usando sólo “ ”
y “ ”, expresar en otra equivalente:
a)
a)
b)
b) c)
c) d)
e)
d)
e) 9. p es equivalente a:
a)
2. La proposición: “Si n es primo y n no es mayor que 2,
en consecuencia n no es múltiplo de 2”. Su b)
equivalente es: c)
1. Si n es múltiplo de 2 entonces n no es primo y no
es mayor que 2. d)
2. Si n es múltiplo de 2 en consecuencia n no es e)
primo y es mayor que 2.
3. n no es múltiplo de 2 o n no es primo o n es mayor
10. “Si Carla regresa de Moscú, Javier será feliz. Carla
que 2.
regresa de Moscú si no hay niebla en la ciudad. Pero
Son correctas:
si hay niebla en la ciudad, entonces Carla no regresa
a) 1 y 3
de Moscú. Carla regresa de Moscú“.
b) 2 y 3
Es equivalente a:
c) Sólo 3
1. Javier será feliz y no hay niebla en la ciudad.
d) Sólo 2
2. Javier será feliz, Carla regresa de Moscú y no hay
e) Todas
niebla en la ciudad.
3. No hay niebla en la ciudad y Javier será feliz.
3. Sea ; . Podemos afirmar que: a) Sólo 2
1. La negación de X es equivalente a Y. b) 2 y 3
2. X es equivalente a Y. c) 1 y 2
3. X es la negación de Y. d) 1 y 3
4. X Y es una tautología. e) Todas
Son ciertas:
a) 2 y 3 11. ¿Cuáles de las siguientes expresiones son
b) 2 y 4 tautológicas?
c) 1 y 3
1.
d) 1 y 4
e) Sólo 1 2.
3.
4. Se define .
4.
Simplificar:
a) 1y2
a) b) 1y4
b) c) 2y3
c) d) 3y4
d) e) Todas
e)
12. Determinar el equivalente a la afirmación “x no es
5. Dado . divisor de 3 es condición necesaria para que x sea
primo y no mayor que 4”
Simplificar: a)
a) b)
b) c)
c)
d) d)
e) e)
6. Simplificar a su mínima expresión:
13. Simplificar el esquema:
a) a)
b) b)
c) c)
d) d)
e) e)
7. Dado el esquema , indicar su 14. ¿Cuáles de las siguientes proposiciones son
verdaderas?
proposición equivalente que sólo presente los
conectivos “ ” y “ ”. 1.
a) 2.
b) 3.
c) a) Sólo 1
d) b) 1y2
c) Sólo 3
e) d) 2y3
e) 1y3
2 RAZONAMIENTO LÓGICO
c) No se puede decir nada.
15. ¿Cuáles de las siguientes fórmulas proposicionales es d) Faltan datos.
equivalente a ? e)
a)
b) 21. La proposición y son equivalentes,
c) donde:
d)
e)
¿Qué conectivo lógico representa “ ”?
16. ¿Cuáles de las siguientes proposiciones son a)
equivalentes? b)
1. c)
d)
2.
e)
3.
a) 1y2 22. Simplificar la proposición:
b) 1y3
c) 2y3
d) Sólo 3 a)
e) Todas b)
c)
17. Si . Entonces el equivalente de: d)
e)
es:
1. 23. Si la proposición:
2. ,
3. es tautológica. Señalar una proposición equivalente a
4. :
5. a)
Son ciertas: b)
a) Sólo 3
c)
b) 1 y 3
c) 1, 2 y 3 d)
d) Sólo 1 e)
e) Todas - 4
24. Simplificar:
18. El esquema formal:
, es equivalente a:
a)
1. b)
2. c) Verdadero
3. d) Falso
e)
4.
5. 25. Simplificar:
Son ciertas:
a) Sólo 2
b) 1 y 3 a) Verdadero
c) 1, 2 y 3 b) Falso
d) Sólo 3 c)
e) Ninguna es equivalente.
d)
e)
26. Simplificar:
19. Si T es una tautología y, p, q son proposiciones. . Además
¿Cuáles de las siguientes afirmaciones son
verdaderas?
1. a)
b)
2. c)
d)
3. e)
Son ciertas:
a) Sólo 1 27. Dada la matriz M: 00011111. Hallar su equivalente.
b) Sólo 2 a)
c) Sólo 3 b)
d) 1 y 2
e) 1 y 3 c)
d)
20. Dada la proposición: “No es necesario que “p” sea
e)
verdadero y “q” sea falso para que
sea verdadera”, es equivalente a: 28. Simplificar el siguiente esquema:
a) Verdadera
b) Falsa
3 RAZONAMIENTO LÓGICO
Lukasiewicz presento la "notation Polish" la cual permitía
escribir expresiones sin ambigüedad en el uso de soportes
y su estudio fue de base para el trabajo de Tarski’s.
a)
b)
Concepto de la matemática lógica y sus dos principales
c)
campos. Cálculo proposicional y cálculo de predicados.
d)
e)
La lógica matemática estudia la forma del razonamiento, se
29. Sea la matriz principal de E: 01101110. Simplificar considera como una disciplina que por medio de reglas y
técnicas determina si un argumento es válido o no.
a) b) c) d) e)
El cálculo proposicional o lógica proposicional, es la ciencia
30. Sean las matrices de M: 10010000 y E: 00000110. que trata de los principios válidos del razonamiento y la
Calcular el esquema simplificado de: argumentación. El estudio de lógica es el esfuerzo por
a) determinar las condiciones que justifican a una persona
b)
c) para pasar de una proposición dada, llamadas premisas, a
d) una conclusión que se deriva de aquéllas.
e) cyd
El cálculo de predicados está basado en la idea de que las
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: sentencias realmente expresan relaciones entre objetos,
Fundamento Teórico así como también cualidades y atributos de tales objetos.
Los objetos pueden ser personas, objetos físicos, o
Augustus De Morgan conceptos.
En 1838 él definió él termino "inducción matemática"
colocando un proceso que ha sido usado sin claridad en
una rigurosa base. El término aparece primero en el
artículo de De Morgan (Induction Mathematics) en el Penny
Cyclopedia. Que la Penny Cyclopedia publicó a través de
la Sociedad de la Difusión Útil del Conocimiento,
establecido por el mismo reformador quien fundo London
University, y que la Sociedad también publico como un
famoso trabajo por De Morgan El cálculo integral y
diferencial.
Reconsidero la pureza simbólica del álgebra natural y fue
consciente de la existencia de otras álgebras como
álgebras ordinarias. Presenta las leyes De Morgan y su
grandiosa contribución es como un reformador de la lógica
matemática.
De Morgan creo y definió las leyes que llevan su nombre,
las cuales son reglas de equivalencia en las que se HOJA DE CLAVES
muestran que dos proposiciones pueden ser lógicamente Curso: RAZONAMIENTO LOGICO.
equivalente, como se muestra a continuación.
Semana: 04 Tema: Equivalencias Lógicas parte I
Leyes de Morgan:
Pregunta Clave
01 a
Jan Lukasiewicz 02 c
03 c
04 d
Trabajo en lógica matemática, escribió ensayos de los 05 e
06 a
principios de la no contradicción y la excluyo alrededor de
07 e
1910, desarrollando un árbol de valores para el calculo 08 c
proposicional (1917) y trabajo en muchos valores lógicos. 09 d
10 a
11 c
4 RAZONAMIENTO LÓGICO
12 c
13 d
14 d
15 c
16 c
17 c
18 d
19 e
20 a
21 e
22 d
23 a
24 c
25 e
26 d
27 c
28 d
29 e
30 e
