Iniciamos la unidad 2 y para recuperar los das de descanso, pasar el apunte en la

libreta por favor, si as lo desean

Unidad 2 Lgica matemtica
Introduccin
La lgica estudia la forma del razonamiento, es una disciplina que por medio de
reglas y tcnicas determina si un teorema es falso o verdadero, adems es
ampliamente aplicada en varias reas, tales como: la Filosofa, Matemtica,
computacin y fsica.
En la filosofa la lgica se utiliza para establecer si un razonamiento es vlido o no.
Tomando en cuenta que una frase puede tener diferentes interpretaciones, en este
caso la lgica permite saber la respuesta correcta.
En matemticas la lgica es una herramienta til para demostrar teoremas e
inferir resultados, as como para resolver problemas.
En la computacin la lgica se aplica en la elaboracin y revisin de programas,
es el estudio de los lenguajes formales y la relacin existente entre ellos, as como
en la obtencin de resultados en forma recursiva.
En la fsica, la lgica se necesita tanto para establecer el procedimiento para llevar
acabo un experimento como para integrar los resultados obtenidos.

Qu es una Proposicin?
Una proposicin o enunciado es una oracin, frase o expresin matemtica que
puede ser falsa o verdadera, pero no ambas a la vez. La proposicin es un
elemento fundamental de la lgica matemtica.
En la lgica matemtica, una proposicin se puede clasificarse como vlida y no
vlidas. Las proposiciones validas son aquellas que tienen una respuesta falsa o
verdadera, cuando una proposicin tiene siempre una sola respuesta sea falsa o
verdad, cada vez que se aplique, se dice que es una proposicin lgica (P.L.),
pero si la proposicin a veces es falsa o verdad dependiendo de sus variantes
entonces se dice que una proposicin abierta (P.A.) y cuando la proposicin no
consigue ninguna de estas repuestas, entonces se dice que es simplemente frase
(Fr).
Por ejemplo:
1. Hoy es Lunes
2. El Lic. Carlos Salinas de Gortari fue presidente de Mxico.
3. El Lic. Jos Lpez Portillo, fue presidente de Espaa
4. Hola cmo ests?
Analizando cada proposicin tenemos que el primero es una proposicin abierta,
porque ser verdad cada vez que se aplique los lunes, y falsa para cualquier otro
da, el segundo y tercero son proposiciones lgicas porque cada vez que se
aplique ser siempre una sola respuesta, verdad para el segundo y falsa para el
tercero, y el cuarto es simplemente frase, porque nunca tomar una respuesta
lgica, es decir, ni es falsa ni es verdadera.

Ejercicios, seale un PL, PA o Fr al final de cada proposicin, segn sea la
respuesta

1. Formatea el disco duro antes de usarlo ( )
2. -15 + 25 = 10 ( )
3. X +Y = Z ( )
4. Pumas ser campen en el prximo torneo de futbol ( )
5. El 15 de septiembre de 2011 fue un jueves ( )
6. Hoy ser un da muy asoleado ( )


Entramos con proposiciones compuestas para el lunes y para ello va la
Tarea 1: investigar y estudiar los operadores lgicos and, or, xor, negacin o not,
condicionales y bicondicionales, preparar segn las rubricas y enviarlo al correo
para su revisin para el martes 3 de septiembre


Proposiciones compuestas.
Una proposicin compuesta, consiste en la formacin o conexin de dos o ms
proposiciones simple por medio de un conector conocido como operador lgico,
para ello se detallar a continuacin:
- Operador and (y)

El operador y se utiliza para conectar dos proposiciones que se deben
cumplir para se pueda obtener un resultado verdadero y cuando cualquiera
de las proposiciones es falsa, el resultado es falso. Donde su simbologa es
(.)

Ejemplo: considrese el siguiente enunciado El automvil arranca si y slo
si el tanque tiene gasolina y la batera tiene corriente

Sean:
p: El automvil arranca.
q: El tanque tiene gasolina.
r: La batera tiene corriente.
De esta manera la representacin del enunciado anterior, usando la
simbologa lgica es:
p = q . r
y la tabla de verdad es la siguiente:

q r p = q . r
1 1 1
1 0 0
0 1 0
0 0 0

Aqu se tiene que:
1 = verdadero
0 = falso

En la tabla 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
automvil puede encender. Se puede notar que si q o r vale cero, esto
implica que el automvil no tiene gasolina o bien la batera no tiene
corriente, y que por lo tanto no puede encender.


Al operador lgico ( . ) se le conoce como la multiplicacin lgica, porque

1 . 1 = 1
1 . 0 = 0
0 . 1 = 0
0 . 0 = 0

En lgica matemtica en lugar del signo = se utilizan los signos y para
indicar equivalencia lgica, de forma que la proposicin del ejemplo anterior
puede indicarse como p (q . r) o bien como p (q . r).


- Operador or ()

Con este operador se obtiene un resultado falso cuando las dos
proposiciones son falsas y un resultado verdadero si cualquiera de las
proposiciones es verdad. La simbologa se puede denotar de la siguiente
manera: (v, +, ), para efecto de estudio se usar (v).

Por ejemplo: Se tiene el siguiente enunciado:
Una persona puede entrar al cine si y solo si compra su boleto o le regalan
un pase

Sean:
p: Una persona entra al cine.
q: Compra su boleto.
r: Le regalan un pase.

De esta manera la representacin del enunciado con notacin lgica es la
siguiente:
p (q v r)
y su tabla de verdad es:

q r p (q v r)
1 1 1
1 0 1
0 1 1
0 0 0

A partir de la tabla se ve que la nica forma en la que no puede ingresar al
cine (p 0), es que no compre su boleto (q 0) y no le regale un pase (r
0).
Al operador lgico ( v ) tambin se le conoce como la suma lgica, ya que:

1 v 1 = 1
1 v 0 = 1
0 v 1 = 1
0 v 0 = 0


- Operador not (no)

