1

LGICA
Introduccin
La lgica matemtica es la disciplina que trata los mtodos de razonamiento.
En un nivel elemental, la lgica proporciona reglas y tecnicas que permiten
determinar si es o no vlido un argumento dado.
El razonamiento lgico se usa en matemticas, por ejemplo para enunciar y
demostrar Teoremas , Proposiciones como tambien en la resolucin de 11
problemas ; en las Ciencias de la Informtica para verificar la efectividad
de los programas computacionales ; en las Ciencias Fsica y Naturales, para
sacar conclusiones de experimentos ; en las Ciencias Sociales y la Vida
Cotidiana ,para resolver variados problemas.
Ciertamente el uso del razonamiento lgico es pemanente en la realizacin
de cualquier actividad.
Definicin
Llamaremos proposicin, a toda sentencia a la cual podamos asignarle slo
un valor de verdad, a saber verdadera (V) falsa(F)
Observacin
1. Una proposicion es un enunciado u oracin declarativa de la cual se puede
afirmar que es verdadera falsa pero no ambas a la vez.
2. No son proposicion los enunciados exclamativos, interrogativos o
imperativos
3. Las proposiciones las denotaremos por las letras , , v, -, ....
4. Es posible determinar si una sentencia es proposicin, si tenemos los
conocimientos relativos a la teoria asociada a la sentencia o declaracin
2
Ejemplo
1.- : La tierra es redonda ( es proposicin) \
2.- ( es proposicin) : 2 8 = 7 1
3.- Como te llamas ? ( no es proposicin) v :
4.- Prohibido pasar ( no es proposicin) :
5.- ( no es proposicin) : a 8 = 2
6.- ( no es posible saber si es proposicin v : c da = 8

1
4
2
a
considerando los conocimientos que tenemos )
Ejercicios
En cada caso, determine si las siguientes sentencias son proposiciones .

1. 2. : 2 6 = : 4 1 = 8
3. 4. v : 7 - : 8 2
5.- Borra el pizarron 6.- : : 2a 1 2
Definicin
Dada una proposicin llamaremos negacin de a la proposicincuyo ,
valor de verdad es el opuesto al valor de verdad de dicha proposicin la ,
denotaremos por
Ejemplo
1.- si ; : 2 8 = : 2 8 =
2.- si Benjamin va al colegio ; Benjamin no va al colegio : :
3.- si ; : 1 < 1 : 1 _ 1
4.- si ; : 2 _ 4 : 2 4
3
Ejercicio
En cada caso, determine y su valor de verdad, si:
1. es un nmero impar : 2
2. : 2 8 =
3. : 7 _ 10
4. : 6 1 = 8
5. es un nmero par : 0
6.- Hoy hace fro :
7.- Este curso esta formado por 43 alumnos
Observacion
1.- Se usan tambien otra notaciones para la negacin de : ; ~
2.- La proposicin Hoy estudiare matemtica y Fsica :
es una proposicin puede ser vista como una proposicin que se obtiene de
dos proposiciones :
Hoy estudiare Matemtica ; Hoy estudiare Fsica : v :
Y claramente asumimos que la proposicin es verdadera cuando sean
verdaderas las dos propuestas , v
Observacin
1. Dadas dos o ms proposiciones es posible formar otras proposiciones,
a las cules llamaremos proposiciones compuestas, dicha coneccion se
formaliza con los llamados conectivos lgicos.
2. Si una proposiciones no es posible descomponerla a partir de otras
proposiciones, diremos que es una proposicin simple.
3. Dada una proposicin compuesta ,se tendra que su valor de verdad
dependera de los valores de verdad de las proposiciones que la
conforman y de los conectivos que contenga
4
4. Llamaremos valor de verdad de una proposicin, al valor lgico que le
pueda corresponder a una proposicin dada, el cual puede ser
vardadero, lo denotaremos porV falso, lo cual denotaremos por F
5. Llamaremos tabla de verdad de una proposicin compuesta, a la
representacin de las posibles combinaciones de los valores de verdad
de las proposiciones que la componen:
a) Si es la proposicin compuesta por las proposiciones y se v
tiene que su tabla de verdad es de la forma

?
?
?
?
v
\ \
\ 1
1 \
1 1
b) Si es la proposicin compuesta por las proposiciones , y - v
se tiene que su tabla de verdad es de la forma

