Departamento de Ciencias Matemticas

Matemticas 1
Introduccin a la lgica y conjuntos
Profesor: Gustavo Castaeda R.

1. Introduccin.
En estas notas se pretende realizar una introduccin a la lgica y conjuntos sin considerar aspectos
avanzados. El propsito es ayudar a comprender el aspecto lgico de algunas expresiones del lenguaje.

En las notas se consideran enunciados que son proposiciones, por ejemplo 3.45 es un nmero racional, x2 es
positivo para todo nmero real x negativo, ningn numero par es primo, si 3 = 4 entonces 0 = 0. Cada una
de estas expresiones tiene asignada un valor de verdad, ya sea verdadero o falso.

2. Elementos de lgica.
En esta seccin se consideran algunos elementos bsico de lgica.

Proposicin. Una proposicin es un enunciado, del cual se puede afirmar con certeza si es verdadero o es
falso. Por ejemplo, el nmero 3.5 es numero entero, es una proposicin falsa. Pero el enunciado maana
llueve no es una proposicin, pues no se puede afirmar con certeza que el enunciado sea verdadero o que el
enunciado sea falso.

Usualmente se denotas las proposiciones mediante letras minsculas como, p, q, r, s, t .... Si aceptamos en
considerar a U como el conjunto universo de todas las proposiciones, la expresin p U se lee: p pertenece
a U, y significa que p es un elemento de U , es decir, p es una proposicin.

2.1. Conectivos lgicos.

A continuacin aparece una lista de los conectivos lgicos ms comnmente usados, y llamados tambin
smbolos lgicos.

Negacin
Disyuncin
Conjuncin
Condicional
Bicondicional
A partir de una o dos proposiciones se pueden generar mediante conectivos otras proposiciones, como se
indica a continuacin.

1. Conectivo negacin (). Consideremos la proposicin p: 2.5 es nmero entero. Esta proposicin es
claramente falsa. La negacin de esta proposicin es p: 2.5 no es nmero entero, que es claramente
verdadera. En general, si p es una proposicin falsa, entonces p es una proposicin verdadera; y si p
es una proposicin verdadera, entonces p es una proposicin falsa.

A continuacin se indica la tabla de verdad correspondiente a la proposicin p,

p p
V F
F V

Observe que el valor de verdad de p es contrario al valor de verdad de p.

2. Conectivo disyuncin (). Si p y q son dos proposiciones entonces p o q, lo cual se denota
por: p q, es otra proposicin, que es verdadera nicamente cuando una de las dos proposiciones es
verdadera o ambas proposiciones son verdaderas, es decir, es falsa nicamente cuando ambas son falsas.

A continuacin se indica la tabla de verdad correspondiente a la proposicin p q,

p q pq
V V V
V F V
F V V
F F F

Ejemplo. Consideremos las dos siguientes proposiciones, p : 7 es nmero par, q: 4 es nmero par.
Entonces el enunciado 7 es nmero par o 4 es nmero par corresponde a la proposicin disyuncin
p q. Ahora, como la proposicin p es falsa (F ), y la proposicin q es verdadera (V ), entonces la
proposicin p q es verdadera (V ), pues una de las dos proposiciones es verdadera.

Ejemplo. Consideremos el valor de verdad del siguiente enunciado: 2.5 es nmero natural o 4
es nmero positivo. Este enunciado corresponde a la proposicin disyuncin p q, donde p :
2.5 es nmero natural, q: 4 es nmero positivo. Ahora, como la proposicin p es falsa (F ), y la
proposicin q es falsa (F ), entonces la proposicin pq es falsa (F ), pues ambas proposiciones son falsas.

3. o excluyente (). Otro conectivo lgico es el o excluyente (). Por ejemplo para n un nmero
natural, al considerar las proposiciones p : n es par, q : n es impar, se tiene que la proposicin p o q es
una proposicin verdadera, y nicamente una de las proposiciones es verdadera: la p o la q; pero no
ambas.
En general, Si p y q son dos proposiciones, la expresin p q es verdadera si p es verdadera o q es
verdadera, pero no ambas.

Entonces, se considera en forma simblica para el o inclusivo, y para el o excluyente.

4. Conectivo conjuncin (). Si p y q son dos proposiciones entonces p y q, lo cual se denota por:
p q, es otra proposicin, que es verdadera nicamente cuando ambas proposiciones son verdaderas,
es decir, es falsa si una de las dos proposiciones es falsa.

A continuacin se indica la tabla de verdad correspondiente a la proposicin p q,

p q pq
V V V
V F F
F V F
F F F

Ejemplo. Consideremos las dos siguientes proposiciones, p : 5 es nmero par, q: 8 es nmero par.
Entonces el enunciado 5 es nmero par y 8 es nmero par corresponde a la proposicin p q. Ahora,
como la proposicin p es falsa (F ), y la proposicin q es verdadera (V ), entonces la proposicin p q
es falsa (F ), pues una de las dos proposiciones es falsa.

Ejemplo. Consideremos el valor de verdad del siguiente enunciado: 2 es nmero primo, pero
2 es nmero par. Este enunciado corresponde a la proposicin p q, donde p : 2 es nmero
primo, q: 2 es nmero par. Ahora, como la proposicin p es verdadera (V ), y la proposicin q es
verdadera (V ), entonces la proposicin pq es verdadera (V ), pues ambas proposiciones son verdaderas.