LECTURA 1.
La Lógica Matemática, hace uso exclusivo de expresiones que manifiestan o una verdad o una falsedad. A estas
expresiones se las llaman PROPOSICIONES.
Una proposición se define como una aseveración que puede ser verdadera o falsa, pero no ambas.
Ejemplo de proposiciones:
A. 13 es un número primo.
B. - 38 +17= 21.
C. Todos los números enteros son positivos.
D. Existe un entero no negativo que no es un número natural
VALOR DE VERDAD.
El valor de verdad de una proposición es la cualidad de veracidad que describe adecuadamente la proposición. Éste puede ser
verdadero o falso.
Para los ejemplos propuestos los valores de verdad son:
A. Verdadero
B. Falso
C. Falso
D. Verdadero
Los elementos fundamentales de la lógica son las proposiciones. Por ello, las oraciones que no son falsas ni verdaderas, las que
son falsas y verdaderas al mismo tiempo, o las que demuestran algún tipo de imprecisión (carecen de sentido), no son objeto de
estudio de la lógica.
Oraciones que no son proposiciones:
A. Lava el auto, por favor.
B. Hola, ¿cómo estás?
C. ¡Apúrate!
D. La conceptualización cambia lo absurdo en azul.
E. ¡Mañana se acabará el mundo!
CONJUNTOS
Un conjunto es una colección, reunión o agrupación de objetos que poseen una característica o propiedad común bien definida.
Algunas agrupaciones que representan conjuntos son:
Los números enteros.
Los habitantes de la Luna.
Los animales en extinción.
Los números primos.
Los paquetes de software.
Los operadores de telefonía celular.
La descripción de un conjunto se puede realizar de las siguientes maneras:
Fundamentos de Matemáticas para Bachillerato, ESPOL Instituto de Ciencias Matemáticas
Libro Rojo de las Matemáticas, Ing. Moisés Villena
Por COMPRENSIÓN, para referirnos a alguna característica de los elementos.
Por EXTENSIÓN o TABULACIÓN, cuando se listan todos los elementos.
Por medio de DIAGRAMAS DE VENN, cuando se desea representarlo gráficamente.
Por COMPRENSIÓN:
A = { x /x es consonante de la palabra amistad}
B={ x ∈ R/ x≤3 }
Por EXTENSIÓN o TABULACIÓN:
A= { d ,m,s ,t }
B={ ...,−2,−1,0,1,2,3 }
Por DIAGRAMAS DE VENN:
OPERACIONES
Los conjuntos pueden ser operados, dando a lugar nuevos conjuntos.
UNIÓN ENTRE CONJUNTOS
La unión entre los conjuntos A y B es un nuevo conjunto formado por los elementos que pertenecen al conjunto A o al
conjunto B . Se denota por A∪B y se define como:
A∪B={ x / ( x ∈ A )∨( x ∈ B ) }
Gráficamente tenemos:
La unión de tres conjuntos sería: A∪B={ x / ( x ∈ A )∨( x ∈ B ) ∨( x ∈C ) }
Para otros casos tenemos:
Fundamentos de Matemáticas para Bachillerato, ESPOL Instituto de Ciencias Matemáticas
Libro Rojo de las Matemáticas, Ing. Moisés Villena
INTERSECCIÓN ENTRE CONJUNTOS
La intersección entre los conjuntos A y B es un nuevo conjunto formado por los elementos que pertenecen al conjunto
A y al conjunto B . Se denota por A∩B y se define como:
A∩B={ x / ( x ∈ A )∧( x ∈ B ) }
Gráficamente tenemos:
Para tres conjuntos sería: A∩B∩C={ x /x ∈ A∧x ∈ B∧x ∈C }
Para otros casos tenemos:
Fundamentos de Matemáticas para Bachillerato, ESPOL Instituto de Ciencias Matemáticas
Libro Rojo de las Matemáticas, Ing. Moisés Villena
PREDICADOS
Son expresiones en términos de una variable que al ser reemplazadas por los elementos de un conjunto referencial, se convierten
en proposiciones. Si x representa a cualquier elemento de Re , entonces la expresión p( x) se definirá como predicado.
La notación para los predicados será: p( x),q( x),r( x),etc .
Dado Re= {−1,0,2,4,6 } y p( x ): x≥3
Si x=−1 , p(−1):−1≥3 , es una proposición falsa.
Si x=6 , p(6 ):6≥3 , es una proposición verdadera.
CUANTIFICADORES
Tenemos dos tipos de cuantificadores: el universal y el existencial
CUANTIFICADOR UNIVERSAL
Este cuantificador se presenta cuando utilizamos el término TODOS, queriendo dar a entender para todos y cada uno.
El SÍMBOLO LÓGICO empleado para este cuantificador es ∀
CUANTIFICADOR EXISTENCIAL
En cambio, este cuantificador se presenta cuando utilizamos el término ALGÚN, queriendo dar a entender que existe por
lo menos uno.
El SÍMBOLO LÓGICO empleado para este cuantificador es ∃
Ejemplo:
Considerando Re= {1,2,3,4,5,6,7,8,9 , 10 } y el predicado p( x): ”x es divisible para dos” podemos decir.
∀ xp (x ): Todoslos números son divisibles para dos , que es una proposición falsa
∃xp ( x ): Existe un número divisible parados que es una proposición verdadera
Ejercicio propuesto
Sea el conjunto Re= {1,2,3,4,5 } ¿cuál de las siguientes proposiciones es Verdadera?
a) ( ∃x ∈ Re ) ( x+3=10 )
b) ( ∀ x ∈ Re ) ( x+3<10 )
c) ( ∀ x ∈ Re ) ( x 2 −4 x+3=0 )
Fundamentos de Matemáticas para Bachillerato, ESPOL Instituto de Ciencias Matemáticas
Libro Rojo de las Matemáticas, Ing. Moisés Villena
