Aroni

Introduccin a la Lgica Matemtica
Christopher Lawrence ARONI YANGALI

Pgina | 1

INDICE
DEDICATORIA
INTRODUCCIN
COMPETENCIA
INSTRUCCIONES
LOGICA PROPOSICIONAL
1. Nociones de Lgica Proposicional
1.1Definicin
1.2Proposicin
2. Clases de Proposiciones
2.1Proposiciones Simples o Atmicas
2.2Proposiciones Compuestas o Moleculares
3. Operadores o Conectivos Lgicos
3.1Operador Singular
3.2Operador Binario
3.3Nmero de Combinaciones para el Valor de Verdad
3.4Conectivos Lgicos y sus Tablas de Verdad
3.4.1
La Negacin
3.4.2
La Conjuncin
3.4.3
La Disyuncin Inclusiva
3.4.4
La Disyuncin Exclusiva
3.4.5
La Condiconal
3.4.6
Negacin Conjunta o nicod
3.4.7
Negacin Alterna o Shaffer
4. Evaluacin de Frmulas
5. Leyes del lgebra Proposicional
6. Simplificacin de Frmulas
7. Circuitos Conmutadores y Cuantificadores
EJERCICIOS Y PROBLEMAS PROPUESTOS
AUTOEVALUACION

Pgina | 2
INTRODUCCIN
APELAMOS A TU ENTUSIASMO E
INICIATIVA DE SUPERVICION al
iniciar
El presente captulo te brindar los
conocimientos bsicos para el
aprendizaje de Lgica - Matemtica.
el estudio del presente manual auto

instructivo.
NO OLVIDES! Tu xito en el estudio
del manual optimizar tu trabajo
cotidiano, y consolidar tu formacin
personal.
DESEANDOTE
XITO
en
tu
autoeducacin, procede ahora a
LEER las instrucciones.
El captulo te absuelve la siguiente

pregunta: Cmo interpretar y utilizar
correctamente el lenguaje simblico
de las proposiciones, conectivos y
cuantificadores, y relacionar estas
nociones con la matemtica?
DESEAMOS APOYARTE EN EL
CONOCIMIENTO
DE
LOS
ASPECTOS BASICOS DE LA
MATEMATICA

Pgina | 3

3.1. Al culminar con la lectura del
tema y subtemas de la Unidad
de Aprendizaje, COMPRUEBA SI
HAS
LOGRADO
LA
COMPETENCIA, respondiendo a
la autoevaluacin respectiva.
3.2. COTEJA TUS RESPUESTAS
Los RECUADROS O DIBUJOS que
refuerzan visualmente la idea
central.
Con la clave de respuestas,

califcate y ubcate en la Tabla de
Valoracin. Prosigue luego con tu
auto instruccin de acuerdo con
las indicaciones.
3.3.
2.3 DISPONE DE SEMANAS

UTILES
Mximo para estudiar la Unidad
de Aprendizaje.
Si
CONCLUYES
SATISFACTORIAMENTE Espera
la convocacin a la sesin de
refuerzo y evaluacin directa que
te ser comunicada por el
Coordinador responsable de la
Educacin a Distancia.
Tarea cumplida!
Estoy listo para la Evaluacin

Directa!
3.
AUTOEVALUACIN

Pgina | 4

1.3 Dedica NOVENTA MINUTOS a
DIARIO como mnimo a tu
autoeducacin.
INSTRUCCIONES
La EDUCACION A DISTANCIA
significa
APRENDER
temas
supeditados A TU PROPIO RITMO E
INTERES, mediante manuales auto
instructivos que reemplazan al
profesor, TE COMUNICAMOS LAS
REGLAS que debers tener en
cuenta para tu autoeducacin.
1. CONDICIONES DE ESTUDIO
1.1 Cultiva hbitos de ESTUDIO,
es decir estudia en un LUGAR
adecuado.
1.2 EL LUGAR que elijas debe ser
TRANQUILO,
cmodo
e
iluminado.
Pgina | 5

1.4 CONCENTRATE en el estudio
durante el tiempo asignado a
tu autoeducacin.
2.
ESTUDIO
DEL
AUTOINSTRUCTIVO
MANUAL
2.1 LEE LA INTRODUCCIN, INDICE

Y EL OBJETO DE CADA UNIDAD
Con ello absuelves tres preguntas:
Por qu el Tema? Qu
desarrolla el Tema?
Qu aprender?
2.2 AL ESTUDIAR CADA UNIDAD DE
APRENDIZAJE:
1ro RESPETA EL ORDEN de los
subtemas de este tema.
2do Dedica UNA PRIMERA

LECTURA atenta y completa al
tema y subtema respectivo.
Cmo leo el Tema?
Punto por punto Hasta culminarlo!
3ro Ejecuta
una
SEGUNDA
LECTURA fijando tu inters y
entendimiento en:
La IDEA CENTRAL resaltada con
MAYUSCULAS.

Pgina | 6
1.1
1. NOCIONES DE LOGICA PROPOSICIONAL

DEFINICIN
La lgica es la ciencia de los principios de la inferencia vlida.
1.2
PROPOSICIN
Es un conjunto de palabras que niega o afirma una verdad, pero

nunca verdadero o falso simultneamente.
Estas se denotan con letras minsculas, tales como:

p, q, r, s, v, w, etc.
En este caso que sean muchas proposiciones se