El operador not tiene como funcin negar la proposicin esto significa que
si alguna de las proposiciones verdadera se le aplica el operador not se
obtendra su complemento o negacin La simbologa del operador se
puede representar de las siguientes formas: , ~, ). Para efecto de
estudio se usar )
La tabla de verdad relacionada con el operador seria la siguiente:

p p
1 0
0 1

- Operador Xor ( exclusivo).

Adems de los operadores bsicos (and, or y not) existe el operador Xor,
cuyo funcionamiento es semejante al de or con la diferencia de que su
resultado es verdadero solamente si una de las proposiciones es cierta, ya
que cuando ambas son verdad el resultado es falso. Este operador se
indica por medio del smbolo ( ) y su tabla de verdad es la siguiente:

p q p q
1 1 0
1 0 1
0 1 1
0 0 0

Finalmente con ayuda de estos operadores bsico se pueden formar los
operadores compuestos Nand (combinacin de Not y and). Nor
(combinacin de Not y or) y Xnor (combinacin de Xor y Not), los cuales se
tratarn con mayor detenimiento en el tema de Algebra Booleana.




- Operador Condicional

Una proposicin condicional es aquella que est formada por dos
proposiciones simples (o compuestas) p y q, y que se indica de la siguiente
manera:
p q
Esto se lee si p entonces q

Ejemplo. Considrese que un alumno de la materia de Matemticas
Discretas dice: Si estudio mucho entonces apruebo los exmenes

Una declaracin como sta se conoce como condicional, y para analizarla
sean las proposiciones:

p: Estudio mucho
q: Aprueba los exmenes.

De esta forma el enunciado se pude denotar lgicamente como: p q
donde su tabla de verdad es la siguiente:


p q p q
1 1 1
1 0 0
0 1 1
0 0 1

En esta tabla hay que observar que el nico caso en el que (p q) es 0 es
cuando p 1 y q 0.

La interpretacin de los resultados de la tabla es la siguiente:
1. p1 significa que estudio mucho mientras que q1 significa que
apruebo los exmenes por tanto pq) 1, indica que el alumno
dijo la verdad en su promesa.
2. p1 y q0 significa que el alumno se minti, ya que despus de
estudiar mucho, no aprob el examen como se haba prometido, por
tanto la afirmacin del alumno es falsa (10) 0.
3. p0 y q1 significa que el alumno no estudi mucho ms sin
embargo aprob los exmenes, por lagunas otras circunstancias, por
lo que el alumno no se minti, por tanto la afirmacin queda (01)
1.
4. p0 y q0 significa que el alumno no estudio mucho y que tampoco
aprob los exmenes, por lo que l tampoco se minti, ya que
estaba bajo la condicin, por tanto la afirmacin es verdad (01)
1.

- Operador Bicondicional

Sean p y q dos proposiciones, entonces se puede indicar la proposicin
bicondicional de la siguiente forma. p q.

Esto se lee como p si y slo si q en donde la proposicin que representa
el enunciado (p q) es verdadera si p es verdadera y si y slo si q
tambin lo es. O bien la proposicin es verdadera si p es falsa y si y slo si
q tambin lo es.

Ejemplo Considrese el enunciado Es un excelente alumno si y slo si
tiene promedio de diez
Para representar esto con notacin lgica en forma de proposiciones
bicondicionales se define las proposiciones
p: es un excelente alumno
q: si tiene promedio de diez
y su tabla correspondiente seria la siguiente.


p q p q
1 1 1
1 0 0
0 1 0
0 0 1

Como se ve en la tabla, la proposicin bicondicional solamente es
verdadera si tanto p como q son falsa o bien si ambas son verdaderas.


Usando los diferentes operadores lgicos expuestos, se pueden representar
con notacin lgica enunciados compuestos con ms de una proposicin.






Ejercicios: represente con notacin lgica los siguientes enunciados y seale las
proposiciones simples:

a) Si estudio los temas de matemticas discretas y realizo todas las tareas
entonces podr aprobar el semestre

b) Ir de vacaciones libremente si y slo si apruebo matemticas discretas y
fundamentos de programacin

c) Si apruebo todas mis materias del primer semestre o apruebo el 50% + 1,
de los crditos entonces podr inscribirme en el segundo semestre.

Ahora de las siguientes notaciones lgicas bajo las proposiciones simples,
encuentre el enunciado compuesto:

Sean.
p:El programa correr
q:Tiene errores de compilacin
r:Los resultados son correctos
s:Tiene errores lgicos
t:El programa est bien

a) (p . q) t
b) (q . s) p
c) (p v s) r
d) (p . r) (q . s)




Tabla de verdad.

Por medio de una tabla de verdad es posible mostrar los resultados obtenidos al
aplicar cada uno de los operadores lgicos, as como el resultado de la
proposicin para todos y cada uno de los valores que puede tener las diferentes
proposiciones simples que integran una proposicin compuesta. Con la tabla de
verdad se puede observar con claridad el comportamiento particular y
generalizado de una proposicin y, con base en ello determinar sus propiedades y
caractersticas.

Una tabla de verdad est formada por filas y columnas, y el nmero de filas
depende del nmero de proposiciones diferentes que conforman una propopsicion
compuesta. Asimismo, el nmero de columnas depende del nmero de
proposiciones que integran la proposicin y del nmero de operadores lgicos
contenidos en la misma.
En general se tiene la siguiente expresin:
Nmero de filas = 2
n

Donde n es el nmero de proposiciones diferentes que integran una proposiciones
compuesta.

Por ejemplo: construir la tabla de verdad de la siguiente expresin.

(p . q) p v q)

Obsrvese que las proposiciones en la expresin son entre p y q, por tanto 2
n
,
siendo n la dos proposiciones 2
2
= 4 filas

p q p q (p . q) p v q) (p . q) p v q)
1 1 0 0 1 0 0
1 0 0 1 0 1 1
0 1 1 0 0 1 1
0 0 1 1 0 1 1