?
?
?
?
?
?
?
?
v -
\ \ \
\ \ 1
\ 1 \
\ 1 1
1 \ \
1 \ 1
1 1 \
1 1 1
5
Conectivos Lgicos
Sean , proposiciones.
Se definen los siguientes : conectivos lgicos
1.- Conjuncin
La conjuncin de y se denotar por : .
se lee : y
diremos que : es verdadera ssi las dos proposiciones simples .
son verdaderas ,
2.- Disyuncin inclusiva
La disyuncin inclusiva de y se denotar por : .
se lee :
diremos que : es falsa ssi las dos proposiciones simples .
son falsas. ,
8.- Disyuncin exclusiva
La disyuncin exclusiva de y se denotar por : .
se lee : exclusivamente
diremos que : es falsa ssi las dos proposiciones simples .
tiene mismo valor de verdad. ,
4.- Implicacin
La implicacin de y se denotar por : =
se lee : si entonces
diremos que : es falsa ssi la proposicin es verdadera y la =
proposicin es falsa
5.- Doble implicacin
La doble implicacin de y se denotar por : =
se lee : si y slo si
diremos que : es verdadera ssi las proposicines y tienen =
mismo valor de verdad
6
Observacin
1.- La tabla de verdad de los conectivos lgicos segn su definicin es la
siguiente .






\ \ \ \ 1 \ \
\ 1 1 \ \ 1 1
1 \ 1 \ \ \ 1
1 1 1
. . = = .
1 1 \ \
2.- La tabla de verdad de la negacin es la siguiente.

\ 1
1 \
Ejemplo
1.- sean La luna esta llena ; El agua esta fra : :
se tiene que :
: La luna esta llena y el agua esta fra .
: La luna esta llena o el agua esta fra .
: si la luna esta llena entonces el agua esta fra =
: la luna esta llena si y slo si el agua esta fra =
2.- sean El edificio tiene cinco pisos :
El edificio tiene seis pisos :
se tiene que :
: El edificio tiene cinco pisos o bien seis pisos .
: El edificio tiene cinco pisos o seis pisos .
7
3.- sean Hoy es da 3 de noviembre :
Maana es da 5 de noviembre :
se tiene que :
: Hoy es da 3 de noviembre y maana es da 5 de noviembre q /
: Hoy es da 3 de noviembre o maana es da 5 de noviembre q v
: si hoy es da 3 de noviembre entonces maana es da 5 de q =
noviembre
4.- sean : 8 4 = 12 ; : 8 2 = 6
se tiene que :
: q 3 4 = l2 3 2 = 6 / /
: q 3 4 = l2 3 2 = 6 v v
: q 3 4 = l2 3 2 = 6 = =
: q 3 4 = l2 3 2 = 6 = =
Ejemplo
Determine el valor de verdad de las siguientes proposiciones
1.- 2 8 = 6 . 2 = 7 (\ )
2 2 8 = 6 . 2 = 7 (1) .-
3.- 2 8 = 6 = 2 = 7 (\ )
4.- 2 8 = 6 = 2 = 7 (1)
5.- 2 8 = 6 2 = 7 (\ ) .
6.- 2 = 7 . 2 8 = 6 (\ )
7.- 2 = 7 . 2 8 = 6 (1)
8.- 2 = 7 = 2 8 = 6 (1)
8
9.- 2 = 7 = 2 8 = 6 (1)
10.- 4 8 = 2 = 2 = 8 (\ )
11.- El tingulo es equiltero El tringulo tiene sus tres lados iguales = (\ )
12.- El tingulo es equiltero El tringulo tiene sus tres lados iguales = (\ )
Ejemplos
Dadas las proposiciones determine el valor de verdad de , q, r
las siguientes proposiciones compuestas
1.- 2.- 3.- ( / ) = ; = ( vq) ; v
4.- 5.- ( vq) = ( /q) ; ( /q) = ( vq)
Solucin
1.- / ( / ) =
V V V
J J V
de la tabla se tiene que es verdadera independiente de los valores ,
de verdad de
2.- q vq = ( vq)
V V V V
V J V V
J V V V
J J J V
de la tabla se tiene que es verdadera independiente de los valores ,
de verdad de y
9
3.-
V J V
J V V
v
de la tabla se tiene que es verdadera independiente de los valores ,
de verdad de
4.- q vq /q ( vq) = ( /q)
V V V V V
V J V J J
J V V J J
J J J J V
de la tabla se tiene que ,el valor de verdad depende de los valores
de verdad de y
5.- q /q vq ( /q) = ( vq)
V V V V V
V J J V V
J V J V V
J J J J V
de la tabla se tiene que es verdadera independiente de los valores ,
de verdad de y
Observacin
El nmero de combinaciones de valores de verdad, en la tabla de
verdad de una proposicin compuesta, tiene que ver con el
nmero de proposiciones simples que la componen.
Como a cada proposicin le coresponden slo dos posibles valores
de verdad, si la proposicin esta formada por proposiciones ,el :
nmero de combinaciones es : 2
:
10
Ejercicios
Dadas proposiciones construir la tabla de verdad de las , , v
siguientes proposiciones :
1.- ( vq) /
2.- ( = q) v
3.- ( = q) =
4.- | v( = q) | = (q /)
5.- | /( = q) | = ( vq)
6.- | ( vr) /q| = ||( = q) | v(r vq) ]
Definicin
Diremos que una proposicin compuesta es una :
1. Tautologa : si es siempre verdadera, independiente de
los valores de verdad de las proposiciones
que la componen
2. Contradiccin : si es siempre falsa, independiente de
los valores de verdad de las proposiciones
que la componen
3. Contingencia: Si su valor de verdad depende del valor
de verdad de las proposiciones que la
componen

