Matematica Logica

TEMA:
CLASIFICACIN DE LAS PROPOSICIONES
COMPUESTAS
OBJETIVO: conocer las proposiciones simples y compuestos y el empleo
correcto de los conectivos logicos
1. CONJUNCIN:
Es aquella proposicin compuesta que se caracteriza porque contiene el
conectivo lgico y o sus equivalentes (adems, sin embargo, no obstante,
pero, a la vez,..) los que se simbolizan as:
Para hallar el valor de la verdad de una conjuncin se utilizar la
siguiente tabla:
p y q
p
V
q
V
q
V
Ejemplo: Halle el valor de la verdad de las siguientes proposiciones:

a) La ballena es un animal mamfero pero vive en el mar
Luego:
p: La ballena es un mamfero
q: La ballena vive en el mar
por lo tanto: v(p
v(p)=V
v(q)=V
q)=V
V V
b) Cuba y Chile son pases sudamericanos

Luego:
1
7
p: Cuba es un pas sudamericano
v(p)=F
q: Chile es un pas sudamericano
v(q)=V
por lo tanto: v(p
q)=F
F V
c) 8>12
12<8
Luego:
r: 8>12
v(r)=F
s: 12<8
v(s)=F
por lo tanto: v(r
s)=F
F F
2. DISYUNCIN INCLUSIVA:
conectivo lgico o el que se simboliza as:
Para hallar el valor de la verdad de una disyuncin inclusiva se utilizar
esta tabla:
p q
Ejemplo:
p
V
q
V
q
V
Halle el valor de la verdad de las siguientes proposiciones:

a) 8 es mayor que 4 7 es menor que 5
Luego:
p: 8 es mayor que 4
v(p)=V
q: 7 es menor que 5
v(q)=F
por lo tanto: v(p
q)=V
V F
b) Caman Jaen son ciudades del Per

Luego:
p1: Caman es una ciudad del Per
v(p1)=V
p2: Jan es una ciudad del Per
v(p2)=V
por lo tanto: v(p1
p2)=V
V
c) Todo tringulo en el plano tiene tres ngulos rectos dos ngulos

obtusos
Luego:
p: Todo tringulo en el plano tiene tres ngulos rectos
v(p)=F
q: Todo tringulo en el plano tiene dos ngulos obtusos
v(q)=F
por lo tanto: v(p
q)=V
F F
3. DISYUNCIN EXCLUSIVA:

conectivo lgico O...o... el que se simboliza por:
Para hallar el valor de la verdad de una disyuncin exclusiva se utilizar
esta tabla:
O p q
p
V
q
V
q
F
Ejemplo:
a) O William Shakespeare es autor de Hamlet es autor de la Iliada
Luego:
p: William Shakespeare es autor de Hamlet
v(p)=V
q: William Shakespeare es autor de la Iliada
v(q)=F
por lo tanto: v(p
q)=V
V F
4. CONDICIONAL:
conectivo lgico si...entonces... el que se simboliza por:
, luego p
q se
lee si p entonces q.
La tabla de verdad de una condicional es:
p
V
q
V
q
V
Formando Profesionales De Calidad Para Un Mundo Empresarial
101
0
F
F
V
En la condicional a p se le llama antecedente y a q se le llama
consecuente. Se observa de la tabla que la condicional es falsa cuando el
antecedente es verdadero y el consecuente es falso. Por otro lado podemos
decir que conectivos condicionales son tambin los trminos: porque, puesto
que, ya que, si, cuando, cada vez que, etc. aunque estos se caracterizan
porque despus de estos conectivos est el antecedente.
Ejemplo:
a) Si: 5+3=7 entonces 7<6
Luego:
p: 5+3=7
(antecedente)
v(p)=F
q: 7<6 (consecuente)
por lo tanto: v(p
v(q)=F
q)=V
F F
b) Si los monos son animales entonces la Tierra es plana