Tarea 2, construya en una hoja de clculo electrnica la tabla de verdad de la
siguientes notaciones lgicas, preprelas, agregue sus datos y envelas al correo
para su revisin, para el viernes 13 de Septiembre.
a) (pvq)p.q)
b) pq) . (pq)
c) ((pvq)r) v (qr)
d) (q.pvr)(p.q)







Tautologa.
Tautologa es aquella proposicin (compuesta) que es cierta para todos los
valores de verdad de sus variables. Un ejemplo tpico es (p p) ya que el
resultado es verdadero para todos los valores que puede tener p tal como lo
muestra la tabla de verdad.
P p p p)
1 0 1
0 1 1

Las tautologas son muy importantes en lgica matemtica, ya que al tener un
resultado verdadero para todos los valores de verdad, se consideran leyes que se
puedes utilizar para realizar demostraciones de teoremas o para inferir resultados
de proposiciones desconocidas.
Ejercicio construir la tabla de verdad de la siguiente proposicin:
(p q) (q p)
[(p q) q] => p

Tautologas comunes
1.- Adicin:
a) p => p q)

2.- Simplificacin:
a) p q) => p
3.- Absurdo:
a) p 0 => p
4.- Modus ponens:
a) [p p q)] => q
5.- Modus tollens:
a) [ p q) q] => p

6.- Transitividad de la bicondicional
a) [p q) q r) ] => p r)
7.- Transitividad de la condicional
a) [p q) q r) ] => p r)
8.- Extensin de la condicional:
a) p q) => [p r) q s)]
b) p q) => [p r) q s)]
c) p q) => [q r) p s)]

9.- Dilemas constructivas:
a) [p q) r s)] => [p r) q s)]
b) [p q) r s)] => [p r) q s)]


Contradiccin.
Se dice que una proposicin es una contradiccin o absurdo si al evaluar esa
proposicin el resultado es falso, para todos los valores de verdad. La
contradiccin ms conocida es p p) tal como se muestra en su tabla de verdad.
p p p p)
1 0 0
0 1 0

Por ejemplo considrese
p: la puerta es verde
Entonces la proposicin (p p) equivale a decir que La puerta es verde y la
puerta no es verde.


Contingencia
Una proposicin compuesta cuyos valores, en sus diferentes lneas en la tabla de
verdad, dan como resultado 1s y 0s se llama contingencia, inconsistencia o
falacia. Prcticamente cualquier proposicin que se invente por lo general es una
contingencia. Considrese el siguiente ejemplo.
p q p q q p) q p) p [q p) p] q
1 1 0 0 1 0 0
1 0 0 1 1 0 0
0 1 1 0 0 1 1
0 0 1 1 1 1 0

Inferencia lgica.
Los argumentos basados en tautologas representan mtodos de razonamiento
universales correctos. Su validez depende solamente de la forma de las
proposiciones que intervienen y no de los valores de verdad de las variables que
contiene.

A esos argumentos y a la forma en que se relacionan entre s, se le llama Reglas
de Inferencia, y estas permiten relacionar dos o ms proposiciones para obtener
una tercera que es vlida en una demostracin.

Por ejemplo #1: considrese el siguiente argumento:
- Si es un gato, entonces come carne
- Si come carne, entonces es un felino
.

. Si en un gato, entonces es un felino

Sean las proposiciones:
p: es un gato
q: come carne
r: Es felino

Utilizando stas, el argumento anterior se puede representar con notacin lgica
de la siguiente manera:
p q
q r

.

. p r
Observe que en esta regla de inferencia se parte de que las proposiciones p q y
q r son verdaderas, porque son hiptesis y parte del enunciado, para obtener
con ellas la inferencia lgica la proposicin p r que tambin se considera
vlida.


Ejemplo #2. Considrese el siguiente argumento:
- Bajan los impuestos
- Si bajan los impuestos, entonces los ingresos se elevan.
.

. El ingreso se Eleva
Sean las proposiciones:
p: Bajan los impuestos
q: El ingreso se eleva


Utilizando stas, el argumento anterior se puede representar con notacin lgica
de la siguiente manera:
p
p q

.

. q

En el primer ejemplo (#1), se aplic una regla de inferencia conocida como
silogismo hipottico, mientras que en el segundo ejemplo (#2) se utiliz la que se
conoce como Modus Ponens. Las proposiciones a las que se les aplica una regla
de inferencia pueden ser bastante complejas, sin embargo la proposicin obtenida
ser vlida siempre y cuando se respete la forma de la regla de inferencia.

Considrese este tercer argumento como ejemplo.
((p s) q ) (q s)
(q s) ( s p)

.

. ((p s) q ) ( s p)
Obsrvese cmo en este caso o de qu manera se est aplicando el silogismo
hipottico mostrado en el primer ejemplo (#1). Aqu p es ((p s) q ), q es (q
s) y r es ( s p)


Reglas de inferencia comunes

10,. Adicin p

.

. p r
11.- Simplificacin
p q

.

. p

12.- Silogismo disyuntivo
p q
p

.

. q
13.- Silogismo Hipottico
p q
q r

.

. p r

14.- Conjuncin
p
q

.

. p q

15.- Modus ponens
p
p q

.

. q

16.- Modus tollens
p q
q

.

. p







Equivalencia Lgica
Se dice que dos proposiciones son lgicamente equivalentes, o simplemente equivalentes, si
coinciden sus resultados para los mismos valores de verdad y se indica como p q o bien
como p => q.
Por ejemplo, considrese la siguiente tabla.
P q p q p q q p q p p q) q p) p q
1 1 0 0 1 1 1 1 1
1 0 0 1 0 1 0 0 0
0 1 1 0 1 0 1 0 0
0 0 1 1 1 1 1 1 1


Equivalentes Equivalentes