emplean sub-ndices, as vemos: pi, p 2, P3, P4, p,... pn. Si una
proposicin "p" es verdadera se dice que su valor de verdad es V, se
escribe V(p) = V y se lee "valor de verdad de "p" es falsa su valor de
verdad es F, se escribe V(p) = F y se lee "el valor de verdad de p es igual
a F".
Ejemplos:
PROPOSICIN
1) p : Albert Einstein naci en EE.UU
2) q: 5! = 2
3) r: El nmero 8 es divisible por 2
4) s: El tringulo tiene 4 lados
VALOR DE VERDAD
V(p) = F
V(q) = F
V(r) = V
V(s) = F
Ten en cuenta de aquellos enunciados que expresan una pregunta, una

orden o una exclamacin, son expresiones no preposicionales. Ejemplos:
1. Qu hora es?
2. Arriba Alianza
3. Cllate
2.
CLASES DE PROPOSICIONES
2.1
PROPOSICIONES SIMPLES O ATOMICAS
Son aquellas que estn constituidas por una

sola proposicin.
Ejemplos:
p : El Basic es un lenguaje de
programacin.
q : Los peruanos no son latinoamericanos.
r: 3 es un nmero impar.
2.2 PROPOSICIONES COMPUESTAS O MOLECULARES
Son aquellas que estn constituidas por dos o ms proposiciones

simples. Ejemplos:
p : 5 es un nmero primo y es un nmero par.
q : El cuadrado es un slido o un polgono.
r: El manzano crece, entonces lo han regado o ha llovido.
3. OPERADORES O CONECTIVOS LOGICOS
Se les llama tambin smbolos coligativos y son aquellos smbolos que

sirven para conectar o relacionar proposiciones, son de dos tipos: singulares y
binarios.
3.1. OPERADOR SINGULAR
Es aquel que afecta solamente a una proposicin simple. La

negacin, simbolizada por"~" es el nico operador singular.
3.2. OPERADOR BINARIO
Es aquel que afecta a dos o ms proposiciones y son:
La conjuncin
La disyuntiva inclusiva
La disyuntiva exclusiva
La condicional
La bicondicional
La negacin alterna
A continuacin mostramos un diagrama, donde se seala su

correspondiente sealizacin y lectura
OPERADOR
OPERADORES Y CONECTIVOS LOGICOS

CONECTIVO
SIMBOLO
EJEMPLOS SIMBOLIZACIN
LOGICO
Negacin
No ...
Conjuncin
...y.
Disyuncin
inclusiva
...o...
No hace fri
~p
Hace calor y solea
pq
Leemos o copiamos
pq
Disyuncin
exclusiva
o...o...
0 voy al Instituto o a
la discoteca
p q
Condicional
si... entonces
Si estudias entonces
pq
apruebas
matemtica
Aprueba
matemtica
Bicondicional
...si y slo si
Negacin
conjunta
Negacin
alterna
Ni... ni...
Si y slo si estudian
p q
Ni hace calor ni solea
pq
No es cierto que No es cierto que

...y...
Andrs estudia en el
ISTy en la UNCP
p|q
3.3 NUMERO DE COMBINACIONES PARA EL VALOR DE VERDAD DE

UNA PROPOSICIN
Si se tiene "n" proposiciones simples y llamadas a N como el

nmero de filas que resulta de todas las combinaciones posibles de las
V y F de estas proposiciones, entonces:
N = 2n, donde n : nmero de proposiciones simples. As tenemos:
N PROPOSICIONES
SIMPLES
N = 2n
TABLA DE
FILAS
N =21
N =22
N =23
N =24
16
3.4 CONECTIVOS LOGICOS Y SUS TABLAS DE VERDAD
3.4.1 LA NEGACIN
La negacin de la proposicin "p":
"p es la proposicin ~p", que se lee: "no p", cuya tabla de verdad es:
~P
Otros trminos que conducen a la Negacin son:
Es falso que ...
No es cierto que ...
No ocurre que ...
No es verdad que ...
No es el caso que ...
Es imposible que ...

Ejemplos:
1. Sea la siguiente proposicin:
"p" : 5 es un nmero par.
El valor de verdad de "p" es F, entonces negando se tiene:
~ p : 5 no es un nmero par.
~ p : 5 es un nmero impar.
2. Sea la siguiente proposicin:
"q" : Log 100 = 2 , el valor veritativo de "q" es V, entonces negando

tenemos:
~q : Log 100 = 2
~q : No es cierto que log 100 = 2
~q : Es imposible que log 100 = 2
~q : No es verdad que log 100 = 2
El valor de verdad de ~q es F.
3.4.2 LA CONJUNCION
La conjuncin de las proposiciones "p" y "q" es "p a q", que se lee: "p y q",
cuya tabla de verdad es:
pq
pq
VV
VF
FV
FF
Otros trminos equivalentes a la conjuncin son:

Tanto p, como tambin q.
No solo p, sino tambin q.
p, pero tambin q.
Ejemplos:
1. El 10% de 50 es 5 y el 30% de 20 es 6.
Se trata de la conjuncin de las proposiciones:
p : El 10% de 50 es 5.......(V)
q : El 30% de 20 es 6.......(V)
Luego "p q", ser verdadera slo si p y q son simultneamente

verdaderas y ser falsa en tos otros casos.
3.4.3 DISYUNCION INCLUSIVA
Disyuncin inclusiva de las proposiciones simples p y q es la