Luego:
p: Los monos son animales
(antecedente)
v(p)=V
q: La Tierra es plana
(consecuente)
v(q)=F
por lo tanto: v(p
q)=V
V
c) 16 es mltiplo de 2 por que 16 es nmero par
Luego:
p: 16 es mltiplo de 2
(antecedente)
v(p)=V
q:16 es nmero par
(consecuente)
v(q)=V
por lo tanto: v(q
p)=V
V
Proposicin Recproca:
Dada la proposicin condicional p
a la proposicin que se denota por q
q , se llama proposicin recproca
p.
Ejemplo:
La proposicin directa: p q
Si x es par, entonces es mltiplo de 2
La proposicin recproca: q p
Si x es mltiplo de 2, entonces, x es par
Proposicin Inversa:
la proposicin que se denota por p
Ejemplo:
q.
q , se llama proposicin inversa a
Si Patricia tiene 40 aos, entonces es joven
La proposicin inversa:
Si Patricia no tiene 40 aos, entonces no es joven
Proposicin Contrarrecproca:
a la proposicin que se denota por q
q , se llama proposicin recproca

p.
Ejemplo:
Si dos rectas son perpendiculares a una misma recta, entonces son
paralelas
La proposicin contrarrecproca:
Si dos rectas no son paralelas, entonces no son perpendiculares a una

misma recta
5. BICONDICIONAL:
Esta proposicin compuesta se caracteriza porque tiene el conectivo
lgico si y solo si cuyo smbolo es:
Para hallar el valor de la verdad de una bicondiconal se utilizar la

siguiente tabla:
p si y solo si q
p
V
q
V
q
V
La bicondicional est definida como la conjuncin de la proposicin

condicional con su contrarrecproca.
p
q equivale a
(p q)
(q p)
Ejemplo:
a) 2<4
12+3 < 4+5
Luego:
p: 2<4
v(p)=V
q:12+3 < 4+5

por lo tanto: v(p
v(q)=F
q)=F
V
b) Alberto Andrade es alcalde de Lima si y solo si gana las elecciones

municipales del 17 de noviembre.
Luego:
p: Alberto Andrade es alcalde de Lima
v(p)=F
q: Alberto Andrade gana las elecciones municipales del 17 de

noviembre
por lo tanto: v(p
v(q)=F
q)=V
F
6. NEGACIN:
conectivo lgico no el que se simboliza por:
. Para hallar el valor de la
verdad de una negacin se utilizar la siguiente tabla:

p
V
p
F
Ejemplo:
a) Hoy no es mircoles.
Luego:
p: Hoy es mircoles
p: Hoy no es mircoles
v(p)=F
v( p)=V
Otras formas de expresar la negacin es utilizando los trminos no es el

caso que, es falso que, no es cierto que, etc. Aunque en estos casos
generalmente la negacin niega a proposicones compuestas.
Ejemplo:
1) No es el caso que 12 sea mltiplo de 4 y que 24=16
Luego:
p: 12 es mltiplo de 4
q: 24=16
Entonces la proposicin la simbolizaremos as: (p
q)
Cmo establecer jerarqua entre los conectivos lgicos?

La finalidad de los signos de agrupacin es darle mayor o menor
jerarqua a los conectivos lgicos. As en general, la tiene menos 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 coleccin.
PRCTICA
1. Exprese simblicamente las siguientes proposiciones:
a) O Alex Couri es Ministro del Interior o alcaldesa de San Borja.
b) Miguel se va de compras con su enamorada, si consigue trabajo en esta
semana.
c) Nuestra promocin viajar a fin de ao a Huaraz o a Chavn, siempre que
todos los alumnos participen de todas las actividades.
d) Jos aprueba el examen de Matemtica I si y solo si estudia toda la
semana.
e) Eva llegar tarde a clases porque no se levanto temprano el da de hoy.
f) No es cierto que 5 22
20 y (24+20) es divisible por 9.
g) Si maana no es domingo entonces no se trabaja.

h) No es cierto que si Almendra se levanta temprano entonces llegar tarde
a trabajar.
2. Formule la siguiente proposicin: Si fumo demasiado entonces me duele la
garganta; y me duele la garganta, por lo tanto fumo demasiado
3. En las siguientes proposiciones compuestas analice y explique las

