.

Lgica Simblica

Lic. Salomon Ching Briceno

http://matematicauniversitaria.com

Setiembre de 2013
ii

ii Matematica Basica Lic. Salomon Ching Briceno

Prologo

La presente obra pone al estudiante uno de los temas de mayor relevancia en la forma-
cion de su pensamiento crtico en matematicas basicas superiores. He tratado de mantener
un lenguaje sencillo y puntual, con ejercicios tipo que muestren en la mayora de las veces lo
que el estudiante debe aprender. Pienso que puede ser un buen material tanto para los
estudiantes que terminaron su educacion secundaria como los del primer ciclo de los
Institutos pedagogicos, tcnicos, universidades y para 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, sin embargo agradecera que me hagan notar cualquier error que pueda
haber persistido todava.

Salomon Ching Briceno.

iii
iv 0. Prologo

iv Matematica Basica Lic. Salomon Ching Briceno

Indice general

Prologo III

1. Logica Proposicional 1
1.1. Lista de Smbolos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Proposicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2.1. Enunciado Abierto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.2. Proposicion Simple o Atomica . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.3. Proposicion Compuesta o Molecular . . . . . . . . . . . . . . . . . . . . . 2
1.3. Operaciones con proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3.1. La Conjuncion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3.2. La Disyuncion Inclusiva . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3.3. La Disyuncion Exclusiva . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.4. La Negacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.5. La Condicional o Implicacion . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.6. La Bicondicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Signos de Agrupacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5. Ejercicios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.6. Ejercicios Propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.7. Evaluacion de Esquemas Moleculares mediante Tabla de Valores . . . . . . . . . 15
1.7.1. Jerarqua de los conectivos . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.7.2. Tautologa, Contradiccion y contingencia . . . . . . . . . . . . . . . . . . 17
1.8. Proposiciones Equivalentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.9. Proposiciones Implicativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.10. Ejercicios Propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.11. Inferencia Logica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.12. Principales leyes tautologicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.12.1. Equivalencias Notables . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

v
vi INDICE GENERAL

vi Matematica Basica Lic. Salomon Ching Briceno

Indice de cuadros

1.1. Simbologa de la Logica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

1.2. Proposicion y valor veritativo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3. Determinacion de los valores veritativos . . . . . . . . . . . . . . . . . . . . . . . . 3
1.4. Valores veritativos de la Conjuncion . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.5. Valores veritativos de la Disyuncion Inclusiva . . . . . . . . . . . . . . . . . . . . . 5
1.6. Valores veritativos de la Disyuncion Exclusiva . . . . . . . . . . . . . . . . . . . . . 6
1.7. Valores veritativos de la Negacion . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.8. Valores veritativos de la Condicional . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.9. Valores veritativos de la Bicondicional . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.10. Proposiciones Implicativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

vii
viii INDICE DE CUADROS

viii Matematica Basica Lic. Salomon Ching Briceno

Captulo 1

Logica 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 numeros, y algunas de
sus operaciones binarias son similares a las operaciones de suma y de multiplicacion de numeros.
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 numeros reales y funciones de numeros
reales.

1.1. Lista de Smbolos

Los smbolos que se usaran en este captulo de logica de las proposiciones se dan a conti-
nuacion:
Conjuncion, y
Disyuncion inclusiva, o
Disyuncion exclusiva
Negacion
Implicacion, entonces
Bicondicional: si y solo si
Equivalente a
9 No implica
Por lo tanto

Cuadro 1.1: Simbologa de la Logica

1.2. Proposicion
Una proposicion es un enunciado cuya propiedad fundamental es la de ser verdadera (V)
o falsa (F), pero no ambas simultaneamente. Una proposicion se representa simbolicamente por
letras minusculas tales como: p, q, r, etc. (llamadas variables proporcionales). Cuando se trata
de representar muchas proposiciones similares se usan subndices para indicar cada una de ellas,
esto es,
p1 , p2 , p 3 , . . . , p n

1
2 1. Logica Proposicional

Ejemplo 1.1
Observemos un grupo de posiciones junto a sus respectivos valores de verdad:

Proposicion Valor de verdad

p : Cesar Vallejo nacio en Pars. v(p) = F

q : 2 + 3 < 10 3. v(q) = V
r : El numero 1331 es divisible por 11. v(r) = V
t : Todos los hombres no son mortales. v(t) = F

Cuadro 1.2: Proposicion y valor veritativo

Ejemplo 1.2
Aquellos enunciados que indican una pregunta, una orden o una exclamacion, no son proposi-
ciones. As tenemos:
(a) Que edad tienes? (b) Viva el Peru! (c) Prohibido fumar.

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:

(a) El esta jugando tenis (b) x + 2 > 5 (c) 2x + 3y = 8.

El enunciado abierto El esta jugando tenis tambien puede escribirse como:

p(x)=x esta jugando tenis, ahora, si x se reemplaza por el nombre de alguna persona, el
enunciado se convierte en una proposicion, en posteriores captulos lo veremos con el nombre de
funcion proposicional.

1.2.2. Proposicion Simple o Atomica

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. Proposicion 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.

2 Matematica Basica Lic. Mat. Salomon Ching Briceno

1.3. Operaciones con proposiciones 3

(1) p : El angulo recto mide 90o v(p) = V , por los conceptos de la geometra
elemental.
(2) q : Carlos Marx autor de la Ilada v(q) = F , pues, segun la historia, Homero
es autor de la Ilada.
(3) r : 7 es un numero primo v(r) = V , porque la aritmetica as lo esta-
blece.
Cuadro 1.3: Determinacion de los valores veritativos

Las proposiciones compuestas resultan ser una agrupacion o reunion de proposiciones sim-
ples ligadas por ciertas palabras tales como:

y, o, si,
entonces, si y solo si, no,
pero, porque, sin embargo, etc;

los cuales son llamados conectivos logicos.

Ejemplo 1.5
Veamos las siguientes proposiciones:

1)El terreno es muy fertil y hay suficienteEs la compuesta de las proposiciones sim-
lluvia. ples: El terreno es muy fertil, y Hay
suficiente lluvia.
2)La luna no es satelite de la tierra. Esta proposicion molecular que utiliza el co-
nectivo no, y actua en una sola proposi-
cion atomica: La luna es satelite de la
tierra.
3)Si estamos en diciembre entonces llegara Es una compuesta que usa el conectivo
la navidad . si . . ., entonces que actua sobre las pro-
posiciones simples: Estamos en diciem-
bre, Llegara la navidad .

1.3. Operaciones con proposiciones

As como en aritmetica y en algebra se estudian operaciones entre numeros, en logica se
estudian operaciones entre proposiciones. La operacion aritmetica de suma de dos numeros 3 y
5, por ejemplo, hace corresponder a un nuevo numero 8 que es su suma mediante la igualdad:
3 + 5 = 8; es decir, escribir 3 + 5 significa lo mismo que escribir 8. Vamos a proceder
analogamente para definir las operaciones entre proposiciones.

1.3.1. La Conjuncion
Dadas dos proposiciones p y q, la conjuncion es el resultado de componer estas propo-
siciones 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:

Lic. Salomon Ching Briceno Matematica Basica 3

4 1. Logica Proposicional

p :La tiza es blanca,

q : 6 es un numero primo.

A partir de estas proposiciones simples obtenemos la nueva proposicion uniendolas mediante la

conjuncion y.

r : La tiza es blanca y 6 es un numero primo.

Aqu podemos observar que v(p) = V y v(q) = F , entonces v(r) = F , ya que la conjuncion y
exige el cumplimiento de ambas componentes, sin excepcion. En consecuencia, la regla practica
para conjunciones es:

La proposicion conjuntiva es verdadera unicamente cuando las dos pro-

posiciones 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).

p q pq
V V V
V F F
F V F
F F F

Cuadro 1.4: Valores veritativos de la Conjuncion

Observacion 1.1
En la practica, a la proposicion conjuntiva se le llama simplemente conjuncion, 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

Solucion. Sean:

p : 2 + 3 + 5 = 11 v(p) = F
q : 4 + 8 > 5 + 6 v(q) = V

Luego, segun la tabla de verdad de la conjuncion:

v(r) = v(p q) = F

4 Matematica Basica Lic. Salomon Ching Briceno

1.3. Operaciones con proposiciones 5

La Disyuncion
Se llama disyuncion o suma logica de las proposiciones p y q, dadas en ese orden, a la
proposicion que se obtiene enunciando q a continuacion de p unidas ambas por el conectivo o,
esto es: p o q.

Ejemplo 1.8
La proposicion: La luna es azul o 3 es un numero primo es la disyuncion de:

p :La luna es azul v(p) = F

q : 3 es un numero primo 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 numero 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 .

Dado que la disyuncion no contempla los casos en que:

1o ) Ambas proposiciones componentes sean verdaderas a mismo tiempo, y

2o ) Ambas proposiciones componentes sean falsas a mismo tiempo,

se ha tenido que definir 2 clases de disyuncion: la disyuncion inclusiva (que incluye la posi-
bilidad que sus 2 componentes se cumplan o no se cumplan al mismo tiempo) y la disyuncion
exclusiva (que excluye la posibilidad que ambas se cumplan o no se cumplan a la vez).

