Resumen

de
Lgica y Conjuntos

Jovanna Yvenes V.
2017
Ing. Jovanna Yvenes V. Pgina 1
 Clasificacin de los nmeros (Repaso)

Nmeros naturales

Los nmeros naturales son aquellos que sirven para contar los elementos de un conjunto
(nmero cardinal). O bien para expresar la posicin u orden que ocupa un elemento en un
conjunto (nmero ordinal).

El conjunto de los nmeros naturales est formado por:

= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9,...}

Nmeros enteros

Los nmeros enteros son del tipo:

= {...5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5 ...}

Nmeros racionales

Se llama nmero racional a todo nmero que puede representarse como el cociente de dos
enteros, con denominador distinto de cero.

= { / ; ; }

Ing. Jovanna Yvenes V. Pgina 2

Nmeros irracionales

Un nmero es irracional si posee infinitas cifras decimales no peridicas, por lo tanto

no se pueden expresar en forma de fraccin.

El nmero irracional ms conocido es:

= 3.141592653589...

Nmeros reales

El conjunto formado por los nmeros racionales e irracionales es el conjunto de los

nmeros reales, se designa por .

Ing. Jovanna Yvenes V. Pgina 3

 1. Lgica
Lgica

La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y
tcnicas determina si un argumento es vlido. Es ampliamente aplicada en la filosofa,
matemticas, computacin y fsica. En general la lgica se aplica diariamente, ya que
cualquier trabajo que se realiza tiene un procedimiento lgico, por ejemplo; si una persona
desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si
antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la
parte alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o
derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo
esto es la aplicacin de la lgica.
La lgica proporciona reglas y tcnicas para determinar si es o no vlido un argumento
dado. El razonamiento lgico se usa en forma constante para realizar cualquier actividad.

Lgica Proposicional
La lgica usada en matemticas conocida como lgica de proposiciones es una rama de la
lgica clsica que estudia las variables proposicionales, sus posibles implicaciones,
evaluaciones de verdad y en algunos casos su nivel absoluto de verdad. Tambin es llamada
lgica matemtica, ya que utiliza una serie de smbolos especiales que lo acercan al
lenguaje matemtico.

Variables: En el lenguaje simblico de la lgica de proposiciones, a los enunciados simples

o elementales (son los que no pueden descomponerse en otros ms simples) se les llama
variables, y se escriben con las letras minsculas: "", "", "", "" para los casos
particulares, o con las letras en mayscula: "", "", "", "" cuando son casos generales.

Conectivos o smbolos: Ocuparemos los siguientes smbolos, llamados tambin conectores

lgicos:

~ NEGACIN: se lee no

DISYUNCIN: se lee o

CONJUNCIN: se lee y

CONDICIONAL: se lee si ... entonces

BICONDICIONAL: se lee si y solo si

Ing. Jovanna Yvenes V. Pgina 4

Proposiciones y Tablas de Verdad
En el desarrollo de cualquier teora matemtica se hacen afirmaciones en forma de frases y
que tienen un sentido pleno. Tales afirmaciones, verbales o escritas, las denominaremos
enunciados o proposiciones.

Proposicin

Llamaremos de esta forma a cualquier afirmacin que sea verdadera o falsa, pero no
ambos sucesos a la vez.

Ejemplo Las siguientes afirmaciones son proposiciones:

(a) Miguel de Cervantes Saavedra escribi la novela Don Quijote de la Mancha.

(b) 8 es un nmero primo.

(c) 3 + 4 = 8

(d) 1 es un nmero entero, pero 2 no lo es. _

(e) La raz cuadrada de 4 es 2.

(f) Un cuadrado tiene 4 lados.

(g)
Nota: Las proposiciones se expresan con letras minsculas, p, q, r, . . .

La notacin
p: Tres ms cinco es igual a ocho

se utiliza para definir que p es la proposicin tres ms cinco es igual a ocho.

Este tipo de proposiciones se llaman simples, ya que no pueden descomponerse en otras.

Ejemplo: Las siguientes no son proposiciones.

(a) x + y > 7

(b) Vienes maana?

(c) Compra seis lpices azules y tres rojos.

(d) x = 9

Ing. Jovanna Yvenes V. Pgina 5

Anlisis: El ejemplo (a) es una afirmacin pero no es una proposicin ya que depender
de los valores de x e y para que sea verdadera o falsa, lo mismo ocurre con la afirmacin
(d). Los ejemplos (b) y (c) no son afirmaciones, por lo tanto no son proposiciones. _

Valor de Verdad

Llamaremos valor verdadero o valor de verdad de una proposicin a su veracidad o

falsedad. El valor de verdad de una proposicin verdadera es verdad y el de una
proposicin falsa es falso.

Ejemplo: Indique cul de las siguientes afirmaciones son proposiciones y determinar el

valor de verdad de aquellas que lo sean.

(a) p: Existe Premio Nobel de matemticas.

(b) q: La tierra es el nico planeta del Universo que tiene vida.

(c) r: Teclee escape para salir de la aplicacin.

(d) s: tres ms nueve es grande.

Solucin:

(a) p es una proposicin falsa, es decir su valor de verdad es falso.

(b) No sabemos si q es una proposicin ya que desconocemos si esta afirmacin es

verdadera o falsa.

(c) r no es una proposicin ya que no es verdadera ni es falsa. Es un mandato.

(d) s no es una proposicin ya que su enunciado es ambiguo. En efecto, tres nias