condiciones que deben cumplir para que estas puedan ser consideradas
como verdaderas o falsas.
a) El 80% de los accidentes areos tienen su origen en errores humanos
los aeropuertos del pas no tienen los radares necesarios para guiar a los
pilotos.
b) La ballena es un animal mamfero y vive en el mar, puesto que tiene una
respiracin pulmonar.
c) Si Garri Kasparov vence a Deep Junior entonces la inteligencia del
hombre es superior a la computadora.
d) Habr mayor inversin extranjera en el pas porque Alejandro Toledo

viajar a Espaa e Italia a firmar importantes convenios de cooperacin.
e) Si Uruguay queda entre los primeros cuatro puestos en el campeonato
sub 20 entonces clasifica al Mundial de Ftbol de Emiratos Arabes
Unidos.
3. De las siguientes proposiciones compuestas, indique el valor de la verdad

que corresponda a cada una de ellas:
a)
24
>12 v
144
<8
b) Si: 5+3=7 entonces 7<6

c)
16
=4 y -32=9
d) 2<4
12+3 < 4+5
e) La suma 6+3 tambin es un natural puesto que 6 y 3 son nmeros

naturales
f) No es verdad que: 8+2=6 o 6+1=7
4. Dadas las proposiciones,

prspero industrial
p: Marcos es comerciante q: Marcos es un
r: Marcos es ingeniero. Simboliza el siguiente
enunciado: Si no es el caso que Marcos sea un comerciante y un prspero

industrial, entonces es ingeniero o no es comerciante.
5. Dadas las proposiciones q: 4 es un nmero impar, p y r cualesquiera tal

que
es verdadera, halle el valor de verdad de los
siguientes esquemas moleculares:

(1)
(2)
(2) r
(3)
(3) r
q
p q
p
q p
6. Si: p: Roberto vendr, q: Roberto ha recibido una carta y r: Roberto est

interesado todava en el asunto. Simbolizar los siguientes enunciados.
a) Roberto vendr, si ha recibido la carta, siempre que est interesado
todava en el asunto
b) O Roberto vendr porqu ha recibido la carta o no est interesado
todava en el asunto
c) Roberto vendr si y solo si ha recibido la carta o vendr porque est
interesado todava en el asunto
SEMANA 3
TEMA:
ESQUEMAS MOLECULARES
OBJETIVO: Emplear correctamente los signos de agrupacin en cada

esquema lgico y darle jerarqua al conectivo.
Tambin llamados frmulas lgicas. Se denomina as a la combinacin
de variables (proposiciones) y operadores (o conectivos lgicos) por medio de
los signos de agrupacin. En cada esquema molecular solo uno de los
operadores es el de mayor jerarqua y es el que le da nombre a dicho
esquema.
Ejemplo:
1)
Este es un esquema condicional por ser

el conectivo de mayor jerarqua
2) (p
p Este es un esquema bicondicional por ser el

conectivo de mayor jerarqua
3)
(p
( p
r)
Este es un esquema negativo por ser el

conectivo de mayor jerarqua
Cmo establecer jerarqua entre los conectivos lgicos?

La finalidad de los signos de agrupacin es darle mayor o menor
jerarqua a los conectivos lgicos. As en general, la tiene menos 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 coleccin.
Ejemplo:
1)
No es el caso que 6 sea un divisor de 15 que 13 sea un

nmero primo
Luego:
p: 6 es divisor de 15
202
0
q: 13 es nmero primo
Entonces la proposicin la simbolizaremos as: (p
q)
Siempre los conectivos que estn fuera del signo de agrupacin tienen
mayor jerarqua que todos los que se encuentran dentro del mismo. En este
caso como observa
la negacin
tiene mayor jerarqua que la
disyuncin inclusiva , porque est fuera del parntesis.

2)
Si el testigo no dice la verdad, entonces Juan es inocente o

culpable
Luego:
p: El testigo dice la verdad p: El

testigo dice la verdad q: Juan es
inocente
r: Juan es culpable
Entonces la proposicin la simbolizaremos as:

p
(q
r)
En este caso observe que la condicional

disyuncin inclusiva
tiene mayor jerarqua que la
, porque est fuera del parntesis. Pero, la
negacin tambin est fuera del parntesis? En este caso la negacin