11
Ejemplo
Dadas las proposiciones se tiene que la proposicin : , q, r
1.- es una Tautologa ya que es siempre verdadera v
v
V J V
J V V
2.- es una Contradiccin ya que se siempre falsa /
/
V J J
J V J
3.- es una Contingencia ya que su valor de verdad ( vq) =
depende del valor de verdad de y q
q vq ( vq) =
V V V V
V J V V
J V V J
J J J V
4.- es una Tautologa ya que es siempre verdadera = ( vq)
q vq = ( vq)
V V V V
V J V V
J V V V
J J J V
Observacin
Con el fin de repasar la definicin de los conectivos, resolvamos
los siguientes ejercicios.
12
Ejercicios
I.- Si es una proposicin verdadera ; es una proposicin falsa q
determine el valor de verdad de :
1.- q v( /q)
Solucin
como es es se tiene que es V , q J /q J
por lo tanto, como : es y es q J /q J
se tiene que : es q v( /q) J
es decir la proposicin es falsa
2.- (q v ) /q
Solucin
como es es se tiene que es V , q J (q v ) V
por lo tanto, como : es y es (q v ) V q J
se tiene que : es (q v ) /q J
es decir la proposicin es falsa
3.- ( /q) = ( vq)
Solucin
como es es se tiene que es V , q J ( /q) J
por lo tanto, como : es , no importando el valor ( /q) J
de verdad de ( vq)
se tiene que : es ( /q) = ( vq) V
es decir la proposicin es verdadera
13
4.- ( q) = q = (q ) v _ _ v
Solucin
como es es se tiene que es V , q J : ( q) V v
como es es se tiene que es es V , q J : J , q V
como es es se tiene que es q J , J (q ) J v
por lo tanto,
como : es , es se tiene que q V (q ) J v
es _ _ q = (q ) J v
con lo cual ,se tiene que :
como : es , es ( q) V q = (q ) J v _ _ v
se tiene que : es ( q) = q = (q ) J v _ _ v
es decir la proposicin es falsa
Observacin
Podemos resolver los problemas de un modo diferente,si
consideramos los valores de verdad de las proposiciones dadas
se tendra :
1.- q v( /q)
Solucin

es decir la proposicin es falsa
14
2.- (q v ) /q
Solucin

es decir la proposicin es falsa
3.- ( /q) = ( vq)
Solucin

es decir la proposicin es verdadera
4.- ( q) = q = (q ) v _ _ v
Solucin

es decir la proposicin es falsa
15
Ejemplo

1. Si es una proposicin falsa y , son proposiciones verdaderas, v
determine el valor de verdad de lasiguiente proposicin:
( v ) ( v ) . = .

3. Si , son proposiciones falsas y una proposicin verdadera v
determine el valor de verdad de la siguiente proposicin
( ) ( v ) ( ) = . = = .
4. Si se sabe que la proposicin es falsa, determine el valor ( v) . =
de verdad de la proposicin
= ( v) . =
5. Si la proposicin es falsa , determine el valor de v) = ( .
verdad de la proposicin
) ( ) v ) ( v . . ( . = = .
Otros Ejercicios:
1. Si , son proposiciones falsas y una proposicin verdadera v
determine el valor de verdad de la siguiente proposicin
( ) ( v ) ( ) ( v ) = . = = = . .
2. Si se sabe que la proposicin es falsa, determine el valor ( v) . =
de verdad de la proposicin
= ( v) . =
16
3. Si la proposicin es falsa, determine el valor de v) = ( .
verdad de la proposicin
) ( ) v ) ( v . . ( . = = .
4. Sean proposiciones. , , v, -
Determine el valor de verdad de la proposicin :
sabiendo que la proposicin ( = ) = (v = ) . (- . ) . (
(v = (v . -) = ( . ) = (v . -) . ) .
_

_
es falsa.
5. Sean proposiciones. , , v, -, t
Si es una proposicin falsa, determine el
]
( . ) . (t = v) = -
valor de verdad de la proposicin
.
] ] ]
( . ) . (- = ) . (t v) = - . (t = v) .
Definicin
Dadas dos proposiciones y diremos que son equivalente si les
correponde el mismo valor de verdad , lo cual denotaremos por :

q
Ejemplo
1.- 2 3 : 4 ( 2) = 4
2
2.-
_
( 2) = 2 2 3 = 6
2 2 2
3.-
2 3 5 34 4
32 2 5 35 5
= =
17
Equivalencias lgicas fundamentales
1. Doble negacin

