Algebra Politecnica Del Ing. Jose Roberto Castro Camacho

UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO FACULTAD POLITECNICA
Materia: Algebra I ING. Jose Roberto Castro Camacho

AUX: Victor Andres Paniagua PAG. Ayudantia multi-grupo UAGRM grupo: ayudanta multi-grupo U.A.G.R.M.
PRACTICO N 1
LOGICA PROPOSICIONAL
1. En las siguientes colecciones de: palabras, smbolos, etc. Indicar cuales son proposiciones (p) y cuales no lo
son (?)
a) Mery es bonita
b) Las blancas nubes
c) Cerebro de pjaro
d) 5-2=7
e) X(a+b)
f) (a+b)(a-b)
g) Cuando el sol se pone sobre el mar
h) La droga es la peste de la poca
i) Solo el trabajo dignifica al hombre
j) La seorial cumbre del illimani
k) El alcohol es el refugio del cobarde
l) La antigua msica clsica

2. Negar las siguientes proposiciones:
a. La poltica es un arte
b. Mi novio es alto
c. Carlo juega futbol
d. Soy estudiante de la politcnica
e. Yo estudio electrnica
f. Ella estudia ofimtica
g. Mis hermanos estudiaron en la universidad autnoma Gabriel rene moreno
h. El optimista no cede ante los problemas
i. El matrimonio es el opio de los pueblos
j. La agronoma es el futuro de los pases
k. Tengo que aprobar algebra I
l. Soy el mejor en mi clase
m. Sofia con maria son hermana gemela
n. El auxiliar de algebra es de oriente
3. Simboliza cada una de las proposiciones siguientes
a) Alberto es alto y Elena es bella
b) El avin es rpido y el barco es lento
c) El hombre propone y dios dispone y la mujer descompone
d) 2 es un nmero par y 3 es un impar
e) Los humanos son hombres o mujeres
f) Juan pablo quiere casarse con Mara o Julia
g) Si los jvenes estudian entonces el pas progresa
h) El ao tiene 12 semanas o 12 meses
i) Si vengo a pasar clase de ayudanta con Andrs Paniagua entonces apruebo la materia de algebra
j) Si la semana tiene 7 das entonces el mes tiene 12 das
k) Si Ramn es estudioso entonces aprobara matemticas
l) Si Jaime no estudia matemtica, entonces l tendr que repetir la materia estar obligado a abandonar la
carrera
m) Si la planta no crece, entonces necesita ms agua o necesita mejor abono
n) El juez lo sentencia a Ricardo si y solo si el fiscal puede probar su culpabilidad o el testigo no dice la verdad.
o) Si Ral tiene voluntad y no se aplaza, entonces Ral es profesional y es feliz
p) Si una sustancia orgnica se descomponen, entonces sus componentes se trasforman en abono y fertilizan al
suelo.

4. Con las proposiciones p: yo soy pobre ; q: ella es rica ; escribir en forma simblica las siguientes
proposiciones compuestas:
a) Yo soy pobre y ella es rica
b) Yo no soy pobre y ella es pobre
c) Yo soy rico y ella es rica
d) Yo soy pobre y ella es pobre
5. Sean p y q las siguientes proposiciones:
p: Nada sabes
q: Nada temes
Escribir en lenguaje comn las oraciones que correspondan a los siguientes enunciados:
a) q p. b) q p v b) q p c) p q d) ( ) q p p . e) ( ) q q p .

6. Con las proposiciones p: el invierno es frio ; q: el ambiente es seco; armar las siguientes proposiciones
compuestas, descritas en lenguaje simbolico.
a)

q p.

b)

q p .
c) q p .
d) ) ( q p .

7. Indicar las proposiciones simple de las siguientes disyunciones inclusivas
a) La chica es alta o el chico es bajo
b) Los ovnis a los horscopos son fantasas
c) La matemticas encantan o aburren a los estudiantes
8. Hallar el valor de verdad de las siguientes disyunciones inclusivas:
a) 2 es un numero par o 3 es un numero impar resp. v
b) Las ratas comen o las ratas vuelan resp. V
c) (a+0= 0) o (a0 = 0 ) resp. F
9. Con las proposiciones simples p: luis es alto q: ana es bella Escribir en lenguaje simbolico las siguientes
proposiciones compuesta:
a. Luis es alto o ana es bella
b. Luis no es alto o ana no es bella
c. Luis es petiso o ana es bella
d. Luis no es alto o ana es fea