1.3.2. La Disyuncion Inclusiva

Dadas dos proposiciones p y q, la disyuncion inclusiva o debil, es una proposicion compuesta
que resulta de unir las proposiciones p y q con el conectivo o, el cual se denota por el smbolo
, se escribe p q y se lee p o q. La regla practica es:

La disyuncion inclusiva de dos proposiciones es falsa si y solo si ambas

proposiciones componentes son falsas, resultando verdadera en los demas
casos.

Su tabla de verdad es:

p q pq
V V V
V F V
F V V
F F F

Cuadro 1.5: Valores veritativos de la Disyuncion Inclusiva

Lic. Salomon Ching Briceno Matematica Basica 5

6 1. Logica Proposicional

1.3.3. La Disyuncion 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 disyuncion 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 q pq
V V F
V F V
F V V
F F F

Cuadro 1.6: Valores veritativos de la Disyuncion Exclusiva

Observacion 1.2
En adelante, llamaremos a la disyuncion inclusiva simplemente disyuncion, es decir, pen-
sando en el sentido incluyente o, no olvidemos que, p q significa p o q o ambas a la
vez.

1.3.4. La Negacion
Se denomina proposicion negativa de la proposicion afirmativa p a otra que se denota por
p y que se lee no p o no es cierto que p y cuya verdad o falsedad queda determinada
por la siguiente tabla:

p p

V F
F V
Cuadro 1.7: Valores veritativos de la Negacion

El valor de la negacion de un enunciado es siempre opuesto del valor de verdad del enun-
ciado. 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. c) La tisa no es blanca.

b) No es cierto que la tisa es blanca. d) La tisa es azul.
1
Valor veritativo, llamese as al valor de verdad de una proposicion.

6 Matematica Basica Lic. Salomon Ching Briceno

1.3. Operaciones con proposiciones 7

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 multiplo de 3 o que 5 + 2 < 10.
Solucion. Si p : 10 es multiplo de 3 y q : 5 + 2 < 10 , entonces la proposicion se simboliza:

(p q).

1.3.5. La Condicional o Implicacion

Dadas las proposiciones p y q, se denomina proposicion condicional o implicativa a
la que resulta de unir p y q por el conectivo si, . . ., entonces que se denota por el smbolo ,
se escribe p q y se lee si p, entonces q, p implica q, p solo si q, q, si p, etc; en
donde p es el antecedente o condicion y q es el consecuente o conclusion.

Ejemplo 1.10
Simbolizar la proposicion: Si Patricia consigue visa de turista, entonces viajara a Miami.
Solucion.

Si p : Patricia consigue visa de turista

y q : Patricia viajara a Miami

Entonces, la proposicion se simboliza:

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.
Ejemplo 1.11
Simbolizar la proposicion: 16 es multiplo de 2 puesto que 16 es un numero par.
Solucion.

Sean p :16 es multiplo de 2 (consecuente), y

q :16 es numero par (antecedente).

Entonces, la proposicion se simboliza: q p, y se expresa:

Si 16 es un numero par, entonces es multiplo de 2

Ejemplo 1.12
Arturo no viajo a Europa porque perdio sus documentos
Solucion.

Si p : Arturo no viajo a Europa (consecuente),

y
q : Arturo perdio sus documentos (antecedente)

Lic. Salomon Ching Briceno Matematica Basica 7

8 1. Logica Proposicional

Se simboliza: q p que expresamos: Si Arturo perdio sus documentos, entonces no viajo

a Europa.

Entonces el valor de verdad de p q queda establecido de acuerdo a la siguiente regla:

La condicional o implicacion tendra un valor de verdad falso cuando el

antecedente p es verdadero y el consecuente q es falso; en los demas casos
diremos que p q es verdadero..

Los valores veritativos de la condicional lo encontramos en el cuadro (1.8).

p q pq
V V V
V F F
F V V
F F V
Cuadro 1.8: Valores veritativos de la Condicional

Ejemplo 1.13
Dadas las proposiciones p, q y r tales que v(p) = v(q) = F y v(r) = V , hallar el valor de
verdad de las siguientes proposiciones:

a) p (q r) c) (p q) ( r p)
b) q ( p r) d) (q r) ( p r)
Solucion.
a) v(q r) = v(F V ) = V
b) v( q) = V y
v[p (q r)] = F
v( p r) = v(V V ) = V
v[p (q r)] =
v[ q ( p r)] = v(V V ) = V
= v(F F ) = V
c) v(p q) = v(F V ) = F
d) v(q r) = v(F F ) = V
v[ (p q)] = V ;
v[ (q r)] = F ;
v( r p) = v(F F ) = F
v( p r) = v(V V ) = V .
v[ (p q) ( r p)] =
(q r) ( p r) = v(F V ) = V
=v(V F ) = F