2. Conmutatividad
i) ( q) (q ) / /
ii) ( q) (q ) v v
3. Asociatividad
i) q r) ( q) r _ _ _ _ / ( / / /
ii) q r) ( q) r _ _ _ _ v ( v v v

4. Distributividad
i) / (q v r) ( / q) v ( / r) _ _ _ _
ii) v (q / r) ( v q) / ( v r) _ _ _ _
5. Leyes de De Morgan
i) ( / q ) ( v q )
ii) ( v q) ( / q )
6. Leyes de Absorcin
i) q) _ _ /( v
ii) q) _ _ v( /
7. Idempotencia
18
i) ( ) /
ii) ( ) v
8.
i) ( J) J /
ii) ( J) v
iii) ( V ) /
iu) ( V ) V v

9.
i) ( ) J /
ii) ( ) V v
10. ( q) ( q) = v
11. ( q) ( q ) = =
12. ) ( q ( q) q ) = = / ( = _ _
13. ) ( q ( q ) v =
14.- ( q) ( /q ) =
15.- ( q) ( q) = v
Observacin
19
Las propiedades anteriores se pueden demostrar ya que son
consecuencia de la forma en que se definieron los conectivos,
las primeras se pueden demostrar usando tablas de verdad y las
otras, cuando sea posible , ocupando las ya demostradas
anteriormente
Demostracin
1.- por tabla se tiene que son equivalentes ya que

V J V
J V J
2 .- son equivalentes ya que por tabla se tiene i





q q q
V V V V
V J J J
J V J J
J J J J
/ /
11.- se tiene que
por 10 ( q) =
por 2 ( q) ii v
por 1 (q ) v
por 10 (q ) v
(q ) =
14.- se tiene que
por 10 ( q) =
por 5 ( q) ii v
por 1 ( /q)
( /q )
20
Ejemplo:
En cada caso, usando equivalencias lgicas, determine si las
siguientes proposiciones son tautologa, contradiccin o
contingencia.
1.- ) _ _ r ( r / v =
Solucin
) por 5 _ _ r ( r ii / v =
por 1 r (r ) _ _ / / =
por 3 r (r ) i _ _ / / =
por 7 (r r) ii _ _ / / =
por 10 r _ _ / =
por 5 r i _ _ / v
por 3 r ii _ _ v v
por 9 r v v _ _
por 8 r v V iu _ _
V

es decir es una Tautologa
21
2.- ( q) = = = = _ _
]

Solucin
por 10 ( q) = = = = _ _
]

por 3 v v v( vq) ii _ _
]
por 7 v v ( v) vq ii _ _
]
vq
es decir es una Contingencia

3.- ( q r) ( q) r / = / = v _ _
Solucin
por 10 ( q r) ( q) r / = / = v _ _
por 3 ( q r) ( q) r ii / v / v v _ _
por 2 ( q r) (q r) ii / v / v v _ _
por 3 ( q r) (q r) i / v / v v _ _
por 6 ( q r) (q r) i / v / v v

_ _
]
( q r) / v
luego, es una Contingencia ya que su valor de verdad depende de los
valores de verdad de , q, r

22
4.- ) _ _ ( q) q r ( q) = / / / / v (
Solucin
) por 10 y 3 _ _ ( q) q r ( q) i = / / / / v (
) por 5 ( q) q r ( q) i _ _ v / | / | / / v (
por 5 ( q) q ) ( q) i _ _ v / (| / | vr / v
por 6 ( q) q ) ( q) i _ _ v / (| v | vr / v
por 9 ( q) ( q) ii v / v
V
es decir es una Tautologa
23
Ejemplo
Usando equivalencias lgicas simplifique la proposicion siguiente
_
_ ] ]
vq v q / /r v /r = /r
Solucin
_
_ ] ]
vq v q / /r v /r = /r
_
_ ] ]
( /q) v / q / r) v /r = /r

_ _ ] ]]
_ / q v q / r v r = /r

_ _ ] ]]
_ / ( q v r) v q / r = /r

_ _ ] ]]
_ / (q / r) v q / r = /r

_ ]]
_ / V = /r = /r
v /r

por lo tanto, se tiene que :
_
_ ] ]
vq v q / /r v /r = /r
24
Funciones proposicionales
Observacin
Si preguntamos por las soluciones de la ecuacin :

(a) : 2a 7a 4 = 0
2
podemos tener distintas respuestas ,por ejemplo :
o = , 4 , o = 4 o = , o = 0
1 1
2 2
,
la razn de las distintas respuestas, es que no se ha declarado explicitamente
el marco de referencia ( Universo relativo) de donde se pueden obtener
valores para la variable a
Es por ello que se hace importante, la declaracin del marco de referencia
( Universo relativo) en el cual se planta la ecuacin (propuesta)
Definicin:
Dado universo relativo. l
Diremos que es una (a) funcin proposicional en la variable
x (f.p.)sobre , si cada vez que se reemplaza la variable por l a
un elemento de se obtiene unaproposicin. l
Ejemplo
En cada caso, determine si es una funcin proposicional o no. (a)
1.- Sean = y ; (es f.p.) l (a) : a 8 = a

