Fundamentos de lgica

Es una rama de la matemtica que se encarga de analizar la estructura de los valores de verdad de
proposiciones dadas, llamadas premisas y de las conclusiones que de ellas se derivan.
Proposicin
Es un enunciado o clusula que se le pide asignar un valor de verdad (Verdadero (1) o Falso (0)).
Cada proposicin tiene un y solo un valor de verdad. De proposiciones simples (atmicas) obtenemos
proposiciones compuestas (moleculares) mediante la aplicacin de conectivas lgicas.
Ejemplo:
: 17 es un nmero primo
Simple
s
, es una proposicin compuesta.
: El hielo es caliente

Toda proposicin simple cumple tres principios:

1. Identidad: Una proposicin verdadera es siempre verdadera.
2. No contradiccin: Una proposicin no puede ser verdadera y falsa a la vez.
3. Tercero excluido: Una proposicin es verdadera o falsa.
Conectivas lgicas
Para analizar el comportamiento de una proposicin compuesta se debe establecer el valor de verdad
para cada conectiva lgica.
Negacin

Conjuncin

Disyuncin

Se lee: No es cierto que P no P

Se lee: P y Q P y Q acciones al mismo tiempo

Se lee: P o Q con que una se cumpla como

verdadera la expresin compuesta es verdadera.

Disyuncin exclusiva

Implicacin

Doble implicacin

Se lee: P o Q, pero no ambos solo si se cumple una

de las dos, pero no ambas, la expresin compuesta
es verdadera.

Se lee: Basta P para que se d Q, Si P entonces Q,

P implica Q, Q solo si P

Se lee: P si y solo si Q

Ejemplos:
1. Dadas las proposiciones:
a. : Hay vida en la luna
b. : 2+1=3
Valide las siguientes proposiciones compuestas:
, ,

2. Identifique las proposiciones simples y simbolice las siguientes proposiciones:

a. : Si hay elefantes en Marte y el fuego es fro, entonces 2+1=4.
b. : Hay elefantes en Marte, y si el fuego es fro entonces 2+1=4.

Tablas de verdad
Ejemplo:
1. Construya una tabla de verdad para la proposicin
( ) ( )

Conceptos bsicos
Proposicin compuesta
Su valor depende de los valores de sus proposiciones simples. Se clasifican en:
1. Tautologa: es una proposicin cuya tabla de verdad es siempre verdadera.
2. Contradiccin: Es una proposicin cuya tabla de verdad es siempre falsa.
3. Contingencia: Si no es Tautologa ni contradiccin.
Nota:
1. P implica tautolgicamente a Q significa que es una tautologa.
2. P es tautolgicamente equivalente a Q significa que es una tautologa.
Equivalencia lgica: dos proposiciones son lgicamente equivalentes si sus tablas de verdad son
iguales. Si son tautolgicamente equivalentes.
Notacin: o bien

Ejemplos:
1. Determine la tabla de verdad para la expresin y verifique si es una tautologa, contingencia o
contradiccin:

2. Determine si las proposiciones y ( ) son lgicamente equivalentes.

3. Considere la siguiente proposicin lgica

( ) ( )
Usando tablas de verdad clasifique la proposicin compuesta anterior como una tautologa,
contradiccin o contingencia.

Inferencia lgicas
Es una relacin entre premisas y una conclusin al razonamiento. En este apartado no vamos a
demostrarlas, solamente usaremos tablas de verdad.
Ejemplo:
Represente cada enunciado usando para ello notacin lgica. Identifique cada proposicin simple y
enuncie en forma de teorema la inferencia lgica dada.
1. Si Hctor y Felipe juegan al Futbol, entonces ni Hctor ni Felipe estudian.

2. Si Juan participa como jurado, entonces saldr de viaje y deber comprar un traje nuevo. Pero
sali de viaje o compr un traje nuevo. Por lo tanto, Juan participa como jurado.

3. Si la enmienda no fue aprobada entonces la Constitucin queda como estaba. Si la Constitucin

queda como estaba entonces no podemos aadir nuevos miembros al comit. O podemos
aadir nuevos miembros al comit o el informe se retrasar un mes. Pero el informe no se
retrasar un mes. Por tanto, la enmienda fue aprobada.

4. Si Toms tiene diecisiete aos, entonces Toms tiene la misma edad que Juana. Si Joaqun tiene
distinta edad que Toms, entonces Joaqun tiene distinta edad que Juana. Toms tiene diecisiete
aos y Joaqun tiene la misma edad que Juana. Por tanto, Joaqun tiene la misma edad que
Toms y Toms la misma que Juana.