tambin tiene mayor jerarqua que la por estar fuera del parntesis, sin
embargo al comparar la
con la
, la condicional tiene mayor
jerarqua. Recuerde que siempre la negacin tiene menos jerarqua que

todos los dems conectivos. Por lo tanto la frmula es un esquema
condicional.
212
1
EVALUACIN DE ESQUEMAS MOLECULARES:

Evaluar un esquema molecular significa determinar si la frmula lgica
es una tautologa, una contradiccin o una contingencia.
Tautologa:
es cuando en la tabla de verdad todos los valores de

la verdad son verdaderos.
Contradiccin:
es cuando en la tabla de verdad todos los valores de

la verdad son falsos.
Contingencia:
es cuando en la tabla de verdad los valores de la

verdad resultan verdaderos o
Ejemplo: Evaluar la siguiente frmula lgica: [(p

P
V
V
F
F
q
V
F
V
F
{ (p q)
V
F
V
V
F
F
F
F
q) ( q)] ( p)
( q)
F
V
F
V
F
F
F
V
V
V
V
V
( p) }
F
F
V
V
es una Contradiccin
Ejemplo: Evaluar la frmula lgica:
(p q)
[( q)
( p)] y diga si es una
tautologa, una contradiccin o una contingencia.

p
V
V
F
F
q
V
F
V
F
F
V
V
V
(p q)
V
F
F
F
F
F
V
V
[(q)
V
F
V
F
V
F
V
V
( p)]
F
F
V
V
es una Contingencia
Ejemplo:
Evaluar la frmula lgica:

[ p
(qv r)]
[( p
q) v ( p v r ) ]
y diga si es una tautologa, una contradiccin o una contingencia.
p q r [ p
V V V F
V V F F
V F V F
V F F F
F V V V
F V F V
F F V V
F F F V
F
F
F
F
V
V
F
V
(q
V
V
F
F
V
V
F
F
v
V
V
F
V
V
V
F
V
r)]
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
[( p
F
F
F
F
F
F
F
F
V
V
V
V
V
F
V
F
q) v
V F F
V F F
F F F
F F F
V V F
V V V
F F F
F V V
es una Tautologa
Ejemplo: Si es verdadera la negacin del siguiente esquema:
[(p
q)
(rvs)]
Deducir el valor de los siguientes esquemas moleculares:

a)
[(p
q)
b)
(q
c)
{(r
x)
r ]
r)
[( p
(s
w)] ]
q)
s]}
Solucin: Primero debemos deducir los valores de p, q, r y s

Por dato:
[ (p
q)
(rvs) ]
es verdadera
V
V F F
V
F
F
Luego:
v(p)=V ; v(q)=F ; v(r)=F ; v(s)=F
Reemplazando los valores de p, q, r y s :

a)
[(p
V
q)
F
r ]
(p v r) ]
V
V
V
V
V
F
V
F
F
V
F
b)
(q
r)
F
(s
w)] ]
F
V
F
V
c)
{(r
x)
[(p
q)
V
s]}
F
F
F
F
V
V
F
SEMANA 4
TEMA:
EQUIVALENCIA DE ESQUEMAS MOLECULARES:
OBJETIVO: Determinar cuando dos esquemas logicos son equivalentes

Dos esquemas moleculares son equivalentes (lgicamente) si las tabla
de verdad de dichas frmulas son iguales para los valores correspondientes de
las componentes.
Otros autores la definen como: si al unir dos esquemas moleculares a
travs de la bicondicional
el resultado es una tautologa entonces se dice
que estas frmulas son equivalentes. La equivalencia se denota as:

Luego si A y B son dos esquemas moleculares equivalentes su
representacin es del siguiente modo: A
Ejemplo:
p q es equivalente a
B
p q
porque tienen la misma
tabla de verdad.
P
V
V
F
F
q
V
F
V
F
p q
V
F
V
V
p
F
F
V
V
V
F
V
V
q
V
F
V
F
Observe que ambas frmulas tienen los mismos valores de