proposicin "p q" y se lee: "p o q", cuya tabla de verdad es:
pq
Pq
VV
VF
FV
FF
"Convendremos, a partir del significado cotidiano del conectivo "o", que "p v q" es
verdadera si por lo menos una de las proposiciones componentes es verdadera y
falsa slo si ambas son falsas. Ejemplos
1. 5 es un nmero natural o -7 es un nmero racional. Es del tipo de la
Disyuncin Inclusiva, donde
p : 5 es un nmero natural........(V)
q : -7 es un nmero racional......(V)
Luego, p q es verdad, segn la tabla de verdad.
2. La suma de los ngulos internos de un tringulo es 360 o es 90, entonces
se tiene:
p : La suma de los ngulos Internos de un tringulo es 360
(F)
q : La suma de los ngulos internos de un tringulo es 90
(F)
Luego, p v q = F
3.4.4 DISYUNCION EXCLUSIVA
El conectivo "O ... o ...", nos da la carga de separacin total; de
'disyuncin definitiva. La disyuncin exclusiva de las proposiciones simples
p y q es p y q y se lee: ,"0 p o q", cuya tabla de verdad es:
Pq
V
V
F
V
F
V
F
V
V
Tambin se considera a la disyuncin exclusiva como diferencia

simtrica y se simboliza por: p - * - q.
Ejemplos:
1. La capital del Per es Huancayo o Lima, pero no ambos. Se tiene:

p : La capital del Per es Huancayo.................................(F)
q : La capital del Per es Lima.........................................(V)
Luego: p * q = V
2. La suma de los tres primeros nmeros naturales es paro impar, pero
no ambos. Entonces:
p : La suma de los tres primeros nmeros naturales es par(V)
q : La suma de los tres primeros nmeros naturales es impar... (F)
Luego: p v q es V
3.4.5 LA CONDICIONAL
Dadas las proposiciones p v q, se denomina proposicin
condicional a la que resulta de unir p y q por el conectivo "si ... entonces",
que se denota por e! smbolo "", se lee: "si p, entonces q". La
proposicin p se denomina antecedente y la proposicin q, consecuente.
P
V
V
F
F
q
V
F
V
F
Pq
V
F
V
V
La condicional es falsa solamente cuando el antecedente es

verdadero y el consecuente es falso, siendo verdadera en todos los
dems casos.
Otros trminos que conducen a la condicional, son:
p solo si q
p es consecuencia para q
p luego q
p por lo tanto q
p de modo que q
p cada vez que q
Ejemplos:
1. Si p : 2 es un nmero impar......(V)
q : 2 es un nmero primo............(F)
Luego:
p q : 2 es un nmero impar, por consiguiente 2 es primo.
p q : 2 es un nmero par, entonces 2 es primo.
p : 2 es un nmero par, es suficiente para que 2 sea primo.
El valor de verdad de p => q es falso.
Si a=b, entonces a2=b2 donde:
p : a=b
q : a2=b2
Luego p q es verdad, y p y q toman el mismo valor veritativo en

cada caso.
FORMAS DE PROPOSICIONES CONDICIONALES: RECIPROCA, INVERSA Y

CONTRARECIPROCA
Toda proposicin condicional se le asocia otras tres proposiciones, igualmente

importante, en las cuales se demuestran teoremas, y son: Recproca, Inversa y
Contrarecproca.
Llamando tambin proposicin directa a la condicional: "pq" (si p entonces q),

entonces denominaremos proposicin:
RECIPROCA : De la implicacin "q p"
INVERSA : De la implicacin "~p q"
CONTRARECIPROCA: De la implicacin a la proposicin "~q ~p"
Las tablas de verdad correspondiente a las proposiciones mencionadas son:
PROPOSICIONES DIRECTA RECIPROCA INVERSA CONTRARECIPROCA
pq
qp
~p~q
~qp
3.4.6 LA BICONDICIONAL
Se simboliza por p q y se lee: "p si y solo si q". Es
aquella proposicin compuesta que es verdadera en los casos que
p y q tengan valores de verdad. (Ambas verdaderas o ambas
falsas) y es falsa en los casos que p y q tengan valores de verdad
opuestas; siendo su tabla de verdad:
P
pq
Otros trminos que conducen a la bicondicional es:
p es una condicin necesaria para q
p es equivalente a q
p es exactamente q cuando q
Ejemplos:
1. Hay energa elctrica, si y solo si las lluvias continan

P
q
2. Si p: log 100 =2............(V)
q : 100 = 102.........(V)
Entonces:
p q: log 100 = 2 si y solo si 100 = 102
(V)
3. Si x2 + 1 == O es una ecuacin exactamente cuando tenga una

solucin real.
Luego
p : x2 +1 =0 es una ecuacin
(V)
q : x2 + 1 =0 tener solucin real (F)
Finalmente p q es falso.
3.4.7 NEGACIN CONJUNTA O NICOD
El conectivo "Ni ... ni ..." se simboliza por , es negacin de las

proposiciones p o q, cuya tabla es.
Se sabe que: pq=~(p v q), es equivalente a la negacin de la disyuntiva

