Guias-Taller Logica Proposicional

UNIVERSIDAD COOPERATIVA DE COLOMBIA
FACULTAD DE INGENIERIA CAMPUS BOGOTA

AREA: DE CIENCIAS BASICAS
Fundamentos de modelo matemático
Profesor: Yilman Medina Castañeda
AUTOR: Yilman Medina Castañeda

Magister en Informática Aplicada a la educación
TEMA: LOGICA PROPOSICIONAL
Guía de Aprendizaje.
COMPETENCIAS
1. Establecer el valor de verdad de muchos de los enunciados lógicos

2. Aprender las operaciones o conectivas lógicas: conjunción, disyunción,
disyunción exclusiva, implicación y equivalencia.
3. Utilizar las reglas de inferencia, bien para determinar la conclusión, o bien
para determinar la consistencia interna del razonamiento.
4. Determinar la conclusión de un grupo dado de premisas observando las
leyes de inferencia lógicas
5. Manipular algebraicamente expresiones lógicas que permitan su aplicación
tecnológica.
PROPOSICION o “Proposiciones Cerradas”
Es un enunciado o frase a la cual puede asignársele inequívocamente uno de

los dos valores de verdad: “1”, si es verdadera, o “0”, si es falsa. Por este
motivo se le denomina lógica bivalente o lógica binaria, porque solo tiene dos
categorías de clasificación: las proposiciones verdaderas (1) y las
proposiciones es falsas (0)
Ejemplo 1
a) 15 es divisible por 7
b) Un cuadrilátero es un rombo
c) 5 = 5
d) ¿Qué hora es?
e) Si un triángulo es equilátero, entonces es isósceles
f) ¿Cuánto dinero tienes?
g) x + 2 = 5
h) Si x 2  1  10, entonces x  3
i) x  y x  y   x 2  y 2
En los ejemplos anteriores d) y f) no son proposiciones puesto que de estas

frases no se puede decir que sean verdaderas o falsas. El ejemplo g) es una
ecuación que adquiere su valor de verdad o falsedad cuando a x se le asignen
diferentes valores; por tal razón se denomina una proposición condicional. El
ejemplo i) es una identidad que puede considerarse como una proposición
siempre verdadera. Los ejemplos e) y h) son proposiciones compuestas
llamadas implicaciones. Los enunciados a), b) y c), proposiciones.
TALLER # 1
“Proposiciones Cerradas”
Diga si las siguientes expresiones son proposiciones o no, y en tal caso, dé su

valor de verdad:
1. 1 + 2 = 3
2. El día martes es víspera del día jueves
3. Esta afirmación es falsa
4. Levántate
5. Las peras tienen un sabor agradable
6. La capital de Cundinamarca es Bogotá
7. México fue la sede de los juegos olímpicos en 1.968
8. 7 + 3 = 12
9. Todas las aves vuelan
10. 7 es factor de 21
11. Un triángulo es menor que un círculo
12. El trapecio es una figura plana con dos ángulos iguales
13. En un triangulo isósceles la suma de sus ángulos internos es 360 0
14. Los países bolivarianos son: Colombia, Brasil, Ecuador, Perú y Venezuela
15. Una ecuación cúbica tiene tres raíces reales
16. 25 es un número primo
4 *8
17.  17
2
18. x 2  a  b
19. Quien elogia a todos no elogia a nadie
28 36
20. 4 x 2  2 x  15  0, si x1  y x2 
7 9
2. PROPOSICIONES ABIERTAS
La afirmación “Él fue proclamado Presidente de la República Mexicana en 1.971 por el

Congreso Constituyente”, ¿es verdadera o falsa? En la forma en que está expresada es
evidente que no podemos concluir nada. Es verdadera si el nombre de “Venustiano Carranza”
sustituye al pronombre “él”. Si este pronombre se sustituye por el nombre de Simón Bolívar, el
enunciado es falso. La respuesta a la pregunta depende del nombre que reemplaza al
pronombre “él”. El conjunto de nombres de personas cuyos miembros son aquellos que pueden
reemplazar la palabra “él” se llama conjunto de reemplazamiento, denominado también
conjunto universo o dominio de la variable, observándose que cualquier otro nombre diferente
de “Venustiano Carranza” que se sustituya hace falsa la proposición. Tal proposición con esas
características, se conoce con el nombre de proposición abierta.
Ejemplo # 2
Un ejemplo de dichas proposiciones abiertas en matemática es:
x2  3  7 ; x  D   2,1,2 
Ahora bien, podemos formar tantas proposiciones simples como elementos tengamos en el
conjunto de reemplazamiento establecido en la proposición abierta, siendo en este caso:
 22  3  7 (V)