En esta tabla se puede observar que p q es lgicamente equivalente a su contra positiva q
p ya que coinciden en todas sus lneas, por lo tanto, se dice que (p q) q p).
Tambin la interseccin de una proposicin condicional con su reciproca es lgicamente
equivalente a la proposicin bicondicional, de manera que [(p q) (q p)] (p q)

Existen varias proposiciones lgicamente equivalente, que son, de gran utilidad en la
demostracin de teoremas.

Proporciones equivalentes
17.- doble negacin
a) p p
18.- Leyes conmutativas
a) p q) q p)
b) p q) q p)
c) p q) q p)

19.- Leyes asociativas
a)[ p q) r ] [ p q r) ]
b) [ p q) r ] [ p q r) ]
20.- Leyes distributivas
a) [ p q r) ] [ p q) p r) ]
b) [ p q r) ] [ p q) p r) ]
21.- Leyes de idempotencia
a) p p p
b) p p p
22.- Leyes de Morgan
a) p q) p q)
b) p q) p q)
23.- Contrapositiva
a) p q) q p)
24.- Variantes de la condicional
a) p q) p q)
b) p q) p q)
c) p q) p q)
d) (p q) p q)
e) [ p r) q r) ] [ p q) r]
f) [ p q) p r) ] [ p q r)]
25.- Variantes de la bicondicional
a) p q) [ p q) q p)]
b) p q) [ p q) q p)]
c) p q) [ p q) p q)]
26.- Contradiccin
a) p q) 0
27.- Ley de Identidad
a) p 0) p
b) p 1) 1
c) p 0) 0
d) p p ) 1
e) p 1) p
f) p q q) q
28.- Disyuncin exclusiva
a) p q ) p q)

Por ejemplo: Usando equivalencias lgicas demostrar que
p q) [ p q) q p)]
Demostrar:
p q) [ p q) q p)]
p q) q p) p q) q p) usando equivalente 25b y 24a
p q) p q) p q) p q) aplicando 18a
De aqu se nota claramente que se trata de una equivalencia lgica.







Resumen de la tabla
Tautologicas Reglas de inferencia Equivalencia
1.- Adicin:
a) p => p q)

2.- Simplificacin:
a) p q) => p
3.- Absurdo:
a) p 0 => p
4.- Modus ponens:
a) [p p q)] => q
5.- Modus tollens:
a) [ p q) q] => p

6.- Transitividad de la bicondicional
a) [p q) q r) ] => p r)
7.- Transitividad de la condicional
a) [p q) q r) ] => p r)
8.- Extensin de la condicional:
10,. Adicin
p

.

. p r
11.- Simplificacin
p q

.

. p

12.- Silogismo disyuntivo
p q
p

.

. q
13.- Silogismo Hipottico
p q
q r

17.- doble negacin
a) p p
18.- Leyes conmutativas
a) p q) q p)
b) p q) q p)
c) p q) q p)

19.- Leyes asociativas
a)[ p q) r ] [ p q r) ]
b) [ p q) r ] [ p q r) ]

20.- Leyes distributivas
a) [ p q r) ] [ p q) p r) ]
b) [ p q r) ] [ p q) p r) ]

21.- Leyes de idempotencia
a) p p p
b) p p p
a) p q) => [p r) q s)]
b) p q) => [p r) q s)]
c) p q) => [q r) p
s)]

9.- Dilemas constructivas:
a) [p q) r s)] => [p r)
q s)]
b) [p q) r s)] => [p r)
q s)]

.

. p r

14.- Conjuncin
p
q

.

. p q

15.- Modus ponens
p
p q

.

. q

16.- Modus tollens
p q
q

.

. p

22.- Leyes de Morgan
a) p q) p q)
b) p q) p q)
23.- Contrapositiva
a) p q) q p)

24.- Variantes de la condicional
a) p q) p q)
b) p q) p q)
c) p q) p q)
d) p q) p q)
e) [ p r) q r) ] [ p q) r]
f) [ p q) p r) ] [ p q r)]

25.- Variantes de la bicondicional
a) p q) [ p q) q p)]
b) p q) [ p q) q p)]
c) p q) [ p q) p q)]

26.- Contradiccin
a) p q) 0
27.- Ley de Identidad
a) p 0) p
b) p 1) 1
c) p 0) 0
d) p p ) 1
e) p 1) p
f) p q q) q

28.- Disyuncin exclusiva
a) p q ) p q)





Tema: Argumentos vlidos y no vlidos.

Un argumento consiste en una o ms hiptesis y una conclusin, de forma que la conclusin
se apoye en las hiptesis. Tambin se puede considerar a un argumento como una serie de
proposiciones interrelacionados que conforman una proposicin ms compleja, a la cual se le
llama teorema.

Todos los argumentos necesitan de una o ms proposiciones iniciales, y a estas
proposiciones iniciales se les llama hiptesis. La conclusin de un argumento o teorema es
una consecuencia de las hiptesis, por esta razn se requiere que las hiptesis sean
convincentes y explcitas.

En general los argumentos lgicos a tratar tienen la siguiente forma. P => Q

La proposicin P est integrada por proposiciones ms simples llamadas hiptesis, las
cuales se encuentran relacionadas con el operador lgico and (), y Q es la conclusin del
teorema, que tambin puede estar conformada por una o ms proposiciones simples, de tal
manera que el argumento puede tener la siguiente forma:

(p
1
p
2
.. p
n
) => q

En donde p
1
, p
2
, .... p
n
son las hiptesis y q es la conclusin del razonamiento.

Hay argumentos que son vlidos, mientras que otros no lo son. A continuacin se ilustra esto
en los siguientes ejemplos.

Ejemplo #1. Caso en el que el argumento es vlido, y tanto las hiptesis como la conclusin
son verdaderas.
Las aves son ovparas. El gorrin es ave. Por lo tanto, el gorrin es ovparo
Considerar que:
p
1
: Las aves son ovparas.
p
2
: El gorrin es ave
q: El gorrin es ovparo.