ms nueve nios es un nmero grande de hijos en una familia, sin embargo tres
monedas de cincuenta pesos ms nueve monedas de diez pesos no constituyen una
cantidad de dinero grande. _

Ing. Jovanna Yvenes V. Pgina 6

Proposicin Compuesta

Si las proposiciones simples 1 , 2 , , se combinan para formar la proposicin P,

diremos que P es una proposicin compuesta de 1 , 2 , , .

Ejemplo:

lgebra es mi asignatura preferida y Mozart fue un gran compositor es una

proposicin compuesta por las proposiciones lgebra es mi asignatura preferida y
Mozart fue un gran compositor.

l es inteligente o estudia todos los das es una proposicin compuesta por dos
proposiciones: l es inteligente y l estudia todos los das.

Nota: La propiedad fundamental de una proposicin compuesta es que su valor de verdad

est completamente determinado por los valores de verdad de las proposiciones que la
componen junto con la forma en que estn conectadas.

Tablas de Verdad
La tabla de verdad de una proposicin compuesta P enumera todas las posibles
combinaciones de los valores de verdad para las proposiciones 1 , 2 , , .

Por ejemplo, si P es una proposicin compuesta por las proposiciones simples 1 , 2 3

entonces la tabla de verdad de P deber recoger los siguientes valores de verdad.

V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

Ing. Jovanna Yvenes V. Pgina 7

Conexin entre Proposiciones

Conjuncin

Dadas dos proposiciones cualesquiera p y q, llamaremos conjuncin de ambas a la

proposicin compuesta p y q y la notaremos p ^ q. Esta proposicin ser nicamente
verdadera en el caso de que ambas proposiciones sean verdaderas.
Observemos que si p y q son, ambas, verdaderas entonces p ^ q es verdad y que si al menos
una de las dos es falsa, entonces p ^ q es falsa.

( )
V V V
V F F
F V F
F F F

Tabla de verdad de la conjuncin

Ejemplo1:

p = El nmero 6 es par

q = Siempre el residuo de los nmeros pares es 2

entonces p^q: El nmero 6 es par y Siempre el residuo de los nmeros pares es 2

Ejemplo2:

p = El nmero ms grande es el 56

q = El tringulo tiene 3 lados

entonces p^q: El nmero ms grande es el 56 y El tringulo tiene 3 lados

Ing. Jovanna Yvenes V. Pgina 8

Disyuncin

Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin de ambas a la

proposicin compuesta p q, ambas y la notaremos p q. Esta proposicin ser
verdadera si al menos una de las dos p q es verdadera. Slo es falsa cuando ambas
proposiciones son falsas.

( )
V V V
V F V
F V V
F F F
Tabla de verdad de la disyuncin

Ejemplo1:

p = El nmero 2 es par

q = la suma de 2 + 2 es 4

( ): El nmero 2 es par o la suma de 2 + 2 es 4

Ejemplo2:

p = La raz cuadrada del 4 es 2

q = El nmero 3 es par

( ): La raz cuadrada del 4 es 2 o el nmero 3 es par

Ing. Jovanna Yvenes V. Pgina 9

Disyuncin Exclusiva

Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin exclusiva de ambas a

la proposicin compuesta p q pero no ambos, es decir, ocurre exactamente una de las
dos proposiciones, y la notaremos p q. Esta proposicin ser verdadera si una u otra son
verdaderas, pero no ambas.
Segn esta definicin una disyuncin exclusiva de dos proposiciones p y q ser verdadera
cuando tengan distintos valores de verdad y falsa cuando sus valores de verdad sean
iguales.

( )
V V F
V F V
F V V
F F F

Tabla de verdad de la disyuncin exclusiva

Ejemplo:

Al decir: el sbado ir al cine o al estadio, se entiende que si voy a un lugar no ir al

otro, es decir, una de las acciones que realizar excluye a la otra.

Negacin

Dada una proposicin cualquiera, p, llamaremos negacin de p a la proposicin no p y

la notaremos ~p. Cuando p es verdadera al negarla se convierte en falsa, y viceversa.

~
V F
F V
Tabla de verdad de la negacin

Ejemplo:

p: 4 + 4 es igual a 9

~p: 4 + 4 no es igual a 9

Ing. Jovanna Yvenes V. Pgina 10

Proposicin Condicional

Dadas dos proposiciones p y q, a la proposicin compuesta si p, entonces q se le llama

proposicin condicional y se representa por p q.
A la proposicin p se le llama antecedente o condicin suficiente y a la q consecuente
o condicin necesaria del condicional. Una proposicin condicional es falsa nicamente
cuando siendo verdad el antecedente, el consecuente es falso.

( )
V V V
V F F
F V V
F F V

Tabla de Verdad Condicional

Obsrvese que si p q es verdad, no puede deducirse prcticamente nada sobre los valores
de verdad de p y q ya que pueden ser ambas verdad, ambas falsas o la primera falsa y la
segunda verdad. Ahora bien, si el condicional p q es falso, entonces podemos asegurar
que p es verdadera y q falsa. _

Ejemplo:

p: Hoy es martes

q: Maana ser mircoles

pq: Si Hoy es martes, entonces Maana ser mircoles

NOTA IMPORTANTE: Otras formulaciones equivalentes de la proposicin condicional

p q son:

p slo si q.
p es condicin suficiente para q.
q es condicin necesaria para p.

Si se llama teorema directo

se llama teorema recproco

~ ~ se llama teorema inverso

~ ~ se llama teorema contrarecproco

.

Ing. Jovanna Yvenes V. Pgina 11