incluyente.
P
VV
VF
FV
FF
Ejemplo:
1. Ni - 2 es un nmero natural ni es un nmero primo, es
del tipo p | q, donde:
p : -2 es un nmeral...................(F)
q : -2 es un nmero primo..........(F)
Finalmente: p q es una proposicin verdadera (observa la tabla de verdad.
2. Csar Vallejo, no escribi los "Heraldos Negros", ni fue

poeta. La proposicin es falsa porque:
p : Csar Vallejo escribi los "Heraldos Negros".........(F)
q : Csar Vallejo fue poeta...................*......................(F)

3.4.8 NEGACIN ALTERNA O SHAFFER
Se simboliza por" " y se lee "No es cierto que p y q". pq=~(pq) es equivalente a
la negacin de la conjuncin.
p q
pq
V V
V F
F V
F F
EJERCICIOS DE APLICACIN
1. Indique cuales de los siguientes enunciados son proposiciones:
a. Un lenguaje de programacin es una ciencia.
b. Existe proposiciones falsas.
c. La computadora.
d. Abert Einstein fue un notable historiador.
e. Psame el disquette!.
f. Dos rectas paralelas se intersecan en un punto.
g. El 30% de 200 es 60.

Solucin:
Son proposiciones: a, b, d, f, y g que tienen un valor de verdad; No son

proposiciones c y e, por que no tienen un valor de verdad.
2. De las siguientes proposiciones:
I.
Es necesario que estudie Matemtica pura en la UNI, para que yo sea un

matemtico.
II.
No es cierto que: yo sea un matemtico o estudie matemtica pura en la

UNI.
III.
IV.
Yo estudio matemtica pura en la UNI o no soy matemtico.
Es suficiente que yo no estudie matemtica pura en la UNI para que no sea

un matemtico.
Cules de las proposiciones anteriores son equivalentes?
Solucin:
Sea p: yo estudio matemtico pura en la UNI.
q: soy matemtico.
Simblicamente se tiene.
q q=~q v p
I.
II.
~(~q v p)=q v p
III.
p ~q=~q p
IV. ~p =>~q=~~p v ~=p v ~q=~q v p

Luego: Son equivalente; I, III, y IV.
3. Formular el esquema molecular de la siguiente oracin: "Si fumo demasiado
entonces me duele la garganta, por lo tanto no fumo demasiado".
Sea:
p: Fumo demasiado,
q: Me duele la garganta.
Si fumo demasiado entonces me duele la garganta y
c)
p
~p
~p q
~p
p
d)
~p
~p
p
~q
~r
~q q
~p
~q
~q
q
3. Establecer la frmula que corresponde a los siguientes circuitos:

a)
c)
b)
d)
p
p
~p
p
~p
r
~r
~p
p
~q
A
A
B
B
a'
b'
a'
a
Solucin:
a) [p(pp)]~q
b) [(pq)~p][(~pp)(r~r)]
c) [A(AB][B(BA)]
d) [(aa)(bb)]a[(aa)b]
4. Simplifica el siguiente circuito

p
p
p
q
p
q
p
Solucin:
{[(p(pq)]p}{p[(pq)p]}
= (pp){p[p(pq)]}
Absorcin
= p[p(pq)]
Idemp. Absorc.
= p(pq)
Absorcin
= pq
Absorcin
a
b
5. Simplifica el siguiente circuito:

p
~q
p
~q
p
q
~q
~p
~q
{[p~q)(qp)][(p~q)(~q~p)]}~q =
= {[p~q)(pq)][(~qp)(~q~p)]}~q
Conmutat.
= {[p(~qq)][~q(p~p)]} ~q
Distributiva
= [(pC)(~qT)]~q
Complemento
= (p~q)~q
Elemento Neutro
= ~q(~qp)
Conmutativa
El circuito simplificado es
~q
6. Determina el esquema ms simple que se puede obtener del siguiente