Toda la informacin que se encuentra antes del trmino Por lo tanto conforma las hiptesis.
Lo que separa de una hiptesis a otra es el punto y seguido, el cual se representa por una
interseccin entre cada una de las hiptesis. Por otro lado, la parte que esta entre la palabra
Por lo tanto y el punto final del enunciado, es lo que se conoce como conclusin. Dicha
conclusin puede estar integrada tambin por ms de una proposicin. De esta forma el
enunciado anterior se puede representar con notacin lgica de la siguiente manera:

p
1
p
2
=> q
Como tanto hiptesis como conclusin son verdaderas (p
1
= 1, p
2
= 1, q = 1), entonces se
trata de un argumento vlido ya que:

1 1 => 1
1 1 1
1 1
1


Ejemplo #2 En este caso se muestra que un argumento tambin es vlido cuando todas o
alguna de las hiptesis es falsa, y la conclusin es verdadera.
Considrese lo siguiente:
Las mujeres son jvenes. Miss universo es mujer. En conclusin, miss universo es joven.
A partir de esto se definen:
p
1
: Las mujeres son jvenes.
p
2
: Miss universo es mujer
q: Miss universo es joven.



En el enunciado anterior la caracterstica de joven es difcil de evaluar, ya que depende con
quien se compare, pero suponiendo que una mujer es joven si tiene entre 17 y 30 aos
entonces se puede decir que p
1
es falsa porque hay mujeres que no son jvenes: p
2
es
verdadera y que q es verdadera Aunque se tiene hiptesis falsas (con una que sea falsa
es suficiente) y la conclusin verdadera, entonces el argumento es completamente vlido.
Considerando p
1
= 0, p
2
= 1 y q = 1 se tiene:

0 1 => 1
0 1
1
Hay que observar que para evaluar la validez de un argumento, se toma como base la
representacin condicional.

Ejemplo # 3 Caso en el que el argumento es vlido, y las hiptesis y la conclusin son falsas.
Considrese lo siguiente:
Los alemanes son de raza negra. George Bush es de raza negra. Por lo tanto George Bush
es alemn.
A partir de esto se definen:
p
1
: Los alemanes son de raza negra.
p
2
: George Bush es de raza negra.
q: George Bush es alemn.



En este caso las hiptesis p
1
, p
2
y la conclusin q son falsas, sin embargo el argumento se
considera vlido.

Utilizando notacin lgica, el argumento anterior se puede evaluar de la siguiente manera


0 0 => 0
0 0
1


Ejemplo #4 Un argumento no se considera vlido, si est integrado por hiptesis verdaderas
y conclusin falsa.
Considrese lo siguiente:
c
2
= a
2
+ b
2
. c
2
= a
2
+ b
2
se aplica a tringulos rectngulos. Por lo tanto. Es la segunda ley
de newton.
Sean:
p
1
: c
2
= a
2
+ b
2
.
p
2
: c
2
= a
2
+ b
2
se aplica a tringulos rectngulos.
q: Es la segunda ley de newton.


En este caso p
1
y p
2
son verdaderas porque c
2
= a
2
+ b
2
es aplicable a tringulo
rectngulos, ya que se trata del teorema de Pitgoras. Sin embargo, al tener una conclusin
falsa se dice que el argumento es invlido.

En trminos de notacin lgica y sustituyendo valores se tiene que:

p
1
p
2
=> q
1 1 => 0
1 0
0



Tipos de argumentos

Bsicamente existe dos tipos de argumentos lgicos: deductivo e inductivo.

En un mtodo deductivo se va de lo general a lo particular, se trata de un procedimiento que
parte de un teorema que est formado por hiptesis y una conclusin. Se puede decir que
inicia con una explicacin razonable para describir el comportamiento de un conjunto de
datos y que esa explicacin se representa por medio de un teorema que deber demostrarse
formalmente por medio de leyes y reglas conocidas (tautologas, reglas de inferencia y
equivalencias lgicas en el caso de lgica matemtica). El argumento podr ser vlido o
invlido. Un argumento deductivo vlido se define como aquel que siendo sus hiptesis
ciertas, la conclusin tambin lo es.

En un argumento inductivo se va de lo particular a lo general, se puede decir que es el
conjunto de observaciones y datos cuya tendencia permite visualizar o generalizar el
comportamiento de un evento. La veracidad de sus conclusiones se va reforzando con la
generacin de ms y ms datos que apuntan en una misma direccin.

Demostracin formal

Generalmente los argumentos lgicos son razonamientos resultantes del enunciado de un
problema que es posible representar, usando notacin lgica, como una proposicin
condicional integrada por varias proposiciones simples, siempre y cuando se identifiquen
claramente las proposiciones simples y los conectores lgicos que unen dichas
proposiciones.

Los teoremas representados con notacin lgica, producto de un razonamiento, se pueden
demostrar usando el Mtodo directo o bien el Mtodo por contradiccin (que son mtodos
de demostracin deductivo). Dependiendo de la naturaleza del teorema, algunas veces es
ms sencilla la demostracin por el mtodo directo y algunas veces es ms fcil si se utiliza
el mtodo por contradiccin.

Demostracin por el mtodo directo.

Supngase que P => Q es el teorema resultante del planteamiento de un problema usando
para ello notacin lgica, y que P y Q son proposiciones compuestas en las que interviene
cualquier nmero de proposiciones simples que conforma una serie de hiptesis
consideradas verdaderas. Se dice que Q se desprende lgicamente de P, y que por lo tanto
el teorema P => Q es verdadera. Sin embargo tambin P => Q puede ser falsa, si se
presenta alguna inconsistencia o planteamiento inicial.

Si P (p
1
p
2
.. p
n
) y Q q entonces el teorema por demostrar toma la forma:
(p
1
p
2
.. p
n
) => q
en donde p
1
, p
2
, p
n
son hiptesis que se consideran verdaderas, ya que son parte del
planteamiento del problema, y q es la conclusin a la cual se debe llegar para demostrar la
validez del teorema, usando para ello reglas de inferencia, tautologas, equivalencia lgica y
las propias hiptesis del problema.