2.- Sea y (es f.p.) l = (a) : = 2
8a1
a
3.- (no es f.p.) v(a) : = 1 ; a
2a8
a1

4.- (es f.p.) v(a) : = 1 ; a
2a8
a1

5.- (es f.p.) -(:) : 2: 1 ; :
6.- (es f.p.) (j) : 2j 8 < 1 ; j
25
Observacin
Sea una funcin proposicional sobre . (a) l
denota la negacin de la funcin proposicional enel sentido (a) (a)
siguiente:
Si , entonces, la proposicin es la negacin de . a l (a ) (a )
0 0 0
Ejemplo
Sea , l = a l
1.- si se tiene que (a) : 2a 8 = (a) : 2a 8 =
2.- si se tiene que v(:) : 2: 4 8 v(:) : 2: 4 _ 8
3.- si se tiene que -(:) : -(:) : y
8:1 8:1
2 2

2.- si se tiene que v(a) : a = 2a = a = 2
2

: v(a) a = 2a . a = 2
2
Observacin
Es posible definir funciones proposicionales en ms de una variable ,dichas
funciones proposicionales se denotarn por :
(a, j) ; a l , j \
(:, :) ; : l , : \
v(a, j, .) , a l , j \ , . \
Ejemplo
1.- q(r, g) : 2r 3g = 4 ; r , j
2.- ; (:, :) : , :
2::
8
n
3.- ; v(:, :) : , :
2::
8
n
son funciones proposicionales en dos variables
26
Definicin: Cuantificadores ( )
Sea una funcin proposicional en la variable sobre el (a) a
universo relativo . l
Diremos que :
1.- La expresin ( ( v a l (a)
Es una proposicin y se lee :
"Para todo en se cumple " a l , (a)
la cual es verdadera cuando para cualquier reemplazo de ,
la variable por un elemento de se obtiene una a l
proposicin verdadera. En otro caso diremos que es
falsa.
El smbolo se le llama . V Cuantificador Universal
Ejemplo
( ( es par v a a (a 1)
2.- La expresin ( ( a l (a)
Es una proposicin y se lee
"Existe en que satisface ". a l , (a)
la cual es verdadera cuando hay por lo menos un
reemplazo de la variable por un elemento de que a l
permite obtener una proposicin verdadera. En otro caso
diremos que es falsa.
El smbolo se le llama . Cuantificador Existencial
Ejemplo
( ( es impar a a (a 2)
27
Ejemplo
1.- es una proposicin falsa ya que, _ __ _ V r e 2 r l = 5
si se tiene que es una proposicin falsa r = 3 2 3 l = 5
aunque , si se tiene que es una proposicin r = 2 2 2 l = 5
verdadera

2.- es una proposicin verdadera ya que, _ __ _ r e 2 r l = 5
si se tiene que es una proposicin verdadera r = 2 2 2 l = 5
aunque , si se tiene que es una proposicin r = 3 2 3 l = 5
falsa
3.- no es una proposicin, ya que _ __ _ r e = l
6
2r6
si no es una proposicin r = 3 , ( 3) = = l
6
2(3)6
el universo relativo, no es el adecuado
4.- es impar es una proposicin verdadera _ __ _ n e (2 n l)
5.- es impar es una proposicin verdadera _ __ _ V n e (2 n l)
Observacin:
Como ; son ( ( ( ( v a l (a) a l (a)
proposiciones , podemos definir sus negaciones y se tendra que :
( ( ( ( v a l (a) a l (a)
( ( ( ( a l (a) v a l (a)
28
Ejemplo
Considere las siguientes funciones proposicionales definidas en ,
es par es mayor que (r) : r q(r) : r 28
Determine el valor de verdad de las siguientes proposiciones
a) _ _ __ _ (l) v q(2l) = q(30) v v ( 8) (ll) _
b) _ __ _ Vr e (r) v q(r)
Solucin
a) ( ) _ _ __ _ (l) v q(2l) = q(30) v v ( 8) (ll) _
( ) J v J = V vV _ _ __ _ vV _
( ) V = J vV V _ _
luego, la proposicin es verdadera.
b) _ __ _ Vr e (r) v q(r)
es impar es mayor que Vr e r v r 28 _ __ _
La proposicin es Falsa, pues para se tiene que r = 6
es impar es mayor que 6 v 6 28 J vJ J
29
Ejercicio:
Sea es par ; es un mltiplo de con (r) : r q(r) : r 3 r e
Determine el valor de verdad de la proposicin y su negacin
_ __ _ V r e (r) q(r) v
Solucin
La proposicin es falsa ya que, si se tiene que r = 4
(4) q(4) v J vJ J ; su negacin es :
_ __ _ _ __ _ V r e (r) q(r) r e (r) q(r) v /
_ __ _ es par no es mltiplo de r e r r 3 /
la cual evidentemente es verdadera, basta considerar r = 4
Ejemplo
Dadas las funciones proposicionales
es par ; es mltiplo de ; (r) : r q(r) : r 3 r(r) : r < 6
Determine el valor de verdad de
_ __ _ r e (r) / q(r) /r(r)
Solucin
_ __ _ _ __ _ r e (r) / q(r) /r(r) r e (r) q(r) r(r) . .
es par no es mltiplo de r e r r 3 _ __ _ . . r _ 6
la cual, es una proposicin verdadera ya que basta considerar r = 2
30
Ejemplo:
Sea universo y las funciones proposicionales , y l (a) (a)
v(a) l definidas sobre .
En cada caso, niegue las siguientes proposiciones.
a) ( (
j
v a l (a) = v(a) (a) .
b) ( ( a l (a) (a) .
c) ( (
j j
v a l (a) v(a) = (a) (a) . .
Observacin:
Si se tiene una funcin proposicional de dos variables ; (a, j)
a l, j \ l \ donde , son universos relativos, no
necesariamente iguales, hay cuatro formas diferentes de
cuantificar, a saber
1.- ( ( ( v a l v j \ (a, j)
2.- ( ( ( v a l j \ (a, j)

3.- ( ( ( a l v j \ (a, j)
4.- ( ( ( a l j \ (a, j)
Se tiene que :
1.- es verdadero si todos los hacen de una a, j (a, j)
proposicin verdadera
2.- es verdadera si para cada es posible determinar un para a j
el cual , una proposicin verdadera (a, j)
3.- es verdadera si es posible determinar un de modo que a
con cualquier , sea una proposicin verdadera j (a, j)
4.- es verdadera si es posible determinar a lo menos una pareja
que hacen de una proposicin verdadera a, j (a; j)
31
Ejemplo
Sea el conjunto formado por los alumnos del curso l =
el conjunto formado por las alumnas del curso \ =
baila con (a, j) : a j
Determinar que debe pasar en el baile para que las propsiciones
siguientes sean verdaderas
1.- ( ( ( v a l v j \ (a, j)
2.- ( ( ( v a l j \ (a, j)

3.- ( ( ( a l v j \ (a, j)
4.- ( ( ( a l j \ (a, j)
Solucin
1.- En el baile, todos los alumnos a lo menos bailaron un baile con cada
una de las alumnas,es decir todos los alumnos bailaron con todas las
alumnas
2.- En el baile todos los alumnos bailaron a lo menos un baile con una
alumna
3.- En el baile a lo menos un alumno bailo con todas las alumnas
4.- En el baile a lo menos un alumno bailo con una alumna
32
Ejemplo
Sea l = \ = (a, j) : a j = 2
Determinar el valor de verdad de las propsiciones siguientes
1.- ( ( ( v a l v j \ (a, j)
2.- ( ( ( v a l j \ (a, j)

3.- ( ( ( a l v j \ (a, j)
4.- ( ( ( a l j \ (a, j)
Solucin
1.- es falsa ya que, es falsa (l, 2)
2.- verdadera ya que dado r l j = a 2 \ existe
tal que (a, a 2) a (a 2) = 2 : es verdadera
es decir :
es verdadera ( ( ( v a j = a 2 (a, j)
3.- es falsa ya que su negacin es verdadera, es decir
( ( ( ( ( ( a l v j \ (a, j) v a l j \ (a, j)
v a l j \ a j = 2 ( ( (
es veraddera v a l j = a 1 \ a j = 2 ( ( (
4.- es verdadera, basta considerar : a = 8 , j = 1
es verdadera ( ( ( a l j \ (a, j)
33
Ejemplo
Considere los conjuntos y . = 1, 0, 1 1 = 2, 4, 6 _ _ _ _
Determine el valor de verdad de la siguiente proposicion :
( )( ) ( )
_ _
j
v a j 1 (a ) = a j = 8
j
2
es par . ( ) a j _ 0
Solucin
consideremos : : a j _ 0 ; v : (a ) ; : a j = 8
j
2
es par ( ) ( )
se tiene que
a j v ( )
1 2 \ 1 \ \ \
1 4
1 6
0 2 1 \ \ 1 1
4 \ \ 1 \
6
1 2 \ \ 1 \
1 4
1 6
. . = v
por lo tanto, la proposicin es verdadera, ya que




a j v ( )
1 2 \ 1 \ \ \
0 4 \ \ 1 \
1 2 \ \ 1 \
. . = v
es decir para cada , es posible determinar un de modo que la a j
proposicin resulta verdadera
34
Ejemplo
Considere los conjuntos y . = l, 0, l J = 2, 4, 6 _ _ _ _
Determine el valor de verdad de la siguiente proposicion :
( )( ) ( )
_ _

r e Vg e J (r ) v r g = 3
g
2
es par = r g _ 0 ( )
Solucin
consideremos : : a j _ 0 ; v : (a ) ; : a j = 8
j
2
es par ( ) ( )
se tiene que
a j = v ( = ) .
1 2 \ 1 1 \ \
1 4 1 1 \ 1 \
1 6 \ 1 1 1 1
0 2 1 \ 1 1 1
4
6
1 2 \ \ \ 1 \
1 4 1 \ 1 \ \
1 6 \ \ \ 1 \
v
por lo tanto, la proposicin es verdadera, ya que

a j v ( )
1 2 \ \ \ 1 \
1 4 1 \ 1 \ \
1 6 \ \ \ 1 \
. . = v
es decir es el que hace que la proposicin sea verdadera con a = 1
todos los j
35
Ejercicio
Sean y y las = 5 , l , 2 J = 3 , 2 , l, 0 , _ _ _ _
siguientes funciones proposicionales :
es un nmero par (r, g) : r g l
q(r, g) : r g < 3
2 2
Determine el valor de verdad de las siguientes proposiciones
1.- _ __ __ _ r e Vg e J (r, g) q(r, g) /
2.- _ __ __ _ Vr e g e J (r, g) q(r, g) =
36
Ejemplo
Considere los conjuntos y = 0 , l , 3 J = 4 , l , 5, 9
] ]
y las funciones proposicionales
es par ; (r, g) : r g q(r, g) : 2r 3g _ 9
Determine el valor de verdad de las siguientes proposiciones:
1.- _ _ _ _ (l, l) v q(0, 4) v (3, 4) = q(3, 9)
2.- _ __ __ _ r e V g e J (r, g) = q(r, g)
Solucin
1.- se tiene que : es par (l, l) : l l V
; es par q(0, 4) : 2 0 3 4 _ 9 J (3, 4) : 3 4 J
q(3, 9) : 2 6 3 9 _ 9 J
Reemplazando los valores obtenidos se tiene :
_ _ _ _ (l, l) v q(0, 4) (3, 4) = q(3, 9) v
V v J J = J J v J J = J _ _ _ _ _ _ _ _ v v
es decir, la proposicin es Verdadera. J V = V _ _ _ _ v
2.- es par _ __ __ _ r e V g e J r g = 2r 3g _ 9
r g (r, g) = q(r, g)
0 4 V J J
l 5 V J J
3 9 V J J
r g 2r 3g _ 9 es par
Luego, la proposicin es Falsa.
37
Ejemplo
Dadas las siguientes funciones proposicionales sobre U =
es par ; es mltiplo de (r) : r 2 q(r) : 5r l 3
3 2
Determine el valor de verdad de la siguiente proposicin
_ ___ _ __ _ __ Vr e U (r) (r) / q(r) = (r) = q(r) v
Solucin
Si se tiene que : r = 2 (2) V q(2) V ;
con lo cual
_ _ __ _ _ (2) (2) / q(2) = (2) = q(2) v
_ _ __ _ _ V V / J = V = V v
_ _ V J = J v
V = J J
Por tanto la proposicin es Falsa.
38
Ejemplo
Sean tales que y . , J _ = l; 2 ; 4 J = l; 3 ; l | ] | ]
Considere las siguientes funciones proposicionales:
es par ; ; r, g : g 2r q r, g : r : 6g r r, g : r g e J ( ) ( ) ( )
2

Determine el valor de verdad de la siguiente proposicin:


_ _
_ ( ) ( ) Vr e g e J r, g = r r, g v q r, g ( )_
Solucin
r g .
l l
V
J V V
2 3
J
J
| |
| |
| |
| |
| |
es par
es par

es par

g 2r r : 6g = r g e J
l 2 l : 6 = l l e J
J J =
=
3 4 4 : l8 = 2 3 e J
J J =
=
v
v
v
v
v
V de verdad




2
J V
4 3
J
J J V
| |
| |
es par

3 8 l6 : l8 = 2 3 e J
J J =
=
v
v


La proposicin es verdadera.
39
Ejemplo
Dadas las siguientes funciones proposicionales sobre U =
es par ; ; es mayor que (r) : r q(r) : e r(r) : r l2
r
3

Determine el valor de verdad de las siguientes proposiciones:
1.- _ _ __ r(l2) v (0) /q(0) = q(9)
2.- _ _ __ _ _ q(5) = (7) v r(l0) (2) /q(l2) v
3.- _ ___ _ _ V r e U (r) / q(r) r(r) v
Solucin
1.- _ _ __ r(l2) v (0) /q(0) = q(9)
J v V / V = J J v V = J _ _ __ _ _
V = J J
2.- _ _ __ _ _ q(5) = (7) v r(l0) (2) /q(l2) v
V = J v J V /V _ _ __ _ _ v
V = J V J V V _ _ _ _ v v
3.- es Falsa, ya que _ ___ _ _ V r e U (r) / q(r) r(r) v
si se tiene : r = l2 (l2) / q(l2) r(l2) _ _ v
espar 12 es mayor que l2 / e l2 _ _
l2
3
v
V / V V V V J _ _ v v
40
Ejercicio:
Sean y U = l, , 5 W = 0, 2, 3, 4
_ _
_ _
3
2
Determine el valor de verdad de las siguientes proposiciones
1.- _ __ __ _
_
r e U V g e W r g e
2.- es mltiplo de _ __ __ _ V r e U g e W r g 7
2 2
3.- _ __ __ _
_
V r e U g e W r g e
Ejercicio:
Determine el valor de verdad de las siguientes
proposiciones
1.- _ __ __ _ V n e n e 2n n = 3
2.- _ __ __ _ V n e Vn e 2n n = 3
3.- _ __ __ _ n e Vn e 2n n = 3
4.- _ __ __ _ n e n e 2n n = 3
5.- _ __ __ _ V n e n e e
3nn
2
6.- _ __ __ _ V n e n e 2n n < 3
7.- _ __ __ _ V n e Vn e 2n n < 3
8.- _ __ __ _ n e Vn e 2n n < 3
9.- _ __ __ _ n e n e 2n n < 3
10.- _ __ __ _ V n e n e e
2n3nl
5
11.- es par _ __ __ _ V n e n e (n 3n)
41
MTODOS DE DEMOSTRACIN
Dada un proposicin cualquiera , el determinar si dicha proposicin es
verdadera o falsa requiere del uso de algun procedimiento que permita
justificar dicha aseveracin, dichos procedimietos corresponden a los
llamados mtodos de demostracin.
Se pueden distinguir los siguientes mtodos de demostracin
1.- Mtodo Directo
Si la proposicin viene dada en la forma : = q
se dice que la proposicin representa la Hiptesis o el Antecedente
y que representa la Tsis o el Cosecuente. q
El mtodo directo nos propone partir de la Hiptesis y a travz de una
cadena de razonamientos llegar a deducir la Tesis.
2.- Mtodo Indirecto
Si la proposicin viene dada en la forma : = q
El mtodo indirecto considera el uso de dos equivalencias lgicas
importantes ,como son :
i) ( q) ( q ) = =
El mtodo nos propone aplicar el Mtodo directo
a la proposicin : q =
ii) verdadero es falso es falso ( q) ( q) /q = =
El mtodo nos propone considerar que la proposicin :
es verdadera , es decir asumir que /q :
es verdadera y que es verdadera q
y llegar a una contradicin
3.- Mtodo del Contraejemplo
Este mtodo consiste en mostrar a lo menos un caso donde la
propuesta no es valida
42
Ejemplo
1.- Determinar el valor de verdad de la proposicin
es par _ _ _ _ V n e n(n 3)
Solucin
Consideremos dos casos,los cuales presentaremos como las
proposiciones siguientes :

i.- par es par n = n(n 3)
ii.- impar es par n = n(n 3)
Demostremos que dichas proposiciones son verdaderas por el
mtodo directo
i.- asumiendo que es par n
se tiene que : tal que h e n = 2h
con lo cual :
n(n 3) = 2h(2h 3)
con = 2(2h 3h) = 2h h e
2
l l

es decir : es par n(n 3)
ii.- asumiendo que es impar n
se tiene que : tal que h e n = 2h l
con lo cual :
n(n 3) = (2h l)((2h l) 3)
= (2h l)( 2h 4)
= 2(2h l)( h 2)
con = 2h h e
l l

es decir : es par n(n 3)
con lo cual, se cumple que : es par _ _ _ _ V n e n(n 3)
43
2.- Determinar el valor de verdad de la proposicin
es impar es impar _ _ _ _ V n e ( ) = n
3n 8n4
2
2
Solucin
como es impar es impar ( ) = n
3n 8n4
2
2

es par es par n = ( )
3n 8n4
2
2
supongamos que es par por lo tanto : n

tal que , con lo cual h e n = 2h
( ) = ( ) = ( )
3n 8n4 l2h l6h 4
2 2 2
3(2h) 8(2h)4
2 2
2
= (6h 8h 2) = 2(3h 4h l)
2 2
= 2h
l
es decir : es par ( )
3n 8n4
2
2
con lo cual se cumple que :
es impar es impar _ _ _ _ V n e ( ) = n
3n 8n4
2
2
3.- Determinar el valor de verdad de :
es par es impar _ _ _ _ V n e (3n 8n 4) = n
2
Solucin
La proposicin es falsa, basta considerar : n = 0