3  7
1
2
(F)
2 3 7
2
(v)
Si escogemos del conjunto de reemplazamiento el subconjunto de números

que hacen verdadera la proposición, éste recibe el nombre de conjunto de
verdad o conjunto solución de la proposición abierta, resultando para nuestro
ejemplo el conjunto  2,2 
Consideremos las siguientes expresiones:
1. Él es profesor.
2. Ella está estudiando el primer grado de preparatoria
3.
6
< 2; x  3,4,6 
x3
De acuerdo con lo anteriormente visto, se dice que las expresiones 1) y 2) no

son proposiciones abiertas, pues carecen de su conjunto de reemplazamiento;
y la 3) tampoco lo es, puesto que su x se sustituye por 3, el lado izquierdo de
6
la desigualdad queda , que no está definido, por lo que en este caso, la
0
expresión no es verdadera ni falsa.
TALLER # 2
“Proposiciones Abiertas”
1. Diga en sus propias palabras qué entiende por proposición abierta

2. Explique la diferencia entre proposición cerrada y abierta
Decir si las siguientes afirmaciones son proposiciones abiertas o proposiciones

cerradas, y si esto último es el caso, dar su valor de verdad:
3. y es un número impar; y  
4. w es un número impar
5. es un número par
6. 2  8  2 x x  
7. Veracruz es uno de los estados de México
8. 5 monedas de 20 centavos hacen un peso
3x
9.  3 ; x W (conjunto de los enteros no negativos)
x
10. a  b  a  b ; a, b  
11. x<9; x   (conjunto de los números naturales)
12. El río Nilo esta en Israel
13. 11 es in número primo
14. 4 x  3x 2  0 ; x  
15. La Costa Atlántica es la zona más algodonera de Colombia
16. x 2  y 2  16 ; x, y  
18
17.  9 ; para x   (conjunto de los números naturales)
x2
18. 18a 2  13a  5  0 ; a   (conjunto de los números enteros)
19. ( a * b * c )  ( d )  a  b  c   (d )  ; a, b, c, d  
1 1 1
20.  2  2 ; x 
x  x x  x x 1
2
5 20 2
21.  2  ; x 
3x  1 9 x  1 3x  1
22. x  2  x 2  2 x  4 ; x
2
23. 2x  32  4x 2 x  7  4x  23 ; x  Q (conjunto de los números racionales)
24. Todo hexágono regular este compuesto de 6 triángulos equiláteros
25. Todo círculo es mayor que una esfera
TALLER # 3
“Funciones Proposicionales”
Hallar los conjuntos de verdad de las funciones proposicionales. Se considera

como dominio de discusión que X  
1. k  x  : x  1  0
2. qx  : x 2  7 x  12  0
3. h x  : x 2  2 x  1  0
4. q x  : x 2  4  0
5. wx  : x 4  x  0
6. qx  : 14 x 2  31x  10  0
7. nx  : 20 x 2  7 x  40  0
8. qx  : 20  3x  9 x 2  0
9. z x  : 6 x 5  19 x 4  59 x 3  160 x 2  4 x  48  0
Ejercicio 4
1. ¿Cuál es la unidad básica en la lógica matemática?

2. Diga cómo puede formarse las proposiciones compuestas.
3. Diga con sus propias palabras, que entiende por proposición conjuntiva.
En los problemas del 4 al 8, escríbase la conjunción de las proposiciones

dadas.
4. Todos los veranos son calurosos y algunos inviernos son fríos.

5. Estas rectas son paralelas y estas rectas se cortan.
6. Miguel es un estudiante. María es bella.
7. Todas las líneas son rectas. Todos los círculos son redondos.
8. 2 + 5 = 7 y 9 + 2 =10.
En los problemas del 9 al 18, simbolícese y escríbase la conjunción de las

funciones proposicionales dadas. Encuéntrense los conjuntos de verdad de las
proposicionales establecidas, o sea, el resultado de la conjunción. Se considera
como dominio de la función proposicional el conjunto X como el de los números
reales:
9. p(x) : x + 1= 0 ; q(x) : x² - 1 = 0
10. o(x) : x² = 0; s(x) : x = 1
11. t(x) : (x + 2)² = 0; u(x) : x + 2 = 0
12. v(x): x² - 8x + 15 = 0; w(x) : x² -7x + 12 = 0
13. s(x) : x > 3; q(x): x > 5
14. w(x) : x² + 0 = 0; s(x) : x² - 4 = 0
15. m(x) : x – 7 = 0; u (x) :x > 5
16. v(x) : x³ - 1 = 0; w(x): x² + x + 1 = 0
17. p(x) :x² - 16 = (x + 4) (x – 4) ;
q(x): x² - 9 = (x + 3) (x – 3)
18. t(x) : 3x + 4 = 2 ; s(x) : x² < 0
BIBLIOGRAFIA
CARLOS BARCO GOMEZ, G. (1998). Matemática digital. SANTAFE DE

BOGOTA: MCGRAW-HILL
Copi, I., Cohen, C., Rangel Sandoval, J., & Munguía Noriega, R. (2011).
Introducción a la lógica (Segunda edición.). México: Limusa.
Grimaldi, R. (1998). Matemáticas discretas y combinatoria: una introducción
con aplicaciones. (3a. ed.). México: Addison Wesley Longman.
Smith, K., Ojeda Peña, E., & García Barajas, A. (1991). Introducción a la lógica
simbólica. México: Grupo Editorial Iberoamérica.
Suppes, P. (2014). Introducción a la lógica matemática. Editorial Reverté,
Barcelona.
BASE DE DATOS
https://bibliotecadigital.ucc.edu.co/permalink/57UCC_INST/14v4tnf/alma990001
340040204416
https://bibliotecadigital.ucc.edu.co/permalink/57UCC_INST/1ugbc55/alma99000
1142360204416
https://bibliotecadigital.ucc.edu.co/permalink/57UCC_INST/14v4tnf/alma990001
731290204416
https://bibliotecadigital.ucc.edu.co/permalink/57UCC_INST/1ugbc55/alma99000
1176790204416
https://bibliotecadigital.ucc.edu.co/permalink/57UCC_INST/1q1inek/cdi_proque
st_ebookcentral_EBC4850137
https://bibliotecadigital.ucc.edu.co/permalink/57UCC_INST/1q1inek/cdi_jstor_bo
oks_j_ctvvn8bv
https://medium.com/@matematicasdiscretaslibro/cap%C3%ADtulo-4-l%C3%B3gica-
de-proposiciones-ad02028fc8cf

Guias-Taller Logica Proposicional

Cargado por

Copyright:

Formatos disponibles

Guias-Taller Logica Proposicional

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Guias-Taller Logica Proposicional

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD COOPERATIVA DE COLOMBIA

FACULTAD DE INGENIERIA CAMPUS BOGOTA

Fundamentos de modelo matemático

Profesor: Yilman Medina Castañeda

AUTOR: Yilman Medina Castañeda

TEMA: LOGICA PROPOSICIONAL

1. Establecer el valor de verdad de muchos de los enunciados lógicos

PROPOSICION o “Proposiciones Cerradas”

Es un enunciado o frase a la cual puede asignársele inequívocamente uno de

Fundamentos de modelo matemático

Profesor: Yilman Medina Castañeda

En los ejemplos anteriores d) y f) no son proposiciones puesto que de estas

Diga si las siguientes expresiones son proposiciones o no, y en tal caso, dé su

Fundamentos de modelo matemático

Profesor: Yilman Medina Castañeda

La afirmación “Él fue proclamado Presidente de la República Mexicana en 1.971 por el

Un ejemplo de dichas proposiciones abiertas en matemática es:

Si escogemos del conjunto de reemplazamiento el subconjunto de números

Consideremos las siguientes expresiones:

2. Ella está estudiando el primer grado de preparatoria

Fundamentos de modelo matemático

Profesor: Yilman Medina Castañeda

De acuerdo con lo anteriormente visto, se dice que las expresiones 1) y 2) no

1. Diga en sus propias palabras qué entiende por proposición abierta

Decir si las siguientes afirmaciones son proposiciones abiertas o proposiciones

Fundamentos de modelo matemático

Profesor: Yilman Medina Castañeda

23. 2x  32  4x 2 x  7  4x  23 ; x  Q (conjunto de los números racionales)

24. Todo hexágono regular este compuesto de 6 triángulos equiláteros

25. Todo círculo es mayor que una esfera

Hallar los conjuntos de verdad de las funciones proposicionales. Se considera

1. ¿Cuál es la unidad básica en la lógica matemática?

Fundamentos de modelo matemático

Profesor: Yilman Medina Castañeda

En los problemas del 4 al 8, escríbase la conjunción de las proposiciones

4. Todos los veranos son calurosos y algunos inviernos son fríos.

En los problemas del 9 al 18, simbolícese y escríbase la conjunción de las

Fundamentos de modelo matemático

Profesor: Yilman Medina Castañeda

CARLOS BARCO GOMEZ, G. (1998). Matemática digital. SANTAFE DE

También podría gustarte