5. Si el rey no se enroca y el pen avanza, entonces o el alfil queda bloqueado o la torre

inmovilizada. Si el rey no se enroca, entonces, si el alfil queda bloqueado entonces el juego es
tablas. O el rey se enroca o si la torre es inmovilizada se pierde el cambio. El rey no se enroca y
el pen avanza. Por lo tanto, o el juego es tablas o se pierde el cambio.

Cuantificadores
Predicado()
Es una proposicin que depende de una o ms variables, por ejemplo, se utiliza la expresin ()para
indicar que la proposicin P depende de la variable .
Ejemplo:
1. Consideremos la proposicin definida para , :
= + es un nmero impar
Determine el valor de verdad para = 2, = 3 y = 10

Cuantificadores:
Son frases que cuantifican la cantidad de elementos que satisfacen o no un predicado.

Cuantificador existencial ():

Existe un tal que () se denota: / ()

Cuantificador universal ():

Todo cumple () se denota: / ()

Ejemplo:
Sea: = / y (): Hablan francs. Escriba como se lee
cada expresin dada:
/ (): ___________________________________________
/ (): ___________________________________________

Negacin de cuantificadores
/ () = ()
/ () = ()

Si el universo de discurso es finito y tiene predicados, entonces se puede construir una tabla para
distribuir los valores de verdad.
Ejemplo:
1. Suponga que se tiene un universo de discurso de 5 gatos llamados: Mini, Black, Soko, Balin y
Terrn. Slo los tres primeros son de pura raza. Mini y Soko slo comen atn, Black y Balin slo
pollo, Terrn come pollo y atn, pero no toma leche, los otros s. Excepto Black ninguno tiene
collar.
R(x):
CP(x):
TC(x):
CA(x):
TL(x):
a. Construya una tabla de asignacin de predicados

b. Valide las proposiciones

() ()
() ()

De examen:

Leyes de lgica

Esta leyes o equivalencias lgicas sirven para simplificar expresiones lgicas con sentido tautolgico, y
adems son utilizadas para conjeturar nuevos resultados.

Ejemplos:
1. Use las propiedades lgicas para verificar la siguiente equivalencia:
( ) ( ) ( )

2. Use las propiedades lgicas para verificar la siguiente equivalencia:

( ) ( ( )) ( )

( )

3. Use las propiedades lgicas para verificar la siguiente equivalencia:

( )]

De examen:

Induccin Matemtica
En esta seccin demostraremos que proposiciones de la forma () son siempre verdaderas 0 .
Para ello utilizaremos el principio de induccin matemtica que verifica dos condiciones
1. (0 ) es verdadera (Paso base)
2. Si es verdadera entonces + 1 es verdadera

Hiptesis de induccin

Conclusin

Ejemplos:
1. Demuestre por induccin matemtica para todos los valores 1, la expresin:
1 + 2 + 3 + + =

( + 1)
2

2. Pruebe 1 que:
1 3 + 2 4 + 3 5 + + + 2 =

+ 1 (2 + 7)
6

3. Pruebe 1 que:
2 + 5 + 8 + + 3 1 =

(3 + 1)
2

4. Pruebe 1 que:
3 + 11 + + 8 5 = 42

5. Pruebe 1 que:
1 + 9 + 25 + + 2 1

2 1 (2 + 1)
6

3. Pruebe que para , la suma de todos los nmeros impares menores que 2 es igual a 2

Notacin Suma:

= 1 + 2 + +
=1

Ejemplo:
1. Demuestre que:

2 =
=1

+ 1 (2 + 1)
6

2. Demuestre que:

2 + 1
=
4

=1

3. Demuestre que:

5 =
=1

5( + 1)
2

4. Demuestre que:

(4 3) = (2 1)
=1

5. Demuestre que:

2 = ( + 1)
=1

Demostraciones de divisibilidad usando induccin

1.

Demuestre que todo nmero de la forma 32 +1 + 4 23 es divisible por 7,

2.

Demuestre que todo nmero de la forma 3 es divisible por 3, +

3.

Demuestre que todo nmero de la forma 7 1 es divisible por 6,

4.

Demuestre que todo nmero de la forma 23 1 es divisible por 7,

5.

Pruebe que 41 + 15 16 es divisible por 9, con 1

6.

Pruebe que 3 4 + 6 es divisible 3, con 1