En general, las demostraciones formales deben tener el siguiente formato:

1.- p
1

2.- p
2



n.- p
n
(n+1).- p
n+1

(m+1).- p
m+1
(m).- q


Las lneas 1 hasta n son las hiptesis resultantes del enunciado a demostrar y siempre se
colocan al principio de la demostracin. Las lneas (n+1) hasta (m+1) son proposiciones
obtenidas usando reglas de inferencia, tautologas o equivalencias lgicas, y finalmente la
lnea m es la conclusin q obtenida.

Por ejemplo #1 se demuestra un enunciado y la explicacin paso a paso el uso de las
herramientas lgicas.

Sea las siguientes proposiciones:

p: Trabajo.
q: Ahorro.
r: Comprare una casa.
s: Podr guardar el coche en mi casa.

A partir de esta informacin represntense el siguiente enunciado en forma de teorema
usando notacin lgica y llvese a cabo la demostracin formal aplicando el mtodo directo.

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.

En el enunciado anterior, cada prrafo separado por punto y seguido es una hiptesis hasta
llegar a una frase como Por consiguiente Por lo tanto o En conclusin ya que despus
de esa frase toda la informacin formar parte de la conclusin.

Como el planteamiento se debe representar en la forma de P => Q, la informacin que
pertenece a cada elemento es como se muestra a continuacin:

P => Q
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.


Como se ve, P puede estar integrada por varias hiptesis, cada una de ellas separadas por
un punto y seguido, y para completar el teorema es necesario su conclusin correspondiente
Q

P => Q
Si trabajo o ahorro,
entonces comprar
. Si compro una casa,
entonces podr
Por
consiguiente
Si no puedo guardar el coche
en mi casa, entonces no

una casa. guardar el coche en mi
casa.
ahorro.
(p q) r r s => s q


En el cuadro anterior. P est integrado por dos hiptesis

(p q) r
r s
Mientras que Q slo es la proposicin condicional

s q

Tomando en cuenta esto, el enunciado en forma de teorema es el siguiente:

[(p q) r] [r s] => [s q]

La forma general de este enunciado es:

(p
1
p
2
.. p
n
) => q

A continuacin se demuestra el teorema, sealando en cada paso la tautologa, regla de
inferencia o equivalencia lgica que se usa en la demostracin.

1. (p q) r Hiptesis
2. r s Hiptesis
3. q (q p) Adicion; 1
4. q (p q) 3; ley conmutativa; 18a
5. q r 4, 1; silogismo hipottico; 13
6. q s 5, 2; silogismo hipottico; 13
7. s q 6; contrapositiva; 23


Como se mencion, el procedimiento para demostrar un teorema no es nico sino que
depende del razonamiento lgico de cada persona. A continuacin se presenta otra forma
de demostrar el mismo teorema

1. (p q) r Hiptesis
2. r s Hiptesis
3. (p q) s 1, 2; silogismo hipottico; 13
4. s (p q) 3; contrapositiva; 23
5. s (p q) 4; ley de Morgan; 22a
6. (q p) q simplificacin; 2
7. (p q) q 6; ley conmutativa; 18b
8. s q 5, 7; silogismo hipottico; 13
Observe cmo las equivalencias lgicas, como es el caso de la Ley de Morgan para obtener
la lnea 5, se pueden aplicar a toda la lnea o pate de ella. Sin embargo, las reglas de
inferencia requieren de una o ms lneas completas con el formato de la regla, para poderse
aplicar, como es el caso del Silogismo hipottico para obtener la lnea 3 que requiere de la
informacin que se encuentra en las lneas 1 y 2, al igual que para obtener el resultado de la
lnea 8, se aplic para las lneas 5 y 7.




Demostracin por contradiccin

El procedimiento de la demostracin por contradiccin es semejante al del mtodo directo,
con la diferencia de que las lneas iniciales de dicha demostracin no son nicamente las
hiptesis, sino que adems se incluye una lnea con la negacin de la conclusin. Se debe
tener presente que el objetivo de la demostracin es llegar a una contradiccin de la forma (p
p) 0.

Por ejemplo #2: la demostracin por contradiccin del teorema:

[(p q) r] [r s] => [s q]

Es la siguiente

1. p q) r Hiptesis
2. r s Hiptesis
3. (s q) Negacin de la conclusin
4. [(s q)] 3; Variantes de la condicional; 24b
5. s q 4; Doble negacin 17
6. s 5; Simplificacin; 11
7. q 5; Simplificacin; 11
8. p q) s 1, 2; Silogismo hipottico; 13
9. s p q) 8; Contrapositiva; 23
10. s (p q) 9; Ley de Morgan; 22a
11. (p q) 6, 10; Modus ponens; 15
12. q 11; Simplificacin; 11
13. q q 7, 12; Conjuncin; 14
14. 0 13; Contradiccin; 26

Al llegar a un valor de cero significa que el teorema es falso, pero como se consider como
verdadera la negacin de la conclusin y se coloc en la demostracin, realmente lo que se
est demostrando es que el teorema [p q) r] [r s] => [s q] es verdadero.

En la demostracin por contradiccin del ejemplo #2 no era necesario llegar a la
contradiccin con la proposicin q como de hecho ocurri, q q, sino que se podra haber
llegado a la contradiccin de p, r o s. cualquiera de ellas es vlida para la demostracin del
teorema.



Ejercicios. Representar el siguiente enunciado en forma de teorema usando notacin lgica,
y hacer la demostracin formal mediante el mtodo directo y por contradiccin.

Si no acelero al automvil, entonces el automvil no correr. Si no le freno al automvil,
entonces el automvil no se detendr. Si el automvil no corre o no se detiene, entonces el
automvil est fallando. De tal manera que si el automvil no est fallando, entonces puedo
acelerar y frenar el automvil

P: acelerar P: no acelera

Q: correr Q: no corre