1.3.6. La Bicondicional
Sean p y q dos proposiciones con las que se forma la siguiente proposicion:
p q y q p. Esta nueva proposicion esta formada mediante dos implicaciones y una
conjuncion. Podemos escribir esta proposicion haciendo uso de un nuevo conectivo; la escribire-
mos como:
pq
El smboloes llamado el conectivo bicondicional o doble implicacion. A la proposicion formada
la llamamos proposicion bicondicional. Si simbolizamos esta proposicion obtenemos:
(p q) (q p) p q

8 Matematica Basica Lic. Salomon Ching Briceno

1.4. Signos de Agrupacion 9

p q (p q) (q p)
V V V V V
V F F F V
F V V F F
F F V V V

Cuadro 1.9: Valores veritativos de la Bicondicional

La verdad de la bicondicional queda perfectamente determinada a partir de las tablas de verdad

de la condicional y la conjuncion; esto es:
Concluimos afirmando que el valor de verdad de la proposicion bicondicional esta dado por
la siguiente regla:

Si p y q tienen el mismo valor de verdad, entonces la bicondicional p q

es verdadera, y si p y q tienen valor de verdad opuestos, entonces p q es
falsa.

1.4. Signos de Agrupacion

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 ambiguedad de las formulas.
As, por ejemplo, la expresion:
pqr
es ambigua; pero asociando sus terminos:

(p q) r o p (q r)

la expresion dada tiene un sentido y deja de ser ambigua.

Otra finalidad de los signos de agrupacion es darle mayor o menor jerarqua a los conectivos,
En general, , es el conectivo de menor jerarqua, le siguen , que son de igual jerarqua,
y luego que es el de mayor jerarqua. Sin embargo, cada conectivo puede ser de mayor
jerarqua si as lo indica el signo de coleccion.

Ejemplo 1.14
No es el caso de que 9 es multiplo de 3 o que 2 8 = 15.

Asignandole una variable a cada proposicion simple se tiene:

p :9 es multiplo de 3
q :2 8 = 15

Su notacion simbolica es: (p q).

Notese que aqu que la negacion afecta a las variables dentro del parentesis.

Ejemplo 1.15
Simbolizar: Si el testigo no dice la verdad, entonces Juan es inocente o culpable.

Lic. Salomon Ching Briceno Matematica Basica 9

10 1. Logica Proposicional

Si p : El testigo dice la verdad , q : Juan es inocente y r:Juan es culpable; entonces se

simboliza:
p (q r)

Aqu, el smbolo de mayor jerarqua es . Observese que solo afecta a la variable p y

que esta limitado por el parentesis.

Definicion 1.1 (Esquema molecular)

La combinacion de las variables y los operadores o conectivos proposicionales por medio de los
signos de los signos de agrupacion se denomina esquema molecular. En cada esquema molecular
solo uno de los operadores es el de mayor jerarqua y es el que le da nombre a dicho esquema.
Por ejemplo, en los esquemas moleculares:

A = p (q r) ; B = [(p q) r] p ; C = [(p q) ( p r)]

Podemos notar que los operadores de mayor jerarqua en A, B y C son: , y , y los

nombres que llevan cada uno de estos esquemas son: esquema condicional, esquema bicondicional
y esquema negativo, respectivamente.

1.5. Ejercicios Resueltos

Ejercicio 1.1
Para los siguientes enunciados:

(1) Recoge ese lapiz (3) x y = 5

(2) 2 + 5 < 6 (4) Hace mucho fro
Cual de alternativas siguientes es la correcta?
a) Dos son proposiciones b) Dos son enunciados abiertos
c) Dos no son ni proposiciones ni enunciados abiertos d) Tres son proposiciones
Solucion.

(1) Recoge ese lapiz , es un mandato que no tiene un valor de verdad, entonces, no es proposi-
cion 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 prospero industrial , se
simboliza:
(p q)

10 Matematica Basica Lic. Salomon Ching Briceno

1.5. Ejercicios Resueltos 11

La proposicion: Marcos es ingeniero o no es comerciante, se simboliza:

(r p)

Uniendo estos dos esquemas con el conectivo , se tiene:

(p q) (r p).

Ejercicio 1.3
Dadas las proposiciones q: 4 es un numero 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) ; C = (r p) (q p)

Solucion.

Si q: 4 es un numero impar v(q) = F

Por dato: [(r q) (r p)] V entonces: v[(r q) (r p)) = F.

Segun 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

Sustituyendo estos valores de verdad en los esquemas moleculares se tiene:

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:

A = ( p q) q ; B = [( r q)] [( q r) s] ; C = (p q) [(p q) q]

son respectivamente:

a) VFV b) FFF c) VVV d) FFV

Solucion.
Segun la disyuncion inclusiva, si: v[(p q) ( r s)] = F , entonces:

v(p q) = F , v( r s) = F

Aplicando la condicional en ambos casos se tiene:

v(p q) = F v(p) = V , v(q) = V ;

v( r s) = F v(r) = F , v(s) = F
Entonces:

Lic. Salomon Ching Briceno Matematica Basica 11

12 1. Logica 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. B = (p q) (p r) ; v(p) = V y v(r) = F.
C = [p (q r)] ; v(p r) = V. 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: Segun 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. Segun esto, si r:Juan es medico y s:Juan es deportista; hallar la
traduccion de r s.

Solucion.

Segun la definicion de , las tablas de verdad de p q y r s son:

p q pq r s r s
V V F F V V
V F F F F F
F V V V V F
F F F V F F

Vemos que la tabla del valor de verdad de la derecha es identica a la de la conjuncion, es

decir r s es igual a escribir: r s por tanto, la traduccion es r s es:

Juan es medico y deportista.

12 Matematica Basica Lic. Salomon Ching Briceno

1.6. Ejercicios Propuestos 13

1.6. Ejercicios Propuestos

1. De los enunciados siguientes:

1. Hola que tal 2. x2 + 1 < 10

3. 2 + 5 > 6 4. Todos los hombres son inmortales
5. Socrates nacio en Atenas 6. x + 5 6= 8

Cual de las alternativas siguientes es correcta?

a) son enunciados abiertos b) son proposiciones

c) no 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.

p : 5 + 3 > 7; q : 5 + 3 = 7; r : 5=4

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

3. Si p : Carlos vendra, q : Carlos a recibido la carta y r : Carlos esta interesado todava

en el asunto. Simbolizar los siguientes enunciados:

a) Carlos vendra, si ha recibido la carta, siempre que este interesado todava en el asunto.
b) Carlos vendra porque ha recibido la carta o no esta interesado todava en el asunto.
c) Carlos vendra si y solo si ha recibido la carta o vendra porque esta interesado todava
en el asunto.

4. Determinar los valores de verdad de las siguientes proposiciones:

p : (3 + 5 = 8) (5 3 = 4) q : (5 3 = 8) (1 7 = 6)
r : (3 + 8 = 11) (7 4 > 1) s : (4 + 6 = 9) (5 2 = 4)

5. [( p q) (r q)] [( p q) (q p)], es verdadera. Hallar los valores de verdad de p, q y

r.

6. De la falsedad de (p q) ( r s), se deduce que el valor de verdad de los esquemas:

A = ( q s) p ; B = ( r s) ( p q) y C = p [q (s r)], son
respectivamente:

a) F F V b) F F F c) F V F d) F V V

7. La proposicion (p r) (q r) es falsa, y se tienen les esquemas moleculares:

A = (q r) (p q) , B = (p q) ( r q) y
C = [(p q) (q r)] (p r).

Lic. Salomon Ching Briceno Matematica Basica 13

 14 1. Logica Proposicional

Cuales son falsos?

8. Si lo proposicion A = (p q) (r s) es falsa, hallar el valor de verdad de las proposi-

ciones q, p, r y s.(en este orden).

9. Dadas las proposiciones:

A = (p q) r; v(r) = V B = (p q) ( p q); v(q) = V

C = (p q) (p r); v(p) = V y v(r) = F D = p (q r); v(r) = V.

En que casos la informacion que se da es suficiente para determinar el valor de verdad de

cada proposicion?

10. (p q) (r s) es una proposicion verdadera, teniendo r y s valores de verdad opuestos. De

las afirmaciones siguientes cuales son verdaderas: A = [( p q) (r s)] p, es verdadera
B = [ (p q) (r s)] ( p q), es falsa
C = [( r s) (p r) (r s), es verdadera.

11. Si la proposicion ( p q) ( s r) es falsa, de las proposiciones siguientes, cuales son ver-

daderas?:
A = [(p q) r]; B = ( p q) ( r r) s; C = [(p q) p] ( q).

12. Si las proposiciones A = (p s) s y B = [(p s) p] s, son verdaderas, hallar los

valores de verdad de p, s y p s, en ese orden.

13. Dada la siguiente informacion: v(r q) = V ; v(n r) = F ; v(m n) = V y v(p m) = F .

Determinar el valor de verdad del esquema molecular: A = [(m n) (p r)] (m q).

14. Si A = (p r) ( p q), es verdadera, hallar el valor de verdad de la proposicion B =

(p q) (p r)

15. Si v[(q p) (r p)) = F ; hallar el valor de verdad de cada una de las siguientes proposicio-
nes:
A = (p x) (m y); B = (q n) (x y); C = (r p) (s q)

16. Si v(m n) = F , v[ (s r)] = F y v( p q) = F ; hallar el valor de verdad del esquema

A = [(p q) (s r)] (n m).

17. Sabiendo que el valor de verdad de la proposicion compuesta:

A = [(p r) q] [(p q) s] (s p) t, es siempre falso. Determinar el valor de verdad
de las siguientes proposiciones:
a) B = [( p q) r] (q (s p)) (p q)
b) C = (p q) [(r p) (r s)] t