circuito:
q
~r
~s
r
~s
~r
s
r
Solucin:
[(q~r)r]{~s[(~s~r)(sr)]
= [rq)(~s(TT)
= (rq)(~sT)
= (rq)~s
El circuito simplificado es:
q
~r
7. Simplifica el siguiente circuito:

q
r
q
r
p
q
p
p
q
r
[p(qr)][(pq)(qr)][r(pq)] =
= (pq)(pr)[(pq)(qr)](rp)(rq)
= (pq)(pr)[(pr)[(qp)(qr)](rq)
= (pq)(pr)[(q(pr)](rp)
= (pq)q(pr)(pr)(rq)
= q(pr)(rq)
= (pr)(rq)q
= (pr)q
El circuito simplificado es :
p
r
q
g) s(s~t)
7. LEYES DEL COMPLEMENTO
a. r r
b. ~(s~s)
c. t~t
d. (~p~p)
e. ~(~(~p))
f. ~(~(~(~p)...))/2n veces
8. LEYES DE MORGAN
a. ~(~r~s)
b. ~(~q~s)
c. ~[p(~qr)]
d. ~[p(~qr)]
9. LEY DE LA CONDICIONAL
a. ~q~s
b. (~qr)p
c. (pq)(q~s)
10. LEY DE LA DOBLE APLICACIN
a. ~q~r
b. ~s ~t
c. q p
d. ~r s
11. LEY DE LA DIFERENCIA SIMETRICA
~rs
a.
b. p~t
c. q r
SIMPLIFICACIN DE FORMULAS
Mediante las leyes del lgebra de Proposiciones. Se pueden efectuar
simplificaciones de modo que una proposicin compleja. Se puede reducir una
proposicin simple:
1. Simplificar: (~pq)p
Solucin:
(~pq)p =p(~pq)
= (p~p)(pq)
= F(pq)
= pq
(~pq)p = pq
2. Simplificar la proposicin: ~p~(pq)
Solucin:
~p ~(pq) = ~p(~p~q)
= (~p~p)~q
= ~p~q
= ~(pq)
~p~(pq) = ~(pq)
conmutativa
distributiva
complemento
identidad
Morgan
Asociativa
Idempotencia
Morgan
3. Simplificar el siguiente esquema molecular, utilizando las leyes del lgebra

proposicional.
~{~[(pq)p]~[(~q~q)(~p~p)]}(~pq)
Solucin:
= ~{~[(pp)q]~[(~q)(~p)]}(~p~q)
= ~{~(pq)~(~q~p)}(~p~q)
= ~{~(pq)(~q~p)}(~p~q)
= ~[(pq)(qp)](~p~q)
= ~[(pq)(pq)](~p~q)
= ~(pq)(~p~q)
= (~p~q)(~p~q)
= (~p~q)
Idempotencia
Idempotencia
Condicional y Morgan
Involucin
Conmutativa
Indepotencia
Morgan
Idempotencia
4. Simplificar:
~{~[(pq)p]~[(~q~q)(~p~p)]}(~p~q)
Solucin:
= [(~q~p) (~p~q)]~(pq)
= [(q~p)(p~q)]~(pq)
= [~(q~p)(p~q)]~(pq)
= [(~q~p)(p~q)]~(pq)
= [(~qp)p~q]~(pq)
= [~q(~qp)p]~(pq)
= (~qp)~(pq)
= (~qp)(~q~p)
= (~qp)(~p~q)
= ~q(p~p)
= ~qC
= ~q
Condicional
Idempotencia
Condicional
Morgan
Involucin
Conmutativa
Absorcin
Morgan
Conmutativa
Distributiva
Complemento
5. Dadas las proposiciones:

I) ~(pq]o(p~q)
II) ~(pq)(~pq)
III) ~(pq)(~p~q)
Indicar cuales son o no contradiccin.
Solucin:
I.
~(pq)(p~q)
p
V
V
F
F
q
V
F
V
F
~(pq)(p~q)
F V F V
V F V V
V F F F
V F V V
Por lo tanto: Es una Contingencia

OTRO MTODO
Simplificando: ~(pq)(p~q)
= p q p q
a
b
No es una contradiccin ni una tautologa ya que "a" y "b" no son
iguales ni opuestos.
II.
~(pq)(~pq]
p
V
V
F
F
q
V
F
V
F
~(pq)(~pq)
F
V
F V
V
F
F F
F
V
F V
F
V
F V
Por lo tanto: Es una contradiccin.

OTRO MTODO
Simplificando: ~(pq)(~pq)
= ~(~pq)(~p q)
a
b
C es una contradiccin porque "a" y "b" no son incompatibles.
III.
~(pq)(~p~q)
p
V
V
F
F
q
V
F
V
F
~(pq)(~p~q)
F
V
F V
V
F
F F
F
F
F F
F
V
F V
Por lo tanto: Es una contradiccin.
OTRO MTODO
~(pq)(~p~q)
= ~[(pq)(qp)](~p~q)
= ~[(~pq)(~qp)][(p~q)(q~p)
= ~[(~pq)(~qp)][(~pq)(~qp)
~b
b
= C, contradiccin.
C es una contradiccin porque "a" y "b" no son incompatibles.
Finalmente son contradicciones II y III.
6. La frmula lgica:
[(pq) r][p(qr)], representada UNA:
a) tautologa
b) Contradiccin
c) Contingencia
Solucin:
Mediante tablas de verdad:
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r [(pq)r] [p(qr)]
V V V V V V V V
F V F F V V F F
V F V V V V V V
F F V F V V V V
V F V V V F V V
F F V F V F V F
V F V V V F V V
F F V F V F V V
El resultado es una Tautologa. Simplificando, se tiene:

[(pq)r][p(qr)] = [{~(pq)r][~p(qr)]
= [(~p~q)r][~p(~qr)]
= (~p~qr)(~p~qr)
a
a
= T, es una tautologa.
7. Si p*q=p~, simplificar: (~*s)(*~s)
Solucin :
d) N.A.
(~*s)(*~s) = (~~s)(~s)
= ~(~~s)(s)
= s(s)
= s
Definicin
Condicional, Involucin.
Conmutativa
Absorcin
8. Si p/q=~p~q, la proposicin pq, como se escribe en trminos de:

Solucin:
pq = (pq)(qp)
= (~pq)(~qp)
= ~(~p/q)~(q~p)
Debido a que:
(~pq) = ~(p~q)
(~qp) = ~(q~p)
= ~(~p/q)~(~q/p)
Ya que:
(p~q)=~p/q
(q~p)=~q/p = (~p/q)/(~q/p).
Bicondcional
Condiconal
CIRCUITOS CONMUTADORES Y CUANTIFICADORES

1. CIRCUITOS CONMUTADORES
Los circuitos conmutadores o conmutacionales, son circuitos elctricos que
tienen conmutadores, que dejan pasar la corriente o interrumpen la circulacin de
ella.
La palabra designa todo aparato que dejan pasar la corriente, o impiden su
paso.
Se tiene como ejemplo de conmutador: El Interruptor elctrico, mediante el
cual prendemos o apagamos la luz.
Cuando se prende la luz se ha cerrado el conmutador, que se simboliza por
"V" o "1".
Cuando se apaga la luz se ha abierto el conmutador, que se simboliza por
"F" o "0".
En un conmutador puede considerarse como una variable que solo puede
tomar dos valores "V" o "F".
En tal terminologa moderna considerarse como una variable que solo
puede tomar dos valores "V" o "F".
En tal terminologa moderna se acostumbra designar los conmutadores
mediante variables proposicionales: p, q, y r...
Conmutador
Cerrado
Foco prendido
Conmutador
Abierto
Foco apagado
CIRCUITOS EN SERIE:
Es un circuito con dos conmutadores, uno tras otro.
Ejemplo:
La conexin en serie equivale a la CONJUNCIN