R: frenar r: no frena

S: detener s; no se detiene

T: fallar t: no est fallando
p q
r s

(q s) t

=>

t p r)

notacin lgica

[(p q) (r s) (q s) t] => [t p r)]



1. p q) Hiptesis

2. (r s) Hiptesis
3. (q s) t Hiptesis, continuar ejercicio







Tema: Lgica de predicados.

La lgica de proposiciones es muy buena para inferir informacin cuando es posible
determinar claramente si una proposicin es falsa o verdadera, pero en la vida real
prcticamente nada es totalmente falso o totalmente verdadero, ya que influyen muchos
factores

La Lgica de predicados, o lgica de conjuntos, se basa en que las proposiciones son
conjuntos de elementos que tienen una propiedad o caractersticas llamada Predicado y en
este contexto una proposicin puede ser verdadera para un grupo de elementos de un
conjunto, pero falsa para otro, para ello se tiene que demostrar con los clculos de
predicados.

A diferencia del clculo de proposiciones, donde una proposicin lgica es siempre
verdadera o falsa, en el clculo de predicado es la utilizacin de variables, dentro de este
contexto ejemplificaremos las expresiones booleanas que se definieron como proposiciones
abiertas que a veces son verdaderas o falsas.

En clculo de predicado, hay elementos ms simples para formar las expresiones atmicas,
al igual que en una proposicin abierta donde su valor puede ser verdadero o falso de
acuerdo a la interpretacin, en clculo de predicados el valor de verdad depende de los
elementos o componentes (variables) que forman el predicado.

Por ejemplo:

Sea la proposicin J uan es padre de Pedro es una expresin en clculo de predicados,
que en general podra ser x es padre de y

En otras palabras tenemos una proposicin abierta que depende de dos variables, y que por
supuesto el valor de verdad depende de los dos valores que le de a las variables, porque por
ejemplo: Luis es padre de Hugo puede tener un valor de verdad diferente a lo anterior.

En general podemos decir que un predicado puede tener una o ms variables y que las
variables pueden tener valores de un conjunto especifico llamado Dominio.

As por ejemplo; las dos expresiones mencionadas anteriormente son de la forma P(x, y),
donde el predicado P presenta es padre de y el dominio es el conjunto de las personas.
Por ejemplo: De las siguientes proposiciones, bajo el clculo de predicados, determine el
predicado y el dominio.

- El libro es de color Azul
A(x), donde A es el predicado es de color azul y el dominio es el conjunto de objetos


- Lupe y Mara son hermanas.
H(x,y), donde H es el predicado son hermanas y el domino es el par de personas del
conjunto personas
- Juan Prez es alumno del Tec.
T(x), donde T es el predicado es alumno del Tec y el dominio es un alumno del
conjunto de alumnos
- Lupe tiene ms aos en el trabajo que Lola.
AT(x,y), donde AT es el predicado tiene ms aos en el trabajo y el dominio es el par
de personas del conjuntos de trabajadoras.
- Paco y Luis son hijos de Hugo, entonces Paco y Luis son hermanos.
(H1(x,y) H2(x,y)), donde H1, H2 son los predicados son hijos de y son
hermanos respectivamente y el domino es el par de persona del conjunto personas



Podemos observar que la definicin del predicado es arbitraria, y que para un mismo ejemplo
podra variar la estructura, por ejemplo en el predicado El libro es azul podra
considerarse como frmula propuesta M(x, y), donde M es el predicado es de color y el
dominio para la primera variable (x) es el conjunto de los objetos y para la segunda variable
(y) el de los colores.

Tambin podemos observar que le domino puede ajustarse segn las necesidades, como
por ejemplo en el tercer ejemplo en T(x), y podra ser el conjunto de todos los alumnos de un
pas o de una cuidad o de una disciplina.

Una frmula en lgica de predicado, es una expresin que puede obtener mediante una de
las siguientes notaciones:

i. P(x
1
, x
2
, ., x
n
)
Donde P es un smbolo que representa un predicado x
1
, x
2
, ., x
n
, son smbolos de
variables de un conjunto del universo.


ii. (F), donde F es una frmula de lgica de predicado


iii. (F <Op> G)
Donde F y G son frmulas de lgica de predicado y <Op> puede ser cualquier
operador lgico (and, or) y los condicionales (entonces, si y solo s).

iv. ( ) F, donde F es una frmula de lgica de predicados
v. ( x) F, donde F es una frmula de lgica de predicados

Nota: En los parntesis de los incisos ii y iii, dichas expresiones es con la finalidad de evitar
ambigedades al igual que en la lgica de proposiciones. Es claro que para asignar un valor
de verdad a una proposicin debemos conocer el predicado y los valores de las variables.

Para los incisos iv y v, nos encontramos con dos casos que caen en dos temas que se
describen a continuacin y son, primero: variables o particularidades y el segundo:
cuantificadores y restricciones (universales y existenciales).




Variables y particularizaciones.

En clculo de predicado tenemos expresiones con variables, las variables pertenecen a un
conjunto de variantes o dominio determinado. Por lo que es muy importante determinar el
domino cuando interpretamos una frmula mediante un predicado.

Por ejemplo #1:
Sea el enunciado.
x es alumno del Tec. que se podra representar por T(x), aqu el predicado T es es
alumno del Tec y el dominio podra ser el conjunto de estudiantes de la Ciudad.

Otro caso es, x es de color Azul, se representa A(x), el predicado es de color Azul y x
podemos ponerlo en el dominio como el conjunto de los libros.

Una variable, en estos casos x, representa un valor cualquiera del dominio dado y cuando le
asignamos un valor especfico a la variable se le conoce como instancia o lo que en un
programa mencionamos como particularizacin.

Por ejemplo #2:

Juan Prez es alumno del ITSA es una instancia

Mi libro de matemticas es de color Azul es una instancia de primer nivel