18. Si p, q, r, s y w son proposiciones cualesquiera tales que:

v( w s) = F y v[(p r) (s u)] = V ; hallar el valor de verdad de los siguien-
tes esquemas:
A = [(p q) r] s ; B = (s w) (r p) y
C = [t ( w p)] (p r)

14 Matematica Basica Lic. Salomon Ching Briceno

 1.7. Evaluacion de Esquemas Moleculares mediante Tabla de Valores 15

19. Dadas las proposiciones:

p : Los numeros m y n son multiplos enteros de 5.
q : El producto de los numeros m y n es un multiplo entero de 5.
Analizar cuales de las siguientes proposiciones son verdaderos:
a) p es condicion suficiente para q. b) p solo si q. c) p es condicion necesaria para q.
20. Si la proposicion P = ( p q) (s r) es falsa; cuales de los siguientes esquemas molecu-
lares son falsos:
A = [(r q) q] [( q r) s];
B = (p q) q; C = [(p q) q] (p q).

1.7. Evaluacion de Esquemas Moleculares mediante Ta-

bla de Valores
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 numero de valores de verdad que se asigna a cada variable resulta de aplicar la formula 2n ,
siendo n el numero 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.

1.7.1. Jerarqua de los conectivos

La siguiente tabla enuncia los conectivos en orden de mayor a menor jerarqua de arriba
hacia abajo.
Mayor

..
.

menor

Ejemplo 1.16
Evaluar la tabla de verdad del esquema molecular:
A = (p q) [ p q]
Solucion.
Numero de valores de verdad para cada variable: 22 = 4.
p q (p q) ( p) ( q)
V V F V V F F F
V F V F V F V V
F V V F V V V F
F F V F V V V V
pasos 2 1 6 3 5 4

Lic. Salomon Ching Briceno Matematica Basica 15

16 1. Logica Proposicional

Explicacion de los pasos:

1o ) Se aplico la conjuncion a los valores de verdad de p y q.
2o ) Se aplico la negacion a la columna (1).
3o ) Se aplico la negacion a los valores de verdad de p.
4o ) Se aplico la negacion a los valores de verdad de q.
5o ) Se aplico la disyuncion inclusivo a los valores de verdad de las columnas 3 y 4.
6o ) Finalmente se aplico la bicondicional a los valores de verdad de las columnas 2 y 5.
En este ejemplo, el operador de mayor alcance es el bicondicional , cuya columna (todos V )
se ha trazado con doble raya para facilitar la lectura final del resultado de la tabla de valores.
En el resto de los ejemplos, se obviara la explicacion de los pasos.
Ejemplo 1.17
Evaluar la tabla de verdad de la proposicion:
A = [p (p q)]
Solucion.
Numero de valores de verdad para cada variable: 22 = 4
p q [p (p q)]
V V F V V V
V F F V V V
F V F F V V
F F F F V F
pasos 4 1 3 2

Ejemplo 1.18
Evaluar la tabla de verdad de la proposicion:
[( p q) r] p [r ( p q)]
Solucion.
Numero de valores de verdad para cada variable: 23 = 8
p q r [( p q) r] p [r ( p q)]

V V V F V F V F V V V F
V V F F V V F F F F F F
V F V F V F V F V V V F
V F F F V V F F F F F F
F V V F V F V V V V V F
F V F F V V V V V F F F
F F V V F F F V V V F V
F F F V V V V V V F V V
pasos 1 3 2 9 4 8 5 7 6

16 Matematica Basica Lic. Salomon Ching Briceno

1.8. Proposiciones Equivalentes 17

1.7.2. Tautologa, Contradiccion y contingencia

Segun el resultado que se obtenga en el operador de mayor jerarqua, los esquemas mole-
culares se clasifican en contingentes (consistentes), tautologicos y contradictorios.
Un esquema molecular es tautologico cuando los valores de verdad de su operador prin-
cipal 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

Dos proposiciones compuestas p y q se dicen que son equivalentes si unidas por el bicondi-
cional 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 o P Q