CIRCUITOS EN SERIE:
Es aquel que tiene dos conmutadores, pero colocados de tal manera que hasta
que uno este cerrado para que la corriente circule
p
q
Como se observa, es posible establecer una correspondencia entre los enlaces

de proposiciones y los circuitos elctricos se emplean los medios y los
procedimientos de la lgica proposicional.
En el procesamiento electrnico de datos, esta conversin ha conducido a
importantes resultados. Por tanto la lgica proposicional tiene aplicacin directa
en la direccin y conduccin cientfica de la produccin, ya que las relaciones
fundamentales pueden presentarse en una forma relativamente sencilla.
Dos conexiones se denomina elctricamente equivalentes, cuando el circuito se
comporta de la misma forma
La aplicacin lgica proposicional en el anlisis y sntesis de circuitos elctricos es
de gran importancia para la tcnica, pues estos son aplicados reiteradamente en
la misma. Estrechamente a esto encontramos una ciencia muy Joven LA
CIVERNETICA. Su conocimiento nos ayuda en el dominio de los problemas, que
hasta hace pocos aos parecan simplemente imposibles de resolver, autmatas
inteligentes son capaces de manejar sistemas mecnicos complejos, segn los
deseos del hombre.
EJERCICIOS
1. Qu valores deben tomar p y q, si?
~(pq) (qp) es verdadera.

Solucin:
p q ~(pq) (qp)
V V F V F V
V F V F F F
V V V F F F
F F V F V V
p y q deben tomar el valor de F, para que la expresin molecular se verdad.
2. Disear los circuitos correspondientes a:
a) [(~pq)p](p~q)
b) [(p~q)(pq)][(p~q)(~qq)]
c) {[(p~q)(~pq)]~p}[(~pp)(~qq)]
d) {[~p(p~q)]~r}[(~qq)(~p~p)]
Solucin:
a)
b)
p
q
p
p
qw
p
~p
p
q
~q
~q
PRUEBA DE AUTOEVALUACIN I UNIDAD

1. Indicar cual de las siguientes no es una proposicin:
a) Maana voy al cine.
b) La hormiga es un insecto.
c) 5 es un nmero par.
d) Si x = 3, entonces x2 = 9.
e) Si un tringulo es equingulo, entonces es equiltero.
2. Si las proposiciones p, q y r tienen los valores de verdad V, V, y F,

respectivamente. Cul ser el valor de verdad de la proposicin:
(pq)(pr)
a) V
b) F
c) VVF
d) FVV
e) N.A
3. Si la proposicin:
[(pq)~q]q
Es falsa. Cules son los valores de verdad de las proposiciones p y q,
respectivamente?
a ) VyV
b) VyF
c)FyV
d) F y F
e) N.A
4. La proposicin equivalente a:
[(~qp )(~p~ q)][~(pq)]
Es:
a) ~q
b) ~p
c) p~q
d) ~pq
e) N.A
5. Dada la siguiente tabla de verdad, Cul es el conectivo que relaciona a las

proposiciones:
p q
pq
p q (pq)(pq)
VV
V
V
V
VF
F
F
V
FV
F
F
V
FF
F
V
V
a)
b)
c)
d)
e) N.A
6. Indicar la proposicin que corresponde al circuito:
q
~q
~p
a)
b)
c)
d)
e)
p
q
(pq)[~p(~qp q ) ]
(pq)[~p(~qp q ) ]
(pq)[~p(~qp q ) ]
(pq)[~p(~qp q ) ]
(pq)[~p(~qp q ) ]
7. Seale la proposicin que no corresponde a una negacin de la proposicin:
x A,X + 3 < 10
a) xA, x + 3<10
c) ~(xA),x + 3<10
e) xA,~( x + 3<10)
b) xA, x + 310
d) xA, x + 310
8. Si A = {-3, -2, -1,0, 1 , 2 , 3}, determinar los valores de verdad de las

proposiciones:
I) V x C A , x + 2 < 6 .
II) x C A, 2x -4 = 0.
III) V x C A , x - 3 > 0 .
9. Seale la proposicin que no corresponde a una tautologa:
a) (pq)(pq)
b) ~(p~q)
c) (pq)(~p~q)
d) (pq)(qp)
e) (pq)[~(p~q)]
10. Dadas las frmulas:
I) (~pq)p
II) (pq)(pq)
III) (p~q)(~p~q)
Luego son lgicamente equivalentes:
a) I y III
b) Todas
CLAVE DE RESPUESTAS
01.
02.
03.
04.
05.
06.
(A)
(A)
(B)
(A)
(C)
(A)
c) Ninguna
d) I y II
e) II y III
07.
08.
09
10.
(B)
P)
(C)
(E)
NOTA: Por cada respuesta acertada 2 puntos. Verifique su respuesta y si tuvo