En el primer caso podramos considerar como dominio el conjunto de todos los alumnos de
Apatzingn, tambin podra ser slo los alumnos de nivel de licenciatura o profesional o
tambin podramos tener todo los alumnos del pas. Por eso es muy importante que se
especifique con toda claridad el dominio.
Cuantificador Universal ( )

Este cuantificador universal para todo est asociado a una expresin de clculo de
predicado F que representa una expresin ( ) F, y es verdadera cuando todas las
instancias de la frmula son verdaderas al sustituir la variable x en la frmula para cada uno
de los valores posibles del dominio.

Por ejemplo #3:
Sea el enunciado.
Juan Prez es alumno del ITSA la frmula podra ser T(x), donde T es el predicado es
alumno del ITSA y x representa un alumno de Apatzingn, la frmula ( ) T(x), que significa
para toda x de T(x), es falsa pues sabemos que hay alumnos en el Tec., que no son de
Apatzingn o hay alumnos de Apatzingn que no estudian en el Tec.

Por ejemplo #4. Todos los hombres son mortales, esto se puede interpretar o representar
para todos de la formula.

( ) (H(x) M(x))

Donde los predicados son se dividen en H: es hombre y M: son mortales y el dominio
puede ser cualquier individuo de un universo.

Por ejemplo #5: Todos los alumnos del ITSA son estudiosos, aqu la frmula podra
representarse bajo esta notacin lgica, tal como:

( ) (A(x) E(x)), que significa para toda x de A(x) entonces E(x), tambin es falsa
pues se sabe que pudiera haber un alumno que no sea estudioso.

Pero hay proposiciones en donde no se cumple para toda la poblacin y para ello
hablaremos del cuantificador existencial.

Cuantificador Existencial. ( x)

Este cuantificador existencial que significa al menos uno o por lo menos existe uno
asociado a una expresin de clculo de predicado F, se representa por la expresin ( x) F y
es verdadera cuando por lo menos una instancia de la frmula es verdadera al ser sustituido
por la variable x uno de los valores posibles del dominio.

As por ejemplo: considerando el enunciado anterior que dice x es alumno del ITSA donde
la expresin seria.

( x) T(x), es verdadera, pues sabemos que si es verdad que por lo menos un estudiante es
alumno del ITSA.





Hay expresiones en nuestro lenguaje de castellanizacin que muy utilizados como por
ejemplo:

1. Todos los alumnos son estudiosos
2. Todos los hombres son mortales
3. No Todos los pericos son verdes
4. Todos los alumnos del ITSA y si son de sistemas computacionales son estudiosos
5. Algunos de los alumnos de primer semestre de la carrera de ISC son estudiosos

Las notaciones lgicas podran ser respectivamente:

1. ( ) (A(x) E(x))
2. ( ) (H(x) M(x))
3. ( ) (P(x) V(x)) o bien ( x) (P(x) V(x))
4. ( ) (A(x) SC(x)) E(x))
5. ( x) (A(x) E(x)) o bien ( ) (A(x) E(x)) o bien ( x) (A(x) SC(x)) E(x))




Induccin matemtica:

Como se mencin anteriormente, una proposicin es una oracin, frase, igualdad o
desigualdad, que puede ser falsa o verdadera, pero no ambas a la vez. La induccin
matemtica se utiliza cuando se desea probar si una expresin matemtica (igualdad o
desigualdad) es verdadera o falsa, sin necesidad de representarla en notacin lgica.

En computacin es comn desarrollar programas en donde se tiene un valor inicial para la
primera iteracin, un incremento o decremento que puede ser aplicado por medio de una
expresin matemtica llamada n-simo que permite obtener los valores de una sumatoria
en cada iteracin y un resultado de la sumatoria, el cual tambin es posible representar en
forma generalizada por medio de una expresin matemtica.

Esto implica que es posible representar algoritmos en forma matemtica y probar si esos
algoritmos son falsos o verdaderos, usando para ello induccin matemtica. Para usar la
induccin matemtica en la demostracin de algoritmo es necesario que estos se
representen como una sumatoria de la siguiente manera:

x
1
+ x
2
+ x
3
+ + t = r


Inicio Trmino n-simo
Resultadoo
En la sumatoria anterior, el primer elemento x1 es el valor obtenido en la primera iteracin
(n=1) y se conoce como valor inicial. El trmino n-simo t es una expresin matemtica que
permite encontrar cada uno de los elementos de la sumatoria y que deber estar en funcin
de n, ya que dependiendo del valor de n se determina si se trata del primero, segundo o n-
simo elemento.

Finalmente el resultado r tambin es una expresin matemtica en funcin de n que permite
encontrar el resultado de sumar los n elementos de la sumatoria. La sumatoria anterior,
incluyendo inicio, trmino n-simo y resultado, es la proposicin P(n)

El principio de induccin matemtica establece que la proposicin P(n) es verdadera n > k
si se cumplen las siguientes condiciones:

a) P(k) es verdadera cuando k=1.
b) P(k) es cierta cuando k= n+1.

Al primer inciso se le conoce como paso bsico y al segundo se le llama paso inductivo

El mtodo consiste en sustituir n=1 en el n-simo trmino de la sumatoria. Si el resultado
obtenido es igual al primer trmino de la sumatoria, se dice que se cumple el paso bsico. En
caso de que se cumple el paso bsico, se procede a probar si la proposicin tambin es
verdadera cuando k = n+1. Se sustituye (n+1) en lugar de n en el trmino n-simo de la
sumatoria se agrega dicho trmino en los dos lados de la igualdad, para que no se altere, y
se realizan alguna operaciones algebraicas hasta obtener una forma tal que sea fcil de
sustituir k=n+1.

Si el resultado, que ahora est en funcin de k, tiene la misma forma que la igualdad en
funcin de n, se dice que se cumple el paso inductivo y que, por lo tanto, la proposicin P(n)
es vlida o verdadera. En caso de que no se cumpla el paso bsico o inductivo se considera
que P(n) es falsa.

Ejercicios, en el aula