y se lee P es equivalente a Q o Q es equivalente a P . Si P no es equivalente a Q, se escribe:

P = Q o P
/ Q

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.
Sean las proposiciones simples:
p :Juan aprobo los examenes,
q :Juan ingreso a la Universidad ;
entonces: (p q) (p q)
y para probar que esta bicondicional es verdadera construimos su tabla de verdad.

p q (p q) (p q)

V V F V V V
V F V F V V
F V F F V V
F F F F V F
pasos 1 4 3 2

Dado que el resultado de la tabla es una tautologa, las proposiciones P y Q son equiva-
lentes.

Lic. Salomon Ching Briceno Matematica Basica 17

18 1. Logica 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 q r (p q) (r p) q ( r p)
V V V V V V V F V V
V V F V V F V F V F
V F V F V V V V V V
V F F F F F V V F F
F V V V V F V F V V
F V F V V F V F V V
F F V V V F V V V V
F F F V V F V V V V
pasos 1 3 2 7 4 6 5

vemos que las columnas 3 y 6, que corresponden a los operadores principales de A y B, respec-
tivamente, 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 ; B = (q p) ; C = q p

p q q p (q p) q p

V V F V F V V F
V F V V V F F F
F V V V V F F F
F F V V V F V V
pasos 1 3 2 4

Aqu observamos que solo las columnas 1 y 3 de los operadores principales de las proposi-
ciones A y B son iguales, por lo tanto, estas son equivalentes, esto es:

AB , A
/ C y B
/ C

18 Matematica Basica Lic. Salomon Ching Briceno

1.9. Proposiciones Implicativas 19

1.9. Proposiciones Implicativas

Se dice que una proposicion A,implica a otra proposicion B, cuando unidas por el condi-
cional , resulta una tautologa. Se simboliza:

AB

y se lee; A implica a B, o tambien, A es condicion suficiente para que B o B es condicion

necesaria para A. Si A no implica a B, se escribe; A 9 B
Ejemplo 1.22
Sean los esquemas moleculares: A = ( p) ( r) y B = (p q) r. Demostrar que A implica
a B.
Solucion. En efecto, construyamos la tabla de verdad de A B;

p q r p r (p q) r

V V V F V F V F F
V V F V V V V V V
V F V F V V F V F
V F F V V V F V V
F V V V V V F V F
F V F F V V F V V
F F V V V V F V F
F F F F V V F V V
pasos 1 6 4 3 5 2

Como el resultado arroja una tautologa, queda demostrado que A B.

1.10. Ejercicios Propuestos

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.
1. [ p ( q p)] ( q q) 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)
9. [p ( q p)] [(p q) (q p)] 10. [ p (q r)] [( p q) (p r)]
11. [(p q) (r q)] [(p q) (q r)]
12. {[( p r) q] [ q (p r)]} {(p q) (q r)}.
13. Afirmamos que:
A: Hoy es lunes pero no martes, entonces hoy no es feriado.Hoy es feriado, entonces
no es verdad que hoy es lunes y no es martes.
B: Hoy es lunes o martes, si y solo si, hoy no es lunes .Hoy no es lunes y hoy es
martes.

Lic. Salomon Ching Briceno Matematica Basica 19

20 1. Logica Proposicional

C: Hoy es feriado y no es martes, entonces hoy es martes.Hoy no es martes, entonces

hoy es feriado.

Cuales son verdaderas?

14. Cuales de las siguientes afirmaciones son verdaderas?

(1) Es necesario y suficiente que p y q sean falsos para que: (p r) (q r) sea falsa.
(2) Es necesario que q sea falsa y r verdadera para que: (p q) ( r p) sea falsa.
(3) No es necesario que p y q sean verdaderas para que: (p q) ( p q) sea verdadera.

15. Dados los esquemas logicos: p = (p q) ( p q) ; R = ( p q) ; Q = (p q).

Cual de las siguientes relaciones es correcta?

a) P R b) R Q c) P R d) Ninguna.

16. Si se sabe que: p q (p q) y p q p q, evaluar el esquema molecular

A = (p r) (q r).

17. Si definimos el conectivo como: p q = (p q) [(p r) q], donde r es una proposi-

cion 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) ; p q = ( p q) ( q p)
Evaluar la formula: [(p q) (q r)] ( p q).

19. Dados los siguientes esquemas moleculares: A = p ( q) , B = p r y C = (q r).

Determinar:

a) Si la conjuncion de A y C implica a B
b) Si la disyuncion de A y B implica a C.

20. Determinar si cada una de las proposiciones que aparecen a continuacion implica a K =
(p q) r.

A = p (q r); B = (q r); C = ( p) ( r)