xito continu, sino retroceda.
TABLA DE VALORACIN
Para esta evaluacin y para las de las otras unidades de aprendizaje
debe tener en cuenta:
CONTAR EL NMERO DE ACIERTOS EN CADA AREA DE SUS
AUTOEVALUACIONES Y UBICARSE EN LA SIGUIENTE ESCALA:
ENTRE 17 Y 20
ENTRE 13 Y 16
ENTRE 9 Y 12
ENTRE 05 Y 08
ENTRE 0 Y 04
EXCELENTE! Felicitaciones.
BIEN! Debe sentirse satisfecho.
REGULAR! Ud. Podra hacerlo mejor, intntelo.
MAL! Debe revisar nuevamente la unidad con la
finalidad de aprender y nuevamente evaluase.
SIN COMENTARIO! No cabe duda que no hubo
inters de su parte o la unidad no fue suficientemente
clara y eficaz, se le pide sugerencias para mejorarla
EJERCICIOS Y PROBLEMAS PROPUESTOS

-
1. De los enunciados siguientes:

2 es un nmero impar.
El Per es un pas latino".
"La ballena es un animal latino".
3+2=6
x+y=6
Mario est vestido?
Cuntas y cuales son proposiciones lgicas?
2. Cul de las siguientes proposiciones no pertenecen al
grupo formado por las dems?
Pedro trabaja, Juana estudia.
Mara trabaja, adems estudia.
Juana, Mara, trabajan y estudian.
Pedro ni estudia ni trabaja.
Juan trabaja luego Juan estudia
A) Tautologa.
B) Contradiccin.
C) Contingencia.
D) Equivalencia.
10. De la falsedad de: (p~q)(~r~s)
Se deduce que:
I. ~(~q~s)~p
II. ~(~rs)(~pq)
III. p~[q~(sr)]
11. Sabiendo que las proposiciones: (pq) y (qr) son falsas.

Cules de las siguientes proposiciones son verdaderas?
- (~pr)s)
- ~[p(~q~p)]
- [~p(q~r)][(pq)~(qr)
12. Si se define: p/q=~p~q y se sabe que:
- (r/~s)~r es una proposicin V.
- s (s/~r) es una proposicin F.
Hallar el valor de verdad de: ~s/(r/s).
13. De las siguientes proposiciones. Cules son equivalente lgicas?
IV. ~(qp)(qp)
V. [(~p~q)~q]~[(pq) q]
VI. ~(pq)[(p~q]~q]
A) I y II.
B) l y III.
C) II y III.
D) Todas.
E) No hay equivalencia lgica.
14. Simplificar: ~[~(pq)~q]p
15. Simplificar: [(pq)~p](~qp)
16. Simplificar: ~[(pq)~r](s~s) y formar su tabla de verdad.
17. Simplificar: [p(qr)][(pq)(qr)]r(pq)
18. Si: p*q=~qp, simplificar: (~t*s)(t*~s)
19. Si: definimos "I" como: (p I q)=(pq)~(pq)
Entonces p I q equivale a:
A) (pq)v(p^q)
B) ~pq
C) pqD) p~q
20. Si: p I q = (~p)(~q), la proposicin: ~(pq) se escribe en trminos de I.
21. Si: p*q se define por la tabla:
p
V
V
F
F
q
V
F
V
F
p*q
V
V
F
V
Simplificar: (p*q)*q
22. La proposicin ms simple equivalente a: ([(~q) (~p)] (~q)]~(pq) es:
A) ~p
B) ~q
C) p(~q)
D) ~(pq)
E) pq
23. La siguiente proposicin: [(~pq)~(p~q)][p~r] Es equivalente a:
A) [pq]~[pr]
B) (pq)~(pr)
C) (pq)(pr)
D) ~(pq)r
E) (pq)(pr)
20. De las proposiciones siguientes:
I. Es necesario que Juan no estudie en la UNI para que Luis viva en el
Rimac.
II. No es cierto que Luis viva en el Rimac y que Juan estudie en la UNI.
III. Luis no vive en el Rimac y Juan no estudia en la UNI. Cules son
equivalentes entre si?
A) Solo I y II.
B) Solo I y III.
C) Solo II y III.
D) 1,11 y III.
E) No existe equivalente alguna.
25. Cul(es) de las siguientes proposiciones es equivalente a: "Es
necesario pagar 100 nuevos soles y ser mas joven para ingresar
al baile".
I. No ingresar al baile o pagar 100 nuevos soles y ser joven.
II. Pagar 100 nuevos soles o ser joven, y no ingresar al baile.
III. Pagar 100 nuevos soles y ser joven, o no ingresar al baile.
A) Solo I.
B) Solo II.
C) Solo III.
D) Solo I y II.
E) Solo II y III.
26. "Si este es un buen curso entonces vale la pena
llevarlo, o bien la matemtica es fcil o este curso no
vale la pena llevarlo. Pero la matemtica no es fcil. Por
lo tanto este es un buen curso".
A) Razonamiento vlido, es una tautologa.
B) Razonamiento invlido, es una contingencia.
27. Diga si el siguiente razonamiento: "Si un hombre es
casado, tiene problemas personales, este hombre no
tiene problemas. Por lo tanto este hombre es casado y
no .tiene familia". Es vlido o no.
A) Si, porque no es una tautologa.
B) No, porque es una contingencia.
28. Si se levanta aire hmedo entonces refrescar. Si refresca
entonces se formaran nubes. Se levanta aire hmedo por
lo tanto se formarn nubes.
B) razonamiento invlido, es una contingencia.
29. Llueve o el campo est seco. Si llueve entonces
jugaremos dentro. Si el campo est seco entonces
jugaremos bsquet por lo tanto jugaremos dentro o
jugaremos bsquet.