verdad (y en el mismo orden), por lo tanto los dos esquemas son
equivalentes, y se denota as:
p q
p q
Ejemplo: Diga Ud. si las siguientes frmulas lgicas son equivalentes:

p
p
V
V
F
F
(q p)
q
V
F
V
F
q
V
F
V
F
Por lo tanto:
F
V
V
V
p
F
F
V
V
(q p)
F
F
F
V
(q p)
V
V
V
F
EJERICICIOS:
1. Dadas las siguientes proposiciones:
I) ( p
q)
II) ( p
q)
III) ( p
q)v
IV) ( p
q)
(pvq)
V) ( p
q)
(pv q)
VI) ( p
q)v( p
q)
Indicar cul ( cules) es una Contingencia

2. Alguna de las siguientes proposiciones es una Tautologa?
a)
[(pv q)
b)
[ ( p)
c)
[ (pvq)
q]
q]
d)
[( p
q)v r]
e)
{ (p
r) v [r
f)
[ p
p
(p
q)
q]
(qv r)]
(p
q)
( p v r)
( p v q) ] }
[( p
(r
q)
q) v ( p v r ) ]
3. Dadas las siguientes proposiciones:

I) ( p
III)
(p
q)
q)
(pv q)
(pv q)
IV)
(p
V)
{ [ (p
indicar cul ( cules) son una Contradiccin
q)
q)
( p
p]
q)
q}
4. Sabiendo que: [ p
(q
r) ] es falsa.
Halle el valor de la verdad de :

5. De la falsedad de: ( p
a)
( p
b)
[( rvq)
c)
(p
[q
q)v( r
(p
r) ]
s ) deducir el valor de la verdad de :
q)v q
r)
p]
[( qvr )
[(pvq)
6. Si se sabe que ( p
q) y ( q
s]
q]
r) son falsas, cules de las siguientes
proposiciones son verdaderas?

a)
( pvr)v s
b)
[( p
c)
[p
q)v r]
( q v p )]
d)
[ p v (q
e)
[( p
q)
r)]
{(p
(q
r )]
q)
(q
[ p v (q
r)}
r)]
7. Si es verdadera la negacin del siguiente esquema:

[ ( p
q)
( r v s ) ] , Deducir el valor de los siguientes esquemas
moleculares:
a)
[(p
q)
b)
(q
c)
[(r
x)
r ]
r)
(p
(s
q
w)] ]
s)]
8. Alguna de las siguientes proposiciones es una Tautologa?
a) { [ ( p
q)v q]
b)
c)
[ ( p)
q]
d)
{( p
r) v [ p
(pv q)
9. Si la frmula: ( p
( q v s)
b)
( r
p
r]
( q
(p
p)
q)
( r v q) ] } v (p
q)v( r
a)
c)
( p v q) }
q)
s ) es falsa, deducir el valor de:
s)
( p
q)
[q
(s
r) ]
10. Si se sabe que ( p
q)
(q
r) son falsas, cules de las siguientes
proposiciones son verdaderas?

a)
(q v r ) v (p v q)
b)
(p
c) [(p
11.
q)
q)
(q
[ ( r)
r)]
q]
(p
r)
Dadas las proposiciones:

I) (p
q)
II) (p
q)
III)
(p
IV)
; V( r ) = V
( p
q)
(q
q)
(p
r)
r)
; V( q ) = V
; V( p ) = V y V( r ) = F
; V( r ) = V
La informacin que se da es suficiente para determinar el valor de la

verdad de las proposiciones.
SEMANA 5
TEMA:
LEYES DEL ALGEBRA PROPOSICIONAL
OBJETIVO: Conocer las leyes del lgebra proposicional para simplificar

esquemas lgicos
1. Ley de Idempotencia:
a) p p
b) p p
a) p (q r)
(p q)
(p r)
b) p (q r)
(p q)
(p r)
6. Ley del Elemento Neutro:

2. Ley de la Identidad:
V p
F p
p b) p
a) p p
c) p V
V p
b) p
d) p F
F p
3. Ley Conmutativa:
d)
a) p V
7. Ley de Absorcin:
a) p q
q p
a) p (p q)
b) p q
q p
b) p (p q)
c) p q
q p
c) p ( p q)
p q
d) p ( p q)
p q
4. Ley Asociativa:
8. Ley de la Complementacin:
a) p q r
p (q r)
(p q) r
a) p
b) p q r
p (q r)
(p q) r
5. Ley Distributiva:
V c)
F b) p
( p)
d)
e)
a) p q
b)
p q
(p q)
9. Ley de Morgan:
a)
(p q)
b)
(p q)
10. Ley de la Implicacin Material:
11. Ley de la Doble

Implicacin:
a) p
(p q)
(q p)
b) p
( p q)
( q p)
c) p
(p q)
( p
q)
303
0
PRACTICA
Complete las equivalencias y luego anote que propiedad se cumple:
1)
q q
9)
(1.a)
r r
3)
4)
5)
10)
r m
11)
12)
13)
( p q) ( p q)
14)
7)
r q
(3.a)
2)
6)
q r
(q
8)
p) (q
r
r q t
18)
s p m
p)
17)
r (q t)
15)
( p q)
16)
( q) (q
r)
22)
( p q)
23)
(q
24)
p ( p q)
s) ( t q)
s (p m)
19)
20)
21)
p t
r
q
s (r
27)
r
MATEMTICA I
q
25)
r (q
26)
q ( p
r)
t
q)
t)
28)
(s
r) s
( q p)
Lic. Henry Ramrez - Lic. Antonio Cutimbo
pgina
3131
29)
( p
( p q)
q)
30)
( s p)
31)
q)
( t q) ( r
32)
q)
( p
33)
r)
(r
( s q)
34)
V
35)
q
r
(r
m
)
q ( q t)
36)
s F
p
(
q
p
)
37)
p V
m (
38)
( q p)
39)
( s q)
40)
t q) V
m
q) (
q
p) p
MATEMTICA I
41)
( r q)
42)
(r s)
( s q)
pgina
3232
q) (r
s) ( t
( t s)
s
3)
( p q)
( p q)
t (t p)
(s q) (s q)
4)
p (q
p)
( r)
5)
m ( p m)
MATEMTICA I
pgina
3333
8)
[ (q s) ]
p q
9)
(r t)
0)
(s m)
1)
(q
p)
q
2)
( r
3)
q r
4)
s p
5)
6)
q)
s
p
p
q
t
( q t)
EJERCICIOS RESUELTOS
1) Simplifique la siguiente frmula lgica:
(q
p)
Solucin:
p
(q
p)
(7.a)
p
Por lo tanto:
(q
p)
(1.b)
2) Simplifique el siguiente esquema molecular:

[( p
q)
(r
r) ]
Solucin:
[( p
q)
[ ( p
[
q)
( p
F]
(8.a)
F]
(10.a)
(6.d)
q)
(p
q)
(9.a) y (8.c)
q
Por lo tanto: [ ( p q)
(r
(7.a)
r) ]

{ [ ( p
q) v q]
[ (p v q)]}
Solucin:
{ [ ( p
q) v q]
[ (p v q)]}
{ [ (p v q) v q]
[ p
q ] } (9.a), (9.b), (8.c)
{ [ p v ( q v q)]
[ p
q]}
[pv q]
[ p
{ [ p v q ]} v [ p
(4.b)
q]}
(1.b)
q]}
(10.a)
{ [pv q] v [ p
q]}
(8.c)
{ pv{ qv [ p
q]}}
(4.b)
{ pv{
q v
p } }
(7.d)
qv{ p v
p } }
(4.b)
q v
Por lo tanto: { [ ( p
(8.b)
{V}
(6.c)
(8.d)
q) v q]
[ (p v q)]}
es equivalente a una contradiccin

{[ q
p]
[ p
q] }
(p
q)
Solucin:
{[ q
p]
[ p
{ [ ( q) v p]
{[qv p]
q] }
(p
q)
[ ( p) v q] }
(p
q) (10.a)
[pv q]}
(p
q)
(8.c)
{ [ q v p] v [ p v q ] }
(p
q)
(10.a)
{[ q
p] v [ p
v q]}
{ {[ q
p] v p}
v q}
(p
q)
(4.b)
v q}
(p
q)
(7.b)
( p v q)
(9.a)
{pv q}
(p
(p
q)
(9.b) y (8.c)
p) v q
F
(5.b)
v q
(8.a)
q
Por lo tanto: {[ q
p]
[ p
q]}
(6.d)
(p
q)

