Вы находитесь на странице: 1из 47

Introduccin a la Lgica Matemtica

Christopher Lawrence ARONI YANGALI


Pgina | 1

Introduccin a la Lgica Matemtica


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

Christopher Lawrence ARONI YANGALI


Pgina | 2

Introduccin a la Lgica Matemtica

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

Christopher Lawrence ARONI YANGALI


Pgina | 3

Introduccin a la Lgica Matemtica


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

Christopher Lawrence ARONI YANGALI


Pgina | 4

Introduccin a la Lgica Matemtica


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.
Christopher Lawrence ARONI YANGALI
Pgina | 5

Introduccin a la Lgica Matemtica


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.

Christopher Lawrence ARONI YANGALI


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.
A) Razonamiento vlido, es una tautologa.
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.

A) Razonamiento vlido, es una tautologa.


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