20 Matematica Basica Lic. Salomon Ching Briceno

1.11. Inferencia Logica 21

1.11. Inferencia Logica

En matematicas llamamos razonamiento a un par ordenado ({pi }, q), en donde, {pi } es un
conjunto finito de proposiciones, llamadas premisas y q una proposicion, llamada conclusion.
Un razonamiento es deductivo si y solo si las premisas son evidencias de la verdad de la conclusion,
es decir, si p1 , p2 , . . . , pn son verdaderas entonces q es verdadera; cuando se deduce esto se dice
que se ha construido una inferencia. De este modo, toda regla de inferencia es tautologica. Una
inferencia es valida si y solo si la premisa p o conjuncion del conjunto de premisas {pi } implica
la conclusion q, esto es, si:
(p1 p2 p3 . . . pn ) q (1.1)
Ejemplo 1.23
Determinar si p q es una consecuencia valida de: p q , q r , r.

Solucion.
Aqu las premisas son: p1 = p q, p2 = q r, p = r, y la conclusion: Q = p q. Debemos
demostrar que: (p1 p2 p3 ) Q, es una tautologa. En efecto, la tabla de verdad para esta
inferencia es: Como el resultado (7) es una tautologa, la conjuncion de premisas implica a la

p q r p q q r r (p q)
V V V V V V F F V V
V V F V V V V V V V
V F V V V V F F V V
V F F V F F F V V V
F V V F F V F F V V
F V F F F V F V V V
F F V V V V F F V F
F F F V F F F V V F
pasos 1 3 2 5 4 7 6

Cuadro 1.10: Proposiciones Implicativas

conclusion, por tanto, la inferencia es valida.

Observacion 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.

(2) Cuando las premisas forman dos o mas conjunciones, se toma la ultima conjuncion como
la principal del antecedente.

(3) Si la condicional (1.1) no es una tautologa, entonces se dice que la inferencia es no valida
o es una falacia.
Ejemplo 1.24
Determinar la validez de la inferencia:
Si el triangulo es Isosceles entonces tiene dos lados iguales. Pero, el triangulo no tiene dos
lados iguales; por lo tanto, no es isosceles.

Lic. Salomon Ching Briceno Matematica Basica 21

22 1. Logica Proposicional

Solucion.
Sean:

p : El triangulo es isosceles
q : El triangulo tiene dos lados iguales

Entonces, el esquema de la inferencia es:

p q pq q p

V V V F F V F
pq
V F F F V V F
q
F V V F F V V
p F F V V V V V
pasos 1 3 2 5 4

Como el resultado de la tabla de verdad es una tautologa, la inferencia es valida. 

Ejemplo 1.25
Mediante una tabla de verdad, establecer si es valida la inferencia:

p q
qr
r
q

Solucion.
Desarrollando la tabla de verdad:

p q r p q qr r p

V V V F F V F F V F
V V F F F V F V V F
V F V V V V F F V V
V F F V F F F V V V
F V V V V V F F V F
F V F V V V V V F F
F F V F F V F F V V
F F F F F F F V V V
pasos 1 3 2 5 4 7 6

El resultado de la tabla no es una tautologa, por lo tanto, la inferencia es una falacia. 

1.12. Principales leyes tautologicas

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 Matematica Basica Lic. Salomon Ching Briceno

1.12. Principales leyes tautologicas 23

T.1: Ley de Identidad (Reflexividad)

Una proposicion solo es identica a si misma. Se expresa por:

pp y pp

T.2: Ley de no Contradiccion

Una proposicion no puede ser verdadera y falsa a la vez. Se expresa por:

(p p)

T.3: Ley del Tercio Excluido

Una proposicion es verdadera o es falsa, no hay una tercera posibilidad. Se expresa por:

p p

Existen muchas otras tautologas igualmente importantes y que se clasifican en dos grupos:
las tautologas llamadas equivalencias notables y las llamadas implicaciones notables.

1.12.1. Equivalencias Notables

E.1: Ley de Involucion
Dos negaciones de igual alcance equivale a una afirmacion.

( p) p

E.2: La Idempotencia
Una cadena de conjunciones o disyunciones de variable redundante se eliminan.

a) p p p
b) p p p

E.2: Leyes conmutativas .. PRXIMAMENTE LA II PARTE

Lic. Salomon Ching Briceno Matematica Basica 23

24 1. Logica Proposicional

PRXIMAMENTE LA II PARTE..

24 Matematica Basica Lic. Salomon Ching Briceno

Bibliografa

[Figuroa, 1995] Figueroa Garca, Ruben. Matematica Basica, Editorial America S.R.L., Lima,
Peru, 1995.

25