[(( p)
q)
(r
r)]
Solucin:
[( p
q)
(r
r) ]
[( p
q)
(8.a)
[ ( p
q) v F
(10.a)
[ (p v q) v F
(9.a)
(p v q)
]
(p v q)
q
q
(6.d)
MATEMTICA I
(7.a)
pgina 36
EJERCICIOS PROPUESTOS
1) Simplifique las siguientes frmulas lgicas:

a) ( p
q)
( p
q)
c) ( p
q)
(p
q)
b)
d) p
e) { [ p
(q
p)
(qvp)]v p}
2) Simplifique las siguientes frmulas:

a)
[( p
b)
( p
c)
[(p
d)
(p
e)
[ (p v q) ( p v q)] v [(p
f)
[ p ( p v q)
q]v[r
g)
{p v[qv(
h)
{(p
i)
[ (pvq)v( p
j)
( p)
MATEMTICA I
q)
q)
(r
r)]
(q
Rpta. pv q
[(p
q)v p]
q) v(
Rpta. pv q
q) v ( p
( rvq)
q )] Rpta. Tautologa
p]
Rpta. p q
q)vq]}
q)]
Rpta. pvq
q)
p)]}
q)v[( p
(p
Rpta. q
p)
q)vp]
q)v(p
( q)
(p
Rpta. p
p
Rpta. p q
q)
Rpta. p
q)
Rpta. pvq
pgina
3737
SEMANA 6
TEMA:
CIRCUITOS LGICOS O BOOLEANOS
OBJETIVO: conocer los circuitos en serie y paralelo para el ensamblaje de

Interruptores.
Un circuito elctrico es un ensamblaje de interruptores automticos que
permiten el paso de la corriente elctrica, o la interrumpen.
El circuito lgico es un conjunto de smbolos y operaciones que satisfacen
las reglas de la lgica, simulando el comportamiento real de un circuito elctrico.
As para nosotros el interruptor representar una proposicin p, de tal modo
que el paso de corriente significar que el valor de dicha proposicin es
VERDADERO, en cuyo caso se dice que el circuito est cerrado; la interrupcin
del paso de corriente significar que dicha proposicin es FALSA, en cuyo caso se
dice que el circuito est abierto.
p
circuito cerrado
circuito abierto
(pasa corriente: V)
(no pasa corriente: F)
p
V
F
p
F
V
pasa corriente
no pasa corriente
no pasa corriente
pasa corriente
1. CIRCUITOS EN SERIE:
Dos interruptores se encuentran conectados en serie, cuando estn uno
a continuacin de otro a travs de un mismo conductor (en una misma lnea).
La conjuncin es la proposicin compuesta que cumple con todas las
caractersticas de una conexin en serie.
Recordemos como es la tabla de verdad de la conjuncin:
P
V
q
V
q
V
Ejercicios: Representar las siguientes frmulas como circuitos:
1) p
2)
3)
Ejercicios: Representar los siguientes circuitos a travs de un esquema

molecular:
1)
2)
3)
2. CIRCUITOS EN PARALELO:
Dos interruptores estn conectados en paralelo, cuando estos se
encuentran ubicados en dos conductores que tienen un origen comn.
La disyuncin inclusiva es la proposicin compuesta que cumple con
todas las caractersticas de una conexin en paralelo. Analicemos porqu.
Recordemos que la tabla de verdad de la disyuncin inclusiva es:
MATEMTICA I
P
V
q
V
q
V
pgina
4040
Ejercicios: Representar las siguientes frmulas como circuitos:

1) p
2) q
3) r
Ejercicios: Representar los siguientes circuitos a travs de un esquema

molecular:
1)
s
q
2)
q
p
3)
t
r
4)
q
p
p
5)
q
q
p
6)
EJERCICIOS:
1) Describir simblicamente el siguiente circuito:
r
p
q
q
2) Determinar el menor circuito equivalente al siguiente circuito:

