Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto
son proposiciones validas. El inciso r tambin es una proposicin valida, aunque el
valor de falso o verdadero depende del valor asignado a las variables x y y en
determinado momento. La proposicin del inciso s tambin esta perfectamente
expresada aunque para decir si es falsa o verdadera se tendra que esperar a que
terminara la temporada de fut-boll. Sin embargo los enunciados t y w no son vlidos, ya
que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro
es una orden.
Conectivos lgicos y proposiciones compuestas.
Existen conectores u operadores lgicas que permiten formar proposiciones compuestas
(formadas por varias proposiciones). Los operadores o conectores bsicos son:
Operador and (y)
Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda
obtener un resultado verdadero. Si smbolo es: { , un punto (.), un parntesis}. Se le
conoce como la multiplicacin lgica:
Ejemplo.
Sea el siguiente enunciado "El coche enciende cuando tiene gasolina en el tanque y
tiene corriente la batera"
Sean:
p: El coche enciende.
q: Tiene gasolina el tanque.
r: Tiene corriente la batera.
De tal manera que la representacin del enunciado anterior usando simbologa lgica es
como sigue:
p=qr
Su tabla de verdad es como sigue:
Donde.
1 = verdadero
0 = falso
En la tabla anterior el valor de q=1 significa que el tanque tiene gasolina, r=1 significa
que la batera tiene corriente y p = q r=1 significa que el coche puede encender. Se
puede notar que si q o r valen cero implica que el auto no tiene gasolina y que por lo
tanto no puede encender.
Operador Or (o)
Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones
es verdadera. Se eindica por medio de los siguientes smbolos: { ,+, }. Se conoce
como las suma lgica. Ejemplo.
Sea el siguiente enunciado "Una persona puede entrar al cine si compra su boleto u
obtiene un pase". Donde.
p: Entra al cine.
q: Compra su boleto.
r: Obtiene un pase.
Adems de los operadores bsicos (and, or y not) existe el operador xor, cuyo
funcionamiento es semejante al operador or con la diferencia en que su resultado es
verdadero solamente si una de las proposiciones es cierta, cuando ambas con verdad el
resultado es falso.
En este momento ya se pueden representar con notacin lgica enunciados ms
complejos. Ejemplo
Note que en las tautologas para todos los valores de verdad el resultado de la
proposicin es siempre 1. Las tautologas son muy importantes en lgica matemtica ya
que se consideran leyes en las cuales nos podemos apoyar para realizar demostraciones.
A continuacin me permito citar una lista de las tautologas ms conocidas y reglas de
inferencia de mayor uso en las demostraciones formales que obviamente el autor no
consider..
1.- Doble negacin.
a). p''p
2.- Leyes conmutativas.
a). (pq)(qp)
b). (pq)(qp)
c). (pq)(qp)
3.- Leyes asociativas.
a). [(pq)r][p(qr)]
b. [(pq)r][p(qr)]
4.- Leyes distributivas.
a). [p(qr)][(pq)(pr)]
b. [p(qr)][(pq)(pr)]
Si en el ejemplo anterior
p: La puerta es verde.
______
\pr
Ejemplo 2.
Es valido el siguiente argumento?.
Si bajan los impuestos, entonces se eleva el ingreso
El ingreso se eleva.
_________________________________________
\ Los impuestos bajan
Solucin:
Sea
p: Los impuestos bajan.
q: El ingreso se eleva.
pq
q
_____
\p
El aplicar la regla de inferencia es lo que le cuesta ms al alumno y se deber poner
mucha atencin para que el alumno aprenda a aplicar dicha regla.
En una demostracin no solamente hay tautologas e hiptesis, tambin existen reglas
de inferencia que permiten obtener nuevas lneas vlidas, esta es la parte en donde la
mayora de alumnos tienen problemas y en donde no sabe que regla aplicar para
resolver un determinado problema. A continuacin se cita una lista de las principales
reglas de inferencia que se pueden aplicar en una demostracin.
19.- Adicin 23.- Conjuncin
pp
_______ q
\ p q _________
\pq
___
\q
Realmente el camino que se debe seguir para llevar a cabo una demostracin formal
usando el mtodo directo. Significa que s se sabe que p1 es verdadera, p2 es
verdadera,...... y pn tambin es verdadera, entonces se sabe que q es verdadera.
Prcticamente todos los teoremas matemticos estn compuestos por implicaciones de
este tipo.
(p1 p2 ....... pn) q
Donde la pi son llamadas hiptesis o premisas, y q es llamada conclusin. "Demostrar el
teorema", es demostrar que la implicacin es una tautologa. Note que no estamos
tratando de demostrar que q (la conclusin) es verdadera, sino solamente que q es
verdadera si todas las pi son verdaderas.
Toda demostracin debe comenzar con las hiptesis, seguidas de las tautologas y reglas
de inferencia necesarias, hasta llegar a la conclusin.
A continuacin se prueba un enunciado en donde se puede apreciar el uso tanto de las
tautologas como de las reglas de inferencia.
Sean
p: Trabajo.
q: Ahorro.
r: Comprar una casa.
s: Podr guardar el coche en mi casa.
Analizar el siguiente argumento:
"Si trabajo o ahorro, entonces comprar una casa. Si compro una casa, entonces podr
guardar el coche en mi casa. Por consiguiente, si no puedo guardar el coche en mi casa,
entonces no ahorro".
El enunciado anterior se puede representar como:
p q r; y r s; entonces s' q'
Equivale tambin a probar el siguiente teorema:
[(p q) r] [r s] [s' q']
Como se trata de probar un teorema de la forma general:
p1 p2 ...... pn q
Se aplica el procedimiento general para demostracin de enunciados vlidos. A
continuacin se demuestra el teorema respaldando cada uno de sus pasos en tautologas
o reglas de inferencia ya conocidas.
1.- (p q) r Hiptesis
2.- r s Hiptesis
3.- q (q p) Adicin tautologa 10
4.- q (p q) 3; ley conmutativa, regla 2
5.- q r 4,1; silogismo hipottico, regla 22
6.- q s 5,2; regla 22
7.- s' q' 6; contrapositiva, regla 7.
El enunciado es vlido aunque la conclusin puede ser falsa o verdadera.
Es recomendable numerar cada uno de los pasos. Se puede notar que las primeras lneas
son hiptesis, la lnea 3 es una tautologa conocida y de la lnea 4 a 7 se obtuvieron
aplicando reglas de inferencia. Se indica la regla de inferencia aplicada por medio del
nmero de la derecha, y las lneas a las cuales se les aplic dicha regla de inferencia por
medio de los nmeros de la izquierda.
El ejemplo anterior es una demostracin sencilla, pero puede ser tan complicada como
sea necesario y el mtodo debe funcionar.
Demostracin por contradiccin.
El procedimiento de la demostracin por contradiccin es semejante a la que se realiz
por el mtodo directo con la diferencia de que las lneas iniciales de dicha demostracin
no son nicamente las hiptesis, sino adems se incluye en la demostracin una lnea
con la negacin de la conclusin. Por otro lado el objetivo de la demostracin es llegar a
una contradiccin.
La demostracin del siguiente teorema por el mtodo de contradiccin es como se
indica
[ p (p r) ] [ (q s) t ] (p s) t
Demostracin
1.- p (p r) Hiptesis
2.- (q s) t Hiptesis
3.- p s Hiptesis
4.- t Negacin de la conclusin
5.- (q s) 2,4; Modus tollens, regla 25
6.- q s 5; Ley de Morgan, 6
7.- q 6; Simplificacin, regla 20
8.- s q 6; Ley conmutativa, 2b
9.- s 8; Simplificacin, regla 20
10.- s p 3; Ley conmutativa, 2
11.- p 10,9; Silogismo disyuntivo, regla 21
12.- q r 11,1; Modus ponens, regla 24
13.- q 12; Simplificacin, regla 29
14.- q q 13,7; Conjuncin, regla 23
15.- Contradiccin.
Note que juntamente con las premisas se debe incluir la negacin de la conclusin. En
este momento el alumno ya tiene los elementos para llevar a cabo demostraciones con el
apoyo del maestro. Es conveniente plantear varios enunciados, para que el alumno los
represente con simbologa lgica en forma de teorema. Que ese mismo teorema lo
represente con su tabla de verdad y haga la correspondiente demostracin por los dos
mtodos antes mencionados.
La forma en que el aprende a aplicar reglas de inferencia es semejante a la manera en
que deber realizar una factorizacin o una aplicacin de una frmula en clculo
diferencial o integral o la formula que debe aplicar para resolver un problema en fsica.
Lo que debe aprender es a relacionar los distintos conocimientos para poder llegar a la
solucin. Es importante mencionar que el camino que debe seguir el alumno no es el
mismo que el maestro sigui sino uno distinto pero que ambos llegan al resultado.
Conclusiones.
La idea principal de este trabajo es que el alumno aprenda el concepto de proposicin, la
forma en que se pueden formar proposiciones compuestas usando los conectores
lgicos, representar enunciados por medio de simbologa lgica, conocer los conceptos
de tautologa, equivalencia lgica, regla de inferencia. Realizar demostraciones de
teoremas por medio del mtodo directo y contradiccin. Pero con problemas que le sean
familiares e interesantes. Se trata de que en cada uno de los subtemas participe
proponiendo sus propios ejemplo y que sobre todo al final de la unidad l tenga la
habilidad, confianza e iniciativa para inferir posibles soluciones.
La proposicin puede ser simple o compuesta y se denotan generalmente por las ultimas
letras del alfabeto (p, q, r, s,,z)
Una proposicin es simple, cuando no puede parirse en partes constitutivas que sean a
su vez proposiciones. Como ejemplos de proposiciones simples podemos sealar, las
siguientes:
Esta lloviendo
Las proposiciones simples deben ser enunciados simples del espaol, pero debemos
recordar que el espaol usual es un lenguaje informal, o sea que es un lenguaje cuya
gramtica est sujeta a modificacin de estilo y la manera en la cual una verdad puede
ser expresada correctamente en algo que depende en mucho de la opinin de cada quien.
Debe tenerse cuidado de emplear ambigedades de las que surgen en la conversacin
ordinaria y cuidarse del lenguaje ambiguo que se usa deliberadamente en los discursos
polticos.
Para ilustrar la necesidad de definiciones cuidadosas, consideraremos la proposicin
"las ventas estn bajas". Antes de que podamos determinar si esta proposicin es
verdadera o falsa, debemos precisar el significado de "baja"., definiendo que "baja"
significa por ejemplo "menos del promedio diario". Sino tenemos definiciones precisas
para todas nuestras palabras y frases, entonces tendremos slo un lenguaje informal que
puede dar lugar a ambigedades. De ahora en adelante supondremos que todos los
enunciados considerados son proposiciones y tomaremos en cuenta su contenido para
determinar su validez, antes de poder determinar si son falsas o verdaderas. Por
ejemplo, sea:
p= la tierra es plana
q= -17+38= 21
r= x y-9
Obsrvese, que las proposiciones p y q sabemos que pueden tomar un valor de falso o
verdadero; por lo tanto son proposiciones vlidas. La proposicin r tambin es una
proposicin valida, aunque el valor de falso o verdadero depende del valor signado a las
variables x y y en determinado momento. La proposicin s tambin esta perfectamente
expresada aunque para decir si es falso o verdadera se tendra que esperar a que termine
el presente campeonato. Sin embargo las proposiciones t y w no son vlidos, ya que no
pueden tomar un criterio de verdad (falso o verdadero), el primero, t, es un saludo y el
otro, w, es una orden o solicitud.
e. La condicional
f. La bicondicional
LA NEGACIN
La negacin se simboliza, generalmente por el signo "~". Este signo puede ser
traducido en palabras, as: "no es el caso que" o, ms brevemente, "no".
A partir de la teora de conjuntos, establecimos si un elemento pertenece o no a un
conjunto y se seal que si no es elemento del conjunto, entonces es elemento del
conjunto complemento. Por tanto la negacin se refiere al conjunto complemento.
Se establece el siguiente principio para la negacin lgica: la negacin de un enunciado
verdadero es falsa; la negacin de un enunciado falso es verdadero. Lo que equivale a
decir que la negacin de la negacin de una proposicin verdadera es verdadera; y la
negacin de la negacin de una proposicin falsa es falsa. Adems la conectiva no es la
nica de tipo singular del listado de conectores lgicos sealado anteriormente.
LA CONJUNCIN.
lenguaje matemtico, la conjuncin est regida por la ley asociativa , "(pq)r" equivale a
decir "pqr". Pero tambin es de carcter conmutativo: "pq" y "qp" son irrelevantes en su
orden.
La regla para establecer los criterios de verdad de la conectiva lgica conjuncin es la
siguiente:
Lo que equivale a decir que basta que uno de sus componentes sea falsa para
que toda la proposicin sea falsa y slo ser verdadera en el caso de que
ambos componentes lo sean.
Ejemplo:
Sea el siguiente enunciado "el auto enciende cuando tiene gasolina en el tanque y tiene
corriente en la batera"
Sean:
p= tiene gasolina el tanque
q = tiene corriente la batera
r = el auto enciende = p ^ q
La conclusin resultante es que para que el auto encienda se debe tener gasolina en el
tanque y corriente en la batera, sino se tiene una de estas dos condiciones el auto no
arrancar.
LA DISYUNCIN INCLUSIVA
Ejemplo:
Sea el siguiente enunciado "Una persona puede entrar al cine si compra boleto u obtiene
un pase"
Sean:
p= compra boleto
q = obtiene un pase
r = una persona entra al cine = p v q
La conclusin resultante es obvia, puesto que para entrar al cine es necesario tener por
lo menos una de las dos condiciones: comprar un boleto o tener un pase, si se tiene
ambas tambin se puede entrar, si no tengo ninguna de las dos alternativas entonces no
se puede entrar al cine.
LA DISYUNCIN EXCLUSIVA
LA CONDICIONAL
Ejemplo:
Si se tiene lo proposicin "Si un cuerpo se calienta, entonces se dilata", se observa que
estamos diciendo es que la primera proposicin "si el cuerpo se calienta" implica a la
segunda proposicin " entonces se dilata", pero no se afirma que el antecedente es
verdadero, ni el consecuente es verdadero, puede ser que el cuerpo no se calent y el
cuerpo se dilato por causa de otros factores ajenos a la temperatura, un golpe
LA BICONDICIONAL
La bicondicional, expresada por la frase "si y solo s", denotada por el signo"",
significa una relacin bidireccional en donde ambas proposiciones se necesitan entre s.
La regla de la tabla de verdad para esta conectiva lgica es la siguiente:
p = pago la luz
s = pedir prestado
t = pagar la deuda
w = soy desorganizado
En el caso en consideracin tenemos tres variable (p,q,r) y aplican las reglas algebraicas
de solucin de los parntesis (de adentro hacia afuera) por tanto se resuelve de la
siguiente manera
(p
LABORATORIO
(Resolver y entregar en grupos de tres estudiantes, equivalen a nota de un parcial)
Problema #1:
Anote las siguientes expresiones expresadas en lenguaje natural en notacin simblica.
.Si asisto a clases, todos los das entonces aprobare y no fracasare en la vida.
Problema #2:
Se tienen las siguientes proposiciones:
p = los precios de los artculos de primera necesidad estn altos
q = estn encarecindose
r = sobrevivir
Traduzca al lenguaje natural las siguientes expresiones lgicas.
p^q
~p r
p ^ ~q
~p v ~q
(~p ^ ~q) r
Problema #3:
Encuentre la tabla de verdad de las siguientes expresiones lgicas
p (q v r)
(p v r) ^ (p q)
(p v q) (q v p)
p ^ ~p
(p p) v (p ~p)
( p ^ ~q) ^ r
La Teora de Conjuntos es una divisin de las matemticas que estudia las propiedades
y relaciones de los conjuntos. El primer estudio formal sobre el tema fue realizado por
el matemtico alemn Georg Cantor, Gottlob Frege y Julius Wilhelm Richard Dedekind
en el Siglo XIX y ms tarde reformulada por Zermelo.
El concepto de conjunto es intuitivo y se podra definir como una "agrupacin bien
definida de objetos no repetidos y no ordenados"; as, se puede hablar de un conjunto de
personas, ciudades, gafas, lapiceros o del conjunto de objetos que hay en un momento
dado encima de una mesa. Un conjunto est bien definido si se sabe si un determinado
elemento pertenece o no al conjunto. El conjunto de los bolgrafos azules est bien
definido, porque a la vista de un bolgrafo se puede saber si es azul o no. El conjunto de
las personas altas no est bien definido, porque a la vista de una persona, no siempre se
podr decir si es alta o no, o puede haber distintas personas, que opinen si esa persona
es alta o no lo es. En el siglo XIX, segn Frege, los elementos de un conjunto se
definan slo por tal o cual propiedad. Actualmente la teora de conjuntos est bien
definida por el sistema ZFC. Sin embargo, sigue siendo clebre la definicin que
public Cantor.
Se entiende por conjunto a la agrupacin en un todo de objetos bien diferenciados de
nuestra intuicin o nuestro pensamiento.
Georg Cantor
A propsito de la nocin de conjunto, Dedekind dijo que se los imaginaba como un saco
cerrado que contiene cosas... de las que no sabemos nada fuera de que existen y son
totalmente determinadas. Algn tiempo despus, Cantor dio a conocer su idea de
conjunto: elev su colosal figura, describi con el brazo erguido un gesto soberbio, y
dijo con la mirada perdida: 'Me imagino un conjunto como un abismo'.
Notacin
Llamaremos elemento, a cada uno de los objetos que forman parte de un conjunto, estos
elementos tienen carcter individual, tienen cualidades que nos permiten diferenciarlos,
y cada uno de ellos es nico, no habiendo elementos duplicados o repetidos. Los
representaremos con una letra minscula:
De esta manera, si
escribir:
es un conjunto, y
para definir a tal conjunto . Esta notacin empleada para definir al conjunto
llama notacin por extensin.
se
").
Este conjunto universal puede mencionarse explcitamente, o puede darse por supuesto
segn el contexto que estemos tratando.
Existe adems, un nico conjunto que no tiene elementos, al que se le llama conjunto
vaco y que se denota por , esto es:
. La caracterstica importante de este
conjunto es que todos los elementos posibles no estn contenidos en l:
Por otro lado, si todos los elementos de un conjunto satisfacen alguna propiedad,
misma que pueda ser expresada como una proposicin p(x), con la indeterminada x,
usamos la notacin por comprensin, y se puede definir:
donde el smbolo
Cabe sealar que, por definicin, no se excluye la posibilidad de que si AB, se cumpla
A = B. Si, siendo A un subconjunto de B, B tiene por lo menos un elemento que no
pertenezca al conjunto A, entonces decimos que es un subconjunto propio de B, lo
que se representa por
. Es decir
y tambin que:
significando
La relacin "ser subconjunto" es una relacin de orden entre conjuntos puesto que es
reflexiva, transitiva y antisimtrica.
Unin
Para cada par de conjuntos A y B existe un conjunto unin de los dos, que se denota
como
el cual contiene todos los elementos de A y de B.
De esta manera
entonces:
[editar] Interseccin
de forma
, entonces
entonces:
[editar] Particin
[editar] Diferencia
. Es decir:
Esto significa que xA\B si y slo si xA y xB. Tambin se denota por A-B.
Ejemplo. Dados los conjuntos
se tiene:
[editar] Complemento
Se tiene entonces:
La diferencia simtrica de dos conjuntos A y B viene dada por los elementos que
pertenecen a uno y slo uno de los dos:
Sean
, y conjuntos cualesquiera y
entonces:
1.
2.
3.
4.
5.
6.
7.
8.
9.
Propiedad de Involucin.
10.
Propiedad asociativa de la
interseccin
11.
12.
Propiedad distributiva de la
interseccin
13.
Ley de De Morgan
14.
Ley de De Morgan
15.
Propiedad distributiva de la
unin
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
33.
Ejemplo
Sean:
Y el producto se R por S :
Ya que el producto cartesiano est formado de pares ordenados (donde el orden de los
componentes importa), Resulta que como norma general:
Y solo se da el caso:
[editar] Cuantificadores
Los cuantificadores sirven para indicar cuantos elementos de un conjunto dado cumplen
con cierta propiedad. Tales cuantificadores son
Se definen
[editar] Funciones
Artculo principal: Funcin matemtica
Si
antecedente de por .
Sea una funcin
de
. Se emplea la notacin
. Se define
y se dice que
Sean
.
Para demostrar la igualdad tendremos que probar que tienen el mismo dominio, el
mismo codominio, y que sus imgenes son iguales:
Tambin vemos que tienen el mismo codominio, slo nos queda ver que
:
Leyes lgicas
Inversas