10. Con las proposiciones p: las discotecas son centros de diversin; q: las discotecas son antros de vicio;
conformar las siguientes proposiciones
a)

( ) q p v

b) ( ) q p v
c) ( ) q p v

11. Indicar las proposiciones simples de los siguientes condicionales y negarlos, mediante:
q p q p . ) (
a)
Si los obreros trabajan entonces el pas progresa

b)
Si un estudiante protesta entonces es un rebelde sin causa

c)
Si practicas entonces aprendes

d)
Si piensas entonces existes

e)
Si x es par entonces x+1 es impar

12. Hallar el valor de verdad de los siguientes bicondicionales:
a) b es vocal si y solo si b no es una letra del alfabeto resp. v
b) el sol nace por el oriente si y solo si se pone por el occidente resp. v
13. Sean p, q y r los siguientes proposiciones:
p: Estudiare matemtica
q: Ir a mi clase de computacin
r: Estoy de buen humor
b) q p . b) ( ) q p r v c) ( ) q p r v d) ( ) r q p .
14. Sean p, q, r, s, t, f, u, m y n, las siguientes proposiciones:
p: El ladrn tiene cabello largo
q: La mujer resulto violada
r: El ladrn es extranjero
s: El ladrn no est en la ciudad
t: El ladrn huye por la carretera
f: Los ladrones de esta ciudad no violan mujeres
u: Los ladrones de esta ciudad no usan cabello largo
m: El ladrn es muy hbil
n: El ladrn no dejo huella
a) ( ) s r m v b) n m. c) r t d) u r
e)
q r
f)
p f
g)
( ) ( ) t s q p . .

15. Determinar, por medio de una tabla de verdad, si cada una de la siguientes proposiciones es una tautologa,
contradiccin o contingencia. Mediante los dos mtodos: mtodo acumulativo y mtodo por paso
a) ( ) | | ( ) q p p q p . v . Contingencia
b) ( ) | | ( ) q p p p q p . v . Contingencia
c) ( ) ( ) | | ( ) q p q p q p v . v Tautologa
d) ( ) ( ) | | { } ( ) q p q p p q p v v . v . Contradiccin
e) ( ) | | { } ( ) q p q p q p v . . Tautologa
f) ( ) ( ) | | r q p q p v . v Contingencia
g) ( ) ( ) | | ( ) r p r q q p . . v Tautologa
h) ( ) | | ( ) | | q p r r q p v . . contradiccin
i) ( ) ( ) | | ( ) ( ) | | p q r p q p p r . v . Tautologa

16. Si la proposicin p es F, q es V; Calcular el valor de verdad de las proposiciones siguientes:
a) ( ) ( ) q p q p v . b) ( ) ( ) q p q p . v c) ( ) | | q p q p
Rta. V,F,V,

17. Si se conoce que: ( ) q p es V; Calcular el valor de verdad de las proposiciones siguientes:
a) ( ) ( ) q p q p . v . b) ( ) ( ) q p q p v
Rta. F,V,

18. Si se conoce que: ( ) q p v es F, r es V; Calcular el valor de las proposiciones siguientes:
a) ( ) ( ) | | q p r q p . v . b) ( ) | | ( ) q p r q p v .
Rta. F,V

19. Sean q y s proposiciones cualesquiera, p y r proposiciones tales que ( ) r p v es V; Calcular el valor de
verdad de las proposiciones siguientes:
a) ( ) ( ) r s q p v .

b) ( ) ( ) | | ( ) s q s p q r v . v
Rta. F,V

20. Sean p y r proposiciones cualesquiera, q y s proposiciones tales que ( ) s q . es F; Calcular el valor de
verdad de las proposiciones siguientes:
a) ( ) | | ( ) s p r q p v v .

b) ( ) ( ) | | ( ) | | r s p r p p q v . . v
Rta. V,V

21. Hallar el valor de verdad de las proposiciones p, q, r y s, sabiendo que:
a) ( ) ( ) falsa es s r q p . v

b) ( ) ( ) falsa es s q p r v

c) ( ) ( ) verdadera es s q r p . v

d) ( ) ( ) | | verdadera es s p q r .

22. Determinar cules de las siguientes formulas son lgicamente equivalentes?
a) I)
( ) p q p v

b) I)
( ) ( ) | | q q p q p . v

II) ( ) ( ) q p q p . v

II) ( ) | | ( ) | | q q p q q p . v v .

III) ( ) ( ) q p q p .