p
p
r
3) Determinar el circuito equivalente a:

q
p
p
q
p
4) Qu representa el circuito equivalente a:
p
q
p
5) Construir el circuito lgico equivalente del siguiente esquema:

[ (p q)
(p q)
6) Determinar los circuitos lgicos que representan a los siguientes esquemas

moleculares.
a)
b)
( p)
c)
(p q)
d)
(p
e)
(q r)
(p
q)
(p q)
q)
[( p q)
(q
(p q)]
p)
( p q) ]
(p q)
7) Determinar la menor expresin que representa al circuito:

a)
p
p
q
q p
b)
q
p
p
q
c)
q
p
p q
q
d)
p
p
q
q
p

Matematica Logica

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Matematica Logica

Uploaded by

Copyright:

Available Formats

TEMA:

CLASIFICACIN DE LAS PROPOSICIONES

Ejemplo: Halle el valor de la verdad de las siguientes proposiciones:

b) Cuba y Chile son pases sudamericanos

p: Cuba es un pas sudamericano

q: Chile es un pas sudamericano

por lo tanto: v(p

por lo tanto: v(r

Halle el valor de la verdad de las siguientes proposiciones:

por lo tanto: v(p

b) Caman Jaen son ciudades del Per

p2: Jan es una ciudad del Per

por lo tanto: v(p1

c) Todo tringulo en el plano tiene tres ngulos rectos dos ngulos

q: Todo tringulo en el plano tiene dos ngulos obtusos

por lo tanto: v(p

Es aquella proposicin compuesta que se caracteriza porque contiene el

q: William Shakespeare es autor de la Iliada

por lo tanto: v(p

Formando Profesionales De Calidad Para Un Mundo Empresarial

b) Si los monos son animales entonces la Tierra es plana

por lo tanto: v(p

c) 16 es mltiplo de 2 por que 16 es nmero par

q:16 es nmero par

por lo tanto: v(q

q , se llama proposicin recproca

q , se llama proposicin inversa a

Si Patricia no tiene 40 aos, entonces no es joven

q , se llama proposicin recproca

Si dos rectas no son paralelas, entonces no son perpendiculares a una

Para hallar el valor de la verdad de una bicondiconal se utilizar la

La bicondicional est definida como la conjuncin de la proposicin

12+3 < 4+5

q:12+3 < 4+5

b) Alberto Andrade es alcalde de Lima si y solo si gana las elecciones

q: Alberto Andrade gana las elecciones municipales del 17 de

. Para hallar el valor de la

verdad de una negacin se utilizar la siguiente tabla:

Otras formas de expresar la negacin es utilizando los trminos no es el

Cmo establecer jerarqua entre los conectivos lgicos?

jerarqua. Sin embargo cada conectivo puede ser de mayor jerarqua si as lo

20 y (24+20) es divisible por 9.

g) Si maana no es domingo entonces no se trabaja.

3. En las siguientes proposiciones compuestas analice y explique las

d) Habr mayor inversin extranjera en el pas porque Alejandro Toledo

3. De las siguientes proposiciones compuestas, indique el valor de la verdad

b) Si: 5+3=7 entonces 7<6

12+3 < 4+5

e) La suma 6+3 tambin es un natural puesto que 6 y 3 son nmeros

4. Dadas las proposiciones,

p: Marcos es comerciante q: Marcos es un

r: Marcos es ingeniero. Simboliza el siguiente

enunciado: Si no es el caso que Marcos sea un comerciante y un prspero

5. Dadas las proposiciones q: 4 es un nmero impar, p y r cualesquiera tal

es verdadera, halle el valor de verdad de los

siguientes esquemas moleculares:

6. Si: p: Roberto vendr, q: Roberto ha recibido una carta y r: Roberto est

OBJETIVO: Emplear correctamente los signos de agrupacin en cada

Este es un esquema condicional por ser

p Este es un esquema bicondicional por ser el

Este es un esquema negativo por ser el

Cmo establecer jerarqua entre los conectivos lgicos?

jerarqua. Sin embargo cada conectivo puede ser de mayor jerarqua si as lo