B) razonamiento invlido, es una contradiccin.
30. Si el inters no es egosta, es la fuerza vital de las
personas y es espontneo. El inters no es la fuerza vital
de las personas pero es espontneo. Por lo tanto el inters
es egosta.
A) Razonamiento vlido, porque es una tautologa.
B) razonamiento invlido, porque es una contingencia.
31. Construir el circuito lgico de las funciones booleanas.
A) pq
B) (pq){[(~p)r]~q}
32. Expresar mediante funciones booleanas:
A
a'
b'
a'
a
p
p
~q
q
q
p
q
p
~p
p
p
~p
r
q
q
~q
r
r
q
33. Simplifica el circuito:

p
q
~p
34.
~q
Simplifica
p
q
r
p
q
q
r
p
q
~p
q
~p
~p
r
~r
B
B
B
35.
Dado el circuito correspondiente a la funcin booleana: (p A q)(q A p)

A cul de los circuitos, este es equivalente?
A)
p
B)
~p
C)
D)
p
~p
p
~q
p
q
q
r
r
q
p
q
~r
32.
d) pq = (p)q
~p
p
e)
p
~p
b'
a'
a
E)
F)
a'
q
~q
a
b
r
f) pq = (pq)[(~p)(~q)]
p
q
~p
~q
33.
g) pq[~pq]
h) (pq)[(~pr)q]
i) (pqr)[(~pr)q]
34. pq(~p~q)
35.
r
p
q
36.
p
q
~p
RESPUESTA DE LOS PROBLEMAS PROPUESTOS

1. 5; la primera, segunda, tercera, cuarta y sptima proposiciones.
2. La ltima.
3. E.
4. [(~pq)q]p
5. B.
6. B
7. Tautologa
13. C.
14. pq
15. q
16. pqr
17. (pr)q
18. ~(s)
19. (pq)(pq)
20. [~pq][~qp]
21. p*q
22. ~q
23. (pq) (pr)
24. Solo I y II
25. Solo III
26. A
27. B
28. A
29. A
30. A
31.
a)
p
q
r

Aroni

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Aroni

Cargado por

Copyright:

Formatos disponibles

Introduccin a la Lgica Matemtica

Christopher Lawrence ARONI YANGALI

Introduccin a la Lgica Matemtica

Christopher Lawrence ARONI YANGALI

Introduccin a la Lgica Matemtica

el estudio del presente manual auto

El captulo te absuelve la siguiente

Christopher Lawrence ARONI YANGALI

Introduccin a la Lgica Matemtica

Con la clave de respuestas,

2.3 DISPONE DE SEMANAS

Estoy listo para la Evaluacin

Christopher Lawrence ARONI YANGALI

Introduccin a la Lgica Matemtica

Introduccin a la Lgica Matemtica

2.1 LEE LA INTRODUCCIN, INDICE

2do Dedica UNA PRIMERA

Cmo leo el Tema?

Punto por punto Hasta culminarlo!

Christopher Lawrence ARONI YANGALI

1. NOCIONES DE LOGICA PROPOSICIONAL

La lgica es la ciencia de los principios de la inferencia vlida.

Es un conjunto de palabras que niega o afirma una verdad, pero

Estas se denotan con letras minsculas, tales como:

En este caso que sean muchas proposiciones se

Ten en cuenta de aquellos enunciados que expresan una pregunta, una

PROPOSICIONES SIMPLES O ATOMICAS

Son aquellas que estn constituidas por una

q : Los peruanos no son latinoamericanos.

2.2 PROPOSICIONES COMPUESTAS O MOLECULARES

Son aquellas que estn constituidas por dos o ms proposiciones

p : 5 es un nmero primo y es un nmero par.

q : El cuadrado es un slido o un polgono.

r: El manzano crece, entonces lo han regado o ha llovido.

3. OPERADORES O CONECTIVOS LOGICOS

Se les llama tambin smbolos coligativos y son aquellos smbolos que

3.1. OPERADOR SINGULAR

Es aquel que afecta solamente a una proposicin simple. La

3.2. OPERADOR BINARIO

Es aquel que afecta a dos o ms proposiciones y son:

A continuacin mostramos un diagrama, donde se seala su

OPERADORES Y CONECTIVOS LOGICOS

Hace calor y solea

Ni hace calor ni solea

No es cierto que No es cierto que

3.3 NUMERO DE COMBINACIONES PARA EL VALOR DE VERDAD DE

Si se tiene "n" proposiciones simples y llamadas a N como el

3.4 CONECTIVOS LOGICOS Y SUS TABLAS DE VERDAD

La negacin de la proposicin "p":

Otros trminos que conducen a la Negacin son:

Es falso que ...

No es cierto que ...

No ocurre que ...

No es verdad que ...

No es el caso que ...

Es imposible que ...

"p" : 5 es un nmero par.

El valor de verdad de "p" es F, entonces negando se tiene:

2. Sea la siguiente proposicin:

"q" : Log 100 = 2 , el valor veritativo de "q" es V, entonces negando

~q : No es cierto que log 100 = 2

~q : Es imposible que log 100 = 2

~q : No es verdad que log 100 = 2

Otros trminos equivalentes a la conjuncin son: