Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Unidad 7
Lógica
Lógica 1ro.indd 1 11/01/2019 17:05:58
Sección 1 Lógica
Clase 1 Proposiciones y valores de verdad
b. 3 # 5 = 15. Verdadero
c. 10 es múltiplo de 3. Falso
d. 5 + 3. No es posible determinar
si es verdadero o falso.
A un enunciado que brinda información que puede ser verdadera o falsa, pero no ambas al
mismo tiempo, se le llama proposición.
Verdadero o falso son llamados valores de verdad de una proposición. Si una proposición es
verdadera, entonces su valor de verdad es verdadero. Si una proposición es falsa, entonces su
valor de verdad es falso.
a. 10 + 153 = 6.
d. 3 es un número impar.
e. 5 # 4 = 20.
f. 6 es divisor de 24.
g. 32 = 9.
a. x + 10 = 15.
b. y es divisor de 18.
No se puede determinar el valor de verdad de ambas proposiciones, porque depende de los valores
de x o y. Al asignar un valor cualquiera al sujeto, la proposición puede ser verdadera o falsa.
A una letra que representa una cantidad desconocida en el sujeto de una proposición se le llama
variable.
A una proposición que tiene una variable como sujeto se le llama proposición abierta.
La proposición abierta no puede calificarse como verdadera o falsa.
Al sustituir el valor o los valores de la variable en la proposición abierta, se puede determinar
su valor de verdad.
Dadas las siguientes proposiciones, identifique cuáles son proposiciones abiertas y cuáles no.
c. 5 + 3 = 10.
d. z - 2 = 8.
f. El rombo es un cuadrilátero.
g. y es múltiplo de 30.
Lógica
Unidad 7
a. 7 es un número primo.
b. 6 es divisor de 18 y 5 es un número impar.
Las proposiciones se diferencian por el número de enunciados que tienen. La proposición del inciso
a tiene un enunciado, mientras que la proposición del inciso b tiene dos enunciados, estos son:
6 es divisor de 18.
5 es un número impar.
A una proposición que está formada por un enunciado se le llama proposición simple.
A una proposición que está formada por dos enunciados se le llama proposición compuesta.
Ejemplo:
a. 5 + 13 = 18 y 6 + 14 = 20.
b. La semana tiene siete días.
c. 20 es divisible entre 4 o es divisible entre 5.
d. 2 es un número par y es un número primo.
e. Si mañana es jueves o domingo, entonces voy de compras al mercado.
Unidad 7
Lógica
a. Todos los números naturales en los que su última cifra es 0 o 5, son divisibles entre 5.
b. Algunos cuadriláteros tienen cuatro ángulos rectos.
Las dos proposiciones se diferencian por la cantidad de elementos que cumplen con la condición
establecida en el enunciado. En la proposición del inciso a todos los números naturales en los que
su última cifra es 0 o 5, cumplen con la condición, mientras que en la proposición del inciso b solo
algunos cuadriláteros cumplen con la condición.
A las palabras “todosˮ y “algunos” se les llama cuantificadores y existen dos tipos: cuantificador
universal y cuantificador existencial.
El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto
cumplen con una condición o propiedad determinada. Además de “todos”, se puede utilizar
“cualquieraˮ o “cadaˮ.
El cuantificador existencial se utiliza para indicar que existen uno o más elementos en el
conjunto que cumplen con la condición o propiedad determinada. Además de “algunos”, se
puede utilizar “hayˮ, “existeˮ o “algúnˮ.
Ejemplo:
Proposición Cuantificador
Cualquier número divisible entre 2 es número par. Universal
Existe una figura que tiene tres lados. Existencial
Algunos cuadriláteros tienen ángulos rectos. Existencial
Todos los humanos tienen cerebro. Universal