Beruflich Dokumente
Kultur Dokumente
Matem
atica B
asica
para Estudios Superiores
Lic. Mat. Salomon Ching Brice
no
http://universomath.blogspot.com
4 de septiembre de 2010
ii
ii
atica B
asica
Matem
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
Pr
ologo
La presente obra pone al estudiante temas de mayor relevancia en la formacion de su pensamiento crtico en matematicas basicas superiores. Para ello se mantendra un lenguaje sencillo
y puntual, con ejercicios tipo que muestren en la mayora de las veces lo que el estudiante debe
aprender. Como una forma de ilustracion se contrasta, en la medida de lo posible, los contenidos
de este libro con software matematico. Pienso que puede ser un buen auxiliar para los estudiantes
que terminaron su educacion secundaria como los del primer ciclo de las Institutos Pedagogicos,
Universidades y de cualquier curso cuyo objetivo sea capacitar a los estudiantes para iniciarse
en los estudios de cursos superiores. Se ha tenido especial cuidado en reducir las erratas lo mas
posible. Cada ejercicio propuesto fue resuelto minuciosamente, las respuestas que figuran en la
parte final del libro fueron comprobadas mas de una vez. Aun cuando todo autor sue
na con
producir el libro exento de errores ninguno ha logrado esa aspiracion, al menos que yo sepa. Por
tanto, agradecera que me hagan notar cualquier error que pueda haber persistido todava.
Salom
on Ching Brice
no.
iii
iv
iv
0. Pr
ologo
atica B
asica
Matem
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
Indice general
Pr
ologo
III
1. L
ogica Proposicional
1.1. Lista de Smbolos . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Proposicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1. Enunciado Abierto . . . . . . . . . . . . . . . . . . . . .
1.2.2. Proposicion Simple o Atomica . . . . . . . . . . . . . . .
1.2.3. Proposicion Compuesta o Molecular . . . . . . . . . . . .
1.3. Operaciones con proposiciones . . . . . . . . . . . . . . . . . . .
1.3.1. La Conjuncion . . . . . . . . . . . . . . . . . . . . . . .
1.3.2. La Disyuncion Inclusiva . . . . . . . . . . . . . . . . . .
1.3.3. La Disyuncion Exclusiva . . . . . . . . . . . . . . . . . .
1.3.4. La Negacion . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.5. La Condicional o Implicacion . . . . . . . . . . . . . . .
1.3.6. La Bicondicional . . . . . . . . . . . . . . . . . . . . . .
1.4. Signos de Agrupacion . . . . . . . . . . . . . . . . . . . . . . . .
1.5. Ejercicios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . .
1.6. Ejercicios Propuestos . . . . . . . . . . . . . . . . . . . . . . . .
1.7. Evaluacion de Esquemas Moleculares mediante Tabla de Valores
1.7.1. Jerarqua de los conectivos . . . . . . . . . . . . . . . . .
1.7.2. Tautologa, Contradiccion y contingencia . . . . . . . . .
1.8. Proposiciones Equivalentes . . . . . . . . . . . . . . . . . . . . .
1.9. Proposiciones Implicativas . . . . . . . . . . . . . . . . . . . . .
1.10. Ejercicios Propuestos . . . . . . . . . . . . . . . . . . . . . . . .
1.11. Inferencia Logica . . . . . . . . . . . . . . . . . . . . . . . . . .
1.12. Principales leyes tautologicas . . . . . . . . . . . . . . . . . . . .
1.12.1. Equivalencias Notables . . . . . . . . . . . . . . . . . . .
1
1
1
2
2
2
3
3
5
6
6
7
8
9
10
13
15
15
17
17
19
19
21
22
23
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
INDICE GENERAL
vi
vi
atica B
asica
Matem
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
Indice de cuadros
1.1. Simbologa de la Logica . . . . . . . . . . .
1.2. Proposicion y valor veritativo . . . . . . . .
1.3. Determinacion de los valores veritativos . . .
1.4. Valores veritativos de la Conjuncion . . . . .
1.5. Valores veritativos de la Disyuncion Inclusiva
1.6. Valores veritativos de la Disyuncion Exclusiva
1.7. Valores veritativos de la Negaci
on . . . . .
1.8. Valores veritativos de la Condicional . . . . .
1.9. Valores veritativos de la Bicondicional . . . .
1.10. Proposiciones Implicativas . . . . . . . . . .
vii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
2
3
4
5
6
6
8
9
21
INDICE DE CUADROS
viii
viii
atica B
asica
Matem
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
Captulo 1
L
ogica Proposicional
La logica esta enfocada a estudiar la validez de los procesos del razonamiento. Una de sus
ramas, la logica proposicional, utiliza simbologa parecida al algebra de los n
umeros, y algunas de
sus operaciones binarias son similares a las operaciones de suma y de multiplicacion de n
umeros.
Existen partes que son bastante literarias y que se manejan a traves de implicaciones notables,
uno de los temas centrales de este captulo. La logica que se estudiara aqu servira ademas para
definir la teora de conjuntos, la cual es previa a lo conceptos genericos de relaciones y funciones,
que son a su vez los temas que preceden a los temas de n
umeros reales y funciones de n
umeros
reales.
1.1.
Lista de Smbolos
Los smbolos que se usaran en este captulo de logica de las proposiciones se dan a continuacion:
Conjuncion, y
Disyuncion inclusiva, o
Disyuncion exclusiva
Negacion
Implicacion, entonces
Bicondicional: si y solo si
Equivalente a
9 No implica
Por lo tanto
1.2.
Proposici
on
1. L
ogica Proposicional
Ejemplo 1.1
Observemos un grupo de posiciones junto a sus respectivos valores de verdad:
Proposici
on
Valor de verdad
v(p) = F
v(q) = V
v(r) = V
v(t) = F
Ejemplo 1.2
Aquellos enunciados que indican una pregunta, una orden o una exclamacion, no son proposiciones. As tenemos:
(a) Que edad tienes?
1.2.1.
Enunciado Abierto
Un enunciado que usa las palabrasel,ellao los smbolos x, y, z, etc. no son proposiciones.
Pero si a una de estas palabras y smbolos se le asigna un determinado objeto o valor, llamado
constante, el resultado es una proposicion. A este tipo de enunciados se les denomina enunciados
abiertos.
Ejemplo 1.3
Son ejemplos de enunciados abiertos:
est
(a) El
a jugando tenis
(b) x + 2 > 5
(c) 2x + 3y = 8.
1.2.2.
Proposici
on Simple o At
omica
Una proposicion simple es aquel enunciado que posee un solo sujeto y un solo predicado.
El valor de verdad V o F de estas dependen del suceso de donde provienen.
Ejemplo 1.4
Los ejemplos de proposiciones atomicas lo encontramos en el cuadro (1.3).
1.2.3.
Proposici
on Compuesta o Molecular
Una proposicion compuesta es aquella que esta constituida por dos o mas proposiciones
simples.
El valor de verdad de la proposicion compuesta depende del valor de verdad de cada una
de las proposiciones componentes.
atica B
asica
Matem
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
Las proposiciones compuestas resultan ser una agrupacion o reunion de proposiciones simples ligadas por ciertas palabras tales como:
y,
entonces,
pero,
o,
si y solo si,
porque,
si,
no,
sin embargo, etc;
1.3.
1.3.1.
La Conjunci
on
Dadas dos proposiciones p y q, la conjuncion es el resultado de componer estas proposiciones con el conectivo logico y Se denota por el smbolo , se escribe p q y se lee
p y q.
Ejemplo 1.6
Sean las proposiciones:
o
n Ching Bricen
Lic. Mat. Salomo
mathsalomon@hotmail.com
Matem
atica B
asica
1. L
ogica Proposicional
La proposici
on conjuntiva es verdadera u
nicamente cuando las dos proposiciones componentes p y q son verdaderas, en cualquier otro caso es falsa.
Esta caracterstica es valida para toda conjuncion y genera su tabla de valores de verdad
se observa en el cuadro (1.4).
pq
V
V
F
F
V
F
V
F
V
F
F
F
Observaci
on 1.1
En la practica, a la proposici
on conjuntiva se le llama simplemente conjunci
on, lo que se
debera entender como proposicion resultante de dos proposiciones atomicas mediante el conectivo
y .
Ejemplo 1.7
Determinar el valor de verdad de la proposicion:
r : 2 + 3 + 5 = 11 y
4 + 8 > 5 + 6
p : 2 + 3 + 5 = 11
q : 4 + 8 > 5 + 6
v(p) = F
v(q) = V
Solucion. Sean:
Luego, seg
un la tabla de verdad de la conjuncion:
v(r) = v(p q) = F
atica B
asica
Matem
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
La Disyunci
on
n
Ch
ing
Br
ice
v(p) = F
v(q) = V
Aqu, podemos decir que la disyuncion p o q es verdadera, pues el uso habitual del conectivo o
establece una alternativa: alguna de las dos componentes se cumple. Como es cierto que 3 sea
un n
umero primo, no importa que la luna no sea azul, ya que una de las dos componentes de la
alternativa es verdadera. En este caso podemos escribir, entonces: v(p o q) = V .
lom
Sa
1.3.2.
ate
m
tic
as
La Disyunci
on Inclusiva
do
en
M
Lic
en
cia
pq
V
V
F
F
V
F
V
F
V
V
V
F
on Inclusiva
Cuadro 1.5: Valores veritativos de la Disyunci
o
n Ching Bricen
Lic. Mat. Salomo
mathsalomon@hotmail.com
Matem
atica B
asica
1. L
ogica Proposicional
1.3.3.
La Disyunci
on Exclusiva
En este caso, la palabra o suele usarse en su sentido excluyente, en cuyo caso la conectiva
proposicional se simboliza por , se llama disyuncion exclusiva o fuerte, se escribe p q y se lee
p o q pero no ambos, esto es, se da exactamente una de las dos alternativas. En algunos textos
a la disyuncion exclusiva se le llama diferencia simetrica. Para recordar su valor veritativo1 , La
regla practica es:
La disyunci
on exclusiva de dos proposiciones es verdadera si y solo si sus
2 proposiciones componentes tienen igual valor veritativo
Los valores verdad la disyuncion exclusiva lo vemos en el cuadro (1.6).
p
pq
V
V
F
F
V
F
V
F
F
V
V
F
Observaci
on 1.2
En adelante, llamaremos a la disyunci
on inclusiva simplemente disyunci
on, es decir, pensando en el sentido incluyente o, no olvidemos que, p q significa p o q o ambas a la
vez.
1.3.4.
La Negaci
on
F
V
El valor de la negacion de un enunciado es siempre opuesto del valor de verdad del enunciado. Lo importante de la proposicion negativa es que su valor de verdad depende solo del valor
de verdad de la afirmacion.
a) La tisa es blanca.
b) No es cierto que la tisa es blanca.
1
c) La tisa no es blanca.
d) La tisa es azul.
Valor veritativo, ll
amese as al valor de verdad de una proposicion.
atica B
asica
Matem
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
n
Ch
ing
Br
ice
b) y c) son cada uno la negacion de a), en cambio d) no es la negacion de a). Otras formas
de expresar la negacion es utilizando los terminos no es el caso que, es falso que, etc.
En estos casos generalmente la negacion niega proposiciones compuestas y simbolicamente se
expresa por ( ).
Ejemplo 1.9
Simbolizar la proposicion: No es el caso de que 10 sea m
ultiplo de 3 o que 5 + 2 < 10.
1.3.5.
q).
La Condicional o Implicaci
on
lom
Solucion.
ate
m
tic
as
Si
y
Sa
Ejemplo 1.10
Simbolizar la proposicion: Si Patricia consigue visa de turista, entonces viajara a Miami.
p q.
Nota: Tambien son conectivos condicionales los terminos: porque, puesto que, ya que,
si, cuando, cada vez que, etc. Todas se caracterizan porque despues de cada uno de estos
conectivos esta el antecedente o condicion.
Solucion.
do
en
M
Ejemplo 1.11
Simbolizar la proposicion: 16 es m
ultiplo de 2 puesto que 16 es un n
umero par.
Sean p :16 es m
ultiplo de 2 (consecuente), y
q :16 es n
umero par (antecedente).
cia
Lic
en
Ejemplo 1.12
Arturo no viajo a Europa porque perdio sus documentos
Solucion.
o
n Ching Bricen
Lic. Mat. Salomo
mathsalomon@hotmail.com
Matem
atica B
asica
1. L
ogica Proposicional
pq
V
V
F
F
V
F
V
F
V
F
V
V
Ejemplo 1.13
Dadas las proposiciones p, q y r tales que v(p) = v(q) = F
verdad de las siguientes proposiciones:
a) p (q r)
b) q ( p r)
Solucion.
a)
c)
1.3.6.
v(q r) = v(F V ) = V
v[p (q r)] = F
v[p (q r)] =
= v(F F ) = V
v(p q) = v(F V ) = F
v[ (p q)] = V ;
v( r p) = v(F F ) = F
v[ (p q) ( r p)] =
=v(V F ) = F
c) (p q) ( r p)
d) (q r) ( p r)
b) v( q) = V y
v( p r) = v(V V ) = V
v[ q ( p r)] = v(V V ) = V
d) v(q r) = v(F F ) = V
v[ (q r)] = F ;
v( p r) = v(V V ) = V .
(q r) ( p r) = v(F V ) = V
La Bicondicional
atica B
asica
Matem
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
(p q)
(q p)
V
V
F
F
V
F
V
F
V
F
V
V
V
F
F
V
V
V
F
V
n
Ch
ing
Br
ice
Signos de Agrupaci
on
Sa
1.4.
lom
ate
m
tic
as
Los signos de agrupacion (parentesis, corchetes, llaves) se usan en logica cuando se trata
de obtener esquemas logicos mas complejos con el fin de evitar la ambig
uedad de las formulas.
As, por ejemplo, la expresion:
pqr
es ambigua; pero asociando sus terminos:
(p q) r o p (q r)
do
en
M
en
cia
Lic
Ejemplo 1.15
Simbolizar: Si el testigo no dice la verdad, entonces Juan es inocente o culpable.
o
n Ching Bricen
Lic. Mat. Salomo
mathsalomon@hotmail.com
Matem
atica B
asica
10
1. L
ogica Proposicional
B = [(p q) r] p ;
C = [(p q) ( p r)]
1.5.
Ejercicios Resueltos
Ejercicio 1.1
Para los siguientes enunciados:
(1) Recoge ese lapiz
(2) 2 + 5 < 6
(3) x y = 5
(4) Hace mucho fro
Solucion.
(1) Recoge ese lapiz , es un mandato que no tiene un valor de verdad, entonces, no es proposicion ni enunciado abierto.
(2) 3 + 5 < 6 , es una proposicion cuyo valor de verdad es F .
(3) x y = 5 , es un enunciado abierto.
(4) Hace mucho fro, es una oracion que no tiene un valor de verdad, luego, no es proposicion
ni enunciado abierto.
En consecuencia, (1) y (4) satisfacen la alternativa (c).
Ejercicio 1.2
Dadas las proposiciones: p : Marcos es comerciante, q : Marcos es un prospero industrial y r :
Marcos es ingeniero. Simbolizar el enunciado: Si no es el caso que Marcos sea un comerciante y
un prospero industrial, entonces es ingeniero o no es comerciante.
Solucion.
La proposicion: No es el caso que Marcos sea un comerciante y pr
ospero industrial , se
simboliza:
(p q)
10
atica B
asica
Matem
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
11
n
Ch
ing
Br
ice
(r p)
(p q) (r p).
Ejercicio 1.3
Dadas las proposiciones q: 4 es un n
umero impar, p y r cualesquiera tal que [(r q) (r p)]
es verdadera. Hallar el valor de verdad de los siguientes esquemas moleculares:
A = r ( p q) ;
B = [r (p q)] (q p) ;
Solucion.
lom
Si q: 4 es un n
umero impar v(q) = F
C = (r p) (q p)
Sa
Seg
un la tabla de verdad de la condicional: v(r q) = V y v(r p) = F.
Tambien por la condicional, si v(r p) = F , entonces: v(r) = V y v(p) = F
as
ate
m
tic
v(A) = V (V V ) V ;
v(B) = [V (F F )] (F V ) [F ] (F ) V
v(C) = (V V ) (F F ) (V ) (F ) F
Ejercicio 1.4
De la falsedad de la proposicion: (p q) ( r s) se deduce que el valor de verdad de los
esquemas moleculares:
B = [( r q)] [( q r) s] ;
do
en
M
A = ( p q) q ;
C = (p q) [(p q) q]
son respectivamente:
a) VFV
b) FFF
c) VVV
d) FFV
cia
Solucion.
Seg
un la disyuncion inclusiva, si: v[(p q) ( r s)] = F , entonces:
en
v(p q) = F , v( r s) = F
Lic
Entonces:
o
n Ching Bricen
Lic. Mat. Salomo
mathsalomon@hotmail.com
Matem
atica B
asica
11
12
1. L
ogica Proposicional
V (A) = (F F ) (F ) = (F ) (F ) = F
V (B) = (V V ) V ] [(F F ) F ] = (V ) (F ) = F
V (C) = (V V ) [(V V ) F ] = (V ) [F ] = F
Por lo tanto, la alternativa correcta es la b).
Ejercicio 1.5
En cuales de los siguientes casos es suficiente la informacion para conocer el valor de verdad de
las proposiciones correspondientes.
A = (p q) ( p q) ; v(q) = V.
C = [p (q r)] ; v(p r) = V.
B = (p q) (p r) ; v(p) = V y v(r) = F.
D = (p q) r ; v(r) = V
Solucion.
En A: Si v(q) = V , entonces v(A) = (p V ) ( p F ),
pero: v(p V ) = V y v( p F ) = F , cualquiera sea el valor de verdad de p.
Luego, v(A) = (V ) (F ) = F Es suficiente la informacion.
En B: Si v(p) = V ; y V (r) = F , entonces v(B) = (V q) (V F ) = (V q) (V ).
Cualquiera sea el valor de verdad de (V q), la condicional p es verdadera,
Es suficiente la informacion dada.
En C: Seg
un la tabla de la condicional, existen tres posibilidades para que el v(p r) = V.
No es suficiente la informacion dada para conocer el valor de verdad de C.
En D: Si v(r) = V , entonces (p q) V . Cualquiera sea el valor de verdad de (p q), la
condicional es verdadera,
Es suficiente la informacion dada.
Ejercicio 1.6
Definamos p q como una operacion verdadera si p es falsa y q verdadera, y como falsa en
todos los casos restantes. Seg
un esto, si r:Juan es medico y s:Juan es deportista; hallar la
traduccion de r s.
Solucion.
Seg
un la definicion de , las tablas de verdad de p q y
p
pq
V
V
F
F
V
F
V
F
F
F
V
F
F
F
V
V
V
F
V
F
s son:
V
F
F
F
12
atica B
asica
Matem
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
13
1.6.
Ejercicios Propuestos
n
Ch
ing
Br
ice
2. x2 + 1 < 10
4. Todos los hombres son inmortales
6. x + 5 6= 8
b) son proposiciones
d) son proposiciones
2. Simbolizar en cada una de las siguientes proposiciones en los espacios en blanco, utilizando
variables proposicionales y conectivos logicos. Luego determinar el valor de verdad de cada
una de ellas.
q : 5 + 3 = 7;
r : 5=4
lom
p : 5 + 3 > 7;
Sa
i) 5 + 3 7
ii) 5 + 3 > 7, pero 5 + 3 = 7
iii) 5 + 3 = 7, si y solo si 5 = 4
iv) si 5 + 3 y 5 = 4, entonces 5 + 3 > 7
ate
m
tic
as
5.
do
en
M
r.
a) F F V
b) F F F
c) F V F
d) F V V
Lic
en
cia
B = (p q) ( r q) y
Matem
atica B
asica
13
14
1. L
ogica Proposicional
B = (p q) ( p q); v(q) = V
D = p (q r); v(r) = V.
B = ( p q) ( r r) s;
C = [(p q) p] ( q).
B = (q n) (x y);
C = (r p) (s q)
B = (s w) (r p)
C = [t ( w p)] (p r)
14
atica B
asica
Matem
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
15
1.7. Evaluaci
on de Esquemas Moleculares mediante Tabla de Valores
p : Los n
umeros m y n son m
ultiplos enteros de 5.
q : El producto de los n
umeros m y n es un m
ultiplo entero de 5.
n
Ch
ing
Br
ice
1.7.
C = [(p q) q] (p q).
Evaluaci
on de Esquemas Moleculares mediante Tabla de Valores
as
Sa
lom
Consiste en obtener los valores del operador principal a partir de la validez de cada una de
las variables proposicionales. Hemos visto que para evaluar una tabla de verdad de dos variables
proposicionales se necesitan 22 = 4 valores de verdad (filas) para cada variable. En general,
el n
umero de valores de verdad que se asigna a cada variable resulta de aplicar la formula 2n ,
siendo n el n
umero de variables que hay en el esquema molecular. Las combinaciones de todas las
posibilidades de V y F se hacen en las columnas de referencia al margen izquierdo del esquema,
luego se procede a aplicar la regla a cada uno de los operadores, empezando por el de menor
alcance, hasta llegar al de mayor jerarqua.
ate
m
tic
1.7.1.
La siguiente tabla enuncia los conectivos en orden de mayor a menor jerarqua de arriba
hacia abajo.
do
en
M
Mayor
..
menor
Ejemplo 1.16
Evaluar la tabla de verdad del esquema molecular:
cia
Solucion.
A = (p q) [ p q]
Lic
en
N
umero de valores de verdad para cada variable: 22 = 4.
p
(p q)
( p)
( q)
V
V
F
F
V
F
V
F
F
V
V
V
2
V
F
F
F
1
V
V
V
V
6
F
F
V
V
3
F
V
V
V
5
F
V
F
V
4
pasos
o
n Ching Bricen
Lic. Mat. Salomo
mathsalomon@hotmail.com
Matem
atica B
asica
15
16
1. L
ogica Proposicional
V
V
F
F
V
F
V
F
pasos
[p (p q)]
F
F
F
F
4
V
V
F
F
1
V
V
V
V
3
V
V
V
F
2
Ejemplo 1.18
Evaluar la tabla de verdad de la proposicion:
[( p q) r] p [r ( p q)]
Solucion.
N
umero de valores de verdad para cada variable: 23 = 8
p
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
pasos
16
[( p q)
F
F
F
F
F
F
V
V
1
atica B
asica
Matem
V
V
V
V
V
V
F
V
3
r]
[r
( p q)]
F
V
F
V
F
V
F
V
2
V
F
V
F
V
V
F
V
9
F
F
F
F
V
V
V
V
4
V
F
V
F
V
V
V
V
8
V
F
V
F
V
F
V
F
5
V
F
V
F
V
F
F
V
7
F
F
F
F
F
F
V
V
6
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
17
1.7.2.
Tautologa, Contradicci
on y contingencia
n
Ch
ing
Br
ice
Seg
un el resultado que se obtenga en el operador de mayor jerarqua, los esquemas moleculares se clasifican en contingentes (consistentes), tautologicos y contradictorios.
Un esquema molecular es tautol
ogico cuando los valores de verdad de su operador principal son todos verdaderos (ejemplo 1.16).
Un esquema molecular es contradictorio cuando en el resultado todos los valores de
verdad son falsos (ejemplo 1.17).
Un esquema molecular es contingente cuando en su resultado hay por lo menos una
verdad y una falsedad (ejemplo 1.18).
1.8.
Proposiciones Equivalentes
P Q
lom
Dos proposiciones compuestas p y q se dicen que son equivalentes si unidas por el bicondicional el resultado es una tautologa, es decir, que p y q tienen los mismos valores de verdad
en su operador principal. Se escribe:
P Q
Sa
as
P = Q o P
/ Q
ate
m
tic
Ejemplo 1.19
Determinar si las proposiciones siguientes son equivalentes:
P :Si Juan aprobo los examenes de admision, ingreso a la universidad.
Q :No es el caso que Juan apruebe los examenes de admision y no ingrese a la universidad.
Solucion.
do
en
M
V
V
F
F
V
F
V
F
p :Juan aprob
o los ex
amenes,
q :Juan ingres
o a la Universidad ;
entonces:
(p q) (p q)
Lic
en
cia
pasos
(p q)
F
V
F
F
1
V
F
F
F
4
(p q)
V
V
V
V
3
V
V
V
F
2
Dado que el resultado de la tabla es una tautologa, las proposiciones P y Q son equivalentes.
o
n Ching Bricen
Lic. Mat. Salomo
mathsalomon@hotmail.com
Matem
atica B
asica
17
18
1. L
ogica Proposicional
Ejemplo 1.20
Determinar si los esquemas A = (p q) (r p) y B = q ( r p) son equivalentes.
Construimos las tablas de verdad de A y B unidas por el operador
p
(p q)
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
F
F
V
V
V
V
1
V
V
V
F
V
V
V
V
3
pasos
(r p)
V
F
V
F
F
F
F
F
2
V
V
V
V
V
V
V
V
7
( r p)
F
F
V
V
F
F
V
V
4
V
V
V
F
V
V
V
V
6
V
F
V
F
V
V
V
V
5
vemos que las columnas 3 y 6, que corresponden a los operadores principales de A y B, respectivamente, son iguales; entonces, el resultado de unir estos dos columnas por el operador es
tautologico, por lo que, A y B son equivalentes.
Ejemplo 1.21
De las siguientes proposiciones, cuales son equivalentes?
A =Es necesario que Juan no estudie en la Universidad de Lima para que Luis
viva en Monterrico,
B =No es cierto que Luis viva en Monterrico y que Juan estudie en la Universidad
de Lima,
C =Luis no vive en Monterrico y Juan no Estudia en la Universidad de Lima.
Solucion.
Sean: p : Juan estudia en la Universidad de Lima, q : Luis vive en Monterrico. Entonces:
A = q p
p
V
V
F
F
V
F
V
F
B = (q p)
q p
pasos
F
V
V
V
1
V
V
V
V
C = q p
(q p)
F
V
V
V
3
V
F
F
F
2
V
F
F
V
q p
F
F
F
V
4
Aqu observamos que solo las columnas 1 y 3 de los operadores principales de las proposiciones A y B son iguales, por lo tanto, estas son equivalentes, esto es:
AB
18
atica B
asica
Matem
A
/ C
B
/ C
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
19
1.9.
Proposiciones Implicativas
AB
n
Ch
ing
Br
ice
Se dice que una proposicion A,implica a otra proposicion B, cuando unidas por el condicional , resulta una tautologa. Se simboliza:
p r
(p q)
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
V
F
V
V
F
V
F
1
V
V
V
V
V
V
V
V
6
F
V
V
V
V
V
V
V
4
V
V
F
F
F
F
F
F
3
F
V
V
V
V
V
V
V
5
F
V
F
V
F
V
F
V
2
Sa
as
ate
m
tic
pasos
lom
1.10.
Ejercicios Propuestos
do
en
M
En los ejercicios del 1 al 12 establecer, por medio de una tabla de valores, si cada uno de
los siguientes esquemas moleculares es contingente, tautologico o contradictorio.
2. [(p q) p] ( q p)
3. [(p q) ( p r)] (p q)
4. (p (q r) [( p r) q)
5. (p q) ( q p)
6. [( p q) r] [r (p q)]
7. [p (q r)] [(p r) q]
8. {(p q) [p ( p q)]} (p q)
cia
1. [ p ( q p)] ( q q)
en
Lic
o
n Ching Bricen
Lic. Mat. Salomo
mathsalomon@hotmail.com
Matem
atica B
asica
19
20
1. L
ogica Proposicional
b) R Q
q)
c) P R
y p q
p q,
d) Ninguna.
evaluar el esquema molecular
17. Si definimos el conectivo como: p q = (p q) [(p r) q], donde r es una proposicion cualquiera. Analizar cuales de las siguientes afirmaciones son correctas.
a) p p es una contradiccion
b) p q = q p
b) q t = q t
d) p q = p ( p q)
18. Dada la siguiente informacion:
p q = ( p q) ( q p)
Evaluar la formula:
p q = ( p q) ( q p)
20
atica B
asica
Matem
B = (q r);
C = ( p) ( r)
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
21
1.11. Inferencia L
ogica
1.11.
Inferencia L
ogica
n
Ch
ing
Br
ice
q r
r.
lom
p q
q r
(p q)
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
V
F
F
V
V
1
V
V
V
F
F
F
V
F
3
V
V
V
F
V
V
V
F
2
F
V
F
F
F
F
F
F
5
F
V
F
V
F
V
F
V
4
V
V
V
V
V
V
V
V
7
ate
m
tic
as
Sa
pasos
V
V
V
V
V
V
F
F
6
do
en
M
Observaci
on 1.3
Debemos considerar lo siguiente en las proposiciones implicativas.
(1) La validez de una inferencia no depende de los valores de verdad ni del contenido de los
enunciados que aparecen en la inferencia, sino de la forma particular de la inferencia.
cia
en
Lic
Ejemplo 1.24
Determinar la validez de la inferencia:
Si el tri
angulo es Isosceles entonces tiene dos lados iguales. Pero, el tri
angulo no tiene dos
lados iguales; por lo tanto, no es is
osceles.
o
n Ching Bricen
Lic. Mat. Salomo
mathsalomon@hotmail.com
Matem
atica B
asica
21
22
1. L
ogica Proposicional
Solucion.
Sean:
p : El triangulo es isosceles
q : El triangulo tiene dos lados iguales
Entonces, el esquema de la inferencia es:
pq
q
p
pq
V
V
F
F
V
F
V
F
V
F
V
V
1
F
F
F
V
3
F
V
F
V
2
V
V
V
V
5
F
F
V
V
4
pasos
p q
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
F
V
V
V
V
F
F
1
pasos
qr
F
F
V
F
V
V
F
F
3
V
V
V
F
V
V
V
F
2
F
F
F
F
F
V
F
F
5
F
V
F
V
F
V
F
V
4
V
V
V
V
V
F
V
V
7
F
F
V
V
F
F
V
V
6
1.12.
Una forma proposicional es una ley logica si y solo si cualquiera que sea la interpretacion
formalmente correcta que se haga de la misma, se obtiene como resultado una verdad logica.
En logica, las tautologas son conocidas con el nombre de leyes o principios logicos y son las
siguientes:
22
atica B
asica
Matem
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
23
pp
n
Ch
ing
Br
ice
pp
1.12.1.
lom
Existen muchas otras tautologas igualmente importantes y que se clasifican en dos grupos:
las tautologas llamadas equivalencias notables y las llamadas implicaciones notables.
Equivalencias Notables
Sa
as
( p)
ate
m
tic
E.2: La Idempotencia
Una cadena de conjunciones o disyunciones de variable redundante se eliminan.
a) p p p
b) p p p
Lic
en
cia
do
en
M
continuar
a...
4 de septiembre de 2010
o
n Ching Bricen
Lic. Mat. Salomo
mathsalomon@hotmail.com
Matem
atica B
asica
23
24
24
1. L
ogica Proposicional
atica B
asica
Matem
n Ching Bricen
o
Lic. Mat. Salomo
mathsalomon@hotmail.com
o
n
Ch
ing
Br
ice
Bibliografa
Lic
en
cia
do
en
M
ate
m
tic
as
Sa
lom
[Figuroa, 1995] Figueroa Garca, Ruben. Matematica Basica, Editorial America S.R.L., Lima,
Per
u, 1995.
25