III) ( ) | | ( ) q p q p q v .

23. Sabiendo que p es F y que q es una proposicin cualquiera, determinar el valor de verdad de la proposicin x;
tal que:
a) ( ) | | F sea p q p x .

b) ( ) | | ( ) V sea q p q p x v . v

c) ( ) | | ( ) V sea q p x q p . v
Rta. F,V,F

24. simplificar las proposiciones dadas
a) ) ( ) ( q p q p . v v
R.
p
b)

( ) ( ) q p q p .
R. q

c)

| | ) ( q p p . q
R. V

d)

( ) ( ) q p q p v v
R. V

e) | | q q p q . . v ) (
R. q

f) | | q p q p . ) ) (( p .
R.
p

g) ( ) ( ) q p q p v v
R:
q pv
h) ( ) ( ) | | ( ) q p p q q p . . v
R:
q
i) ( ) ( ) | | ( ) q p q p p q v .
R:
p
j) ( ) ( ) ( ) | | p q q p p q . v
R:
p
k) ( ) ( ) | | ( ) | | p q p q p q p v . . .
R:
q p .
l) ( ) | | ( ) | | r q p p r p .
R:
p
m) ( ) ( ) | | ( ) | | r r q r q q p . v . . v .
R:
F
n) ( ) | | ( ) | | r p q p q p . v .
R:
q p.
o) ( ) ( ) | | r q p q p . v
R:
r
p) ( ) | | ( ) | | p q p q p p v . .
R:
q
q) ( ) | | ( ) | | q p p p r p v .
R:
p
r) ( ) ( ) ( ) | | r p r p q p . . v
R:
p q v
s) ( ) | | ( ) | | r q p p r p v v .
R:
r pv
t) ( ) | | ( ) | | r p q q r q . .
R:
V
25. por medio de las tablas veritatibas y la prueba formal de invalidez, justificar la validez de los siguientes
razonamientos:
a)
( )
q p
q p
p q p
.

v
b)
s
s r
r q
q p
c)
( )
q p
p q
p q p

.
v

d)
( )
p q
p q
p q p

v
v

b)
q
r
r p
q p

f)
r
q r
p
q p

v
g)
p
r p
q r
q p
v

v

d)
( )
t
r
t p
q r
q p
.

26. En cada uno de los ejercicios, demostrar la conclusin dada haciendo el uso de las reglas de inferencia
a)
q
r
r p
q p
b)
r
p
q p
q r

c)
H
g
H q
q g

d) p
s
r s
p r

e)
r
j
j q
r p
q p

( )
f
q h
f g
h g
.

j)
r
p
q p
q r

k) t
r
t p
q r
q p
.

) (
l)
( )
r
q s r
s
s q
.

v

27. Determinar si los razonamientos son validos: va o son falacias: fa
a)
p q q p . ,

b)
p p q p v ,


28. Determine si los siguientes razonamientos son validos: va o son falacias: fa
a) Tres es impar y entero d) la sonrisa es alegra o ironia
Tres es impar la sonrisa es alegria
----------------- ------------------------- resp. Va ; fa
Tres es entero la sonrisa es ironia

b) Si trabajo entonces como e) yo leo si y solo si estudio
No como yo estudio
-------------------------- ------------------------- resp. Va; va
No trabajo yo leo
c) Si un hombre es saludable entonces es feliz
Si un hombre es feliz entonces vive mucho
------------------------------------------------------------- resp. va
Si un hombre es saludable entonces vive mucho
29. Demostrar la validez del siguiente razonamiento:
a) Si llueve el lunes, entonces me mojo. Si me mojo, entonces me enfermo. Si es abril, entonces no llueve el lunes.
Sucede que llueve el lunes. Por tanto no es abril y me enfermo.
b) Si Andrs aprueba estructura entonces juan es Platn, pero juan no es Platn. Por tanto Andrs no aprobara
estructura.
c) Si el reloj esta adelantado, entonces juan llego antes de las diez y vio partir el coche de Andrs. Si Andrs dice la
verdad entonces juan no vio partir el coche de Andrs. Andrs dice la verdad o estaba en el edificio en el
momento del crimen. El reloj esta adelantado. Por tanto Andrs estaba en el edificio en el momento del crimen.
d) Si la ballena es un mamfero entonces toma oxigeno del aire. Si toma oxigeno del aire, entonces no necesita
branquias. La ballena es un mamfero y habita en el ocano. Por tanto, habita en el ocano y no necesita
branquias.
e) Si Maradona es argentino, entonces es aficionado al futbol. Pero, Maradona no es aficionado al futbol. Por tanto,
no es argentino.
f) Si la enmienda no fue aprobada entonces la constitucin queda como estaba. Si la constitucin queda como
estaba no podemos aadir nuevos miembros al comit. Podemos aadir nuevos miembros al comit o el informe
se retrasara un mes. Pero el informe no se retrasara un mes. Por tanto, la enmienda fue aprobada.
g) Mi padre me alaba si yo soy estoy orgulloso de mi mismo. O me va bien en deportes o no puedo estar orgulloso
de mi mismo. Si estudio bastante, entonces no me va bien en deportes. Por tanto, si mi padre me alaba, entonces
no estudio bastante.

30.
Llevar a notacin simbolica y luego negar las siguientes proposiciones, que contienen cuantificadores:

a) Hay chicas que son bellas y capaces
b) Todos los artistas son genios o locos
c) Todo enamorado es un tonto ambulante
d) Es primavera y todos sonren
e) Todo paso lento es seguro
f) Hay amigos perores que enemigos
31. Esquematizar mediante circuito lgicos las siguientes proposiciones:

a)
) ( r q p v .

b)
) ( q p p v v

c)
q p

d)
) ( r q p .

e)
) ( q p p v .

f)
) ( ) ( q p q p v .

g)
) ( ) ( q p q p . v v

32. Mediante circuito lgicos, expresarlo como proposiciones:

a) .
d)

b) e)


c) .

f)

g)

h)

i)

j)

k)

l)

m)

n)

o)

33. Dado los siguientes circuito lgicos, expresarlo como proposiciones y simplificar:

a) .


b) .

c) .

REGLAS DE INFERENCIA
MODUS PONENS (MP)
q
p
q p

MODUS TOLLENS (MT)
p
q
q p

MODUS TOLLENDO PONENS o SILOGISMO
DISYUNTIVO
q
p
q p
v

p
q
q p
v

LEY TRANSITIVA O SILOGISMO
CONDICIONAL (SC) o Silogismo Hipottico
r p
r q
q p

LEY SIMPLIFICATIVA (S)
p
q p .

q
q p v

LEY CONJUNCIN O CONJUNTIVA (C)
q p
q
p
.

LEY ADITIVA (A) o Amplificacin Disyuntiva
q p
p
v

LEY DE TRANSPOSICIN
p q
q p

q p
p q

LEY TRASLACIN
( )
( ) r q p
r q p

. ( )
( ) r q p
r q p
.
.

DILEMA CONSTRUCTIVO (DC)
s q
r p
s r
q p
v
v

DILEMA DESTRUCTIVO (DD)
r p
s q
s r
q p
v
v

LEY CONDICIONAL
q p
q p
v

q p
q p
v

SIMPLIFICACION DISYUNTIVA
p
p p v

LEY CONMUTATIVA
p q
q p
.
.

p q
q p
v
v

LEY MORGAN
( )
q p
q p
.
v

( )
q p
q p
v
.

LEYES DE LOGICAS

FORMULARIO DE TABLA DE VERDAD

Ley de Idenpotencia
p p p .

p p p v

Ley Conmutativa
p q q p . .

p q q p v v

Ley Asociativa ( ) ( ) r q p r q p . . . .

( ) ( ) r q p r q p v v v v

Ley Distributiva ( ) ( ) ( ) r p q p r q p . v . v .

( ) ( ) ( ) r p q p r q p v . v . v

Ley de Negacin
( ) p p
;
F p p .
;
V p p v

Ley de Identidad o Elemento
Neutro
p V p .

p F p v

Ley de Absorcin
( ) p q p p v .
;
( ) p q p p . v
; ( ) ( ) q p q p p . v .
( ) ( ) q p q p p . v . ;
F F p .
;
V V p v

Ley De Morgan
( ) q p q p v .
;
( ) q p q p . v

Definicin de Implicacin
q p q p v

Definicin de Doble Implicacin o Equivalencia
( ) ( ) p q q p q p .

LEYES DE LOGICAS

Algebra Politecnica Del Ing. Jose Roberto Castro Camacho

Uploaded by

Document Information

Original Description:

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

Algebra Politecnica Del Ing. Jose Roberto Castro Camacho

Uploaded by

Copyright:

Available Formats

UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO FACULTAD POLITECNICA

Materia: Algebra I ING. Jose Roberto Castro Camacho

You might also like