UNIVERSIDAD CENTROAMERICANA JOS SIMEN CAAS

FACULTAD DE INGENIERA Y ARQUITECTURA

Departamento de Matemtica
Matemtica I
Ciclo 01-2015

INTRODUCCIN A LA LGICA SIMBLICA

1. Cules de las siguientes expresiones son proposiciones?
a.
b.
c.
d.
e.
f.

Luis y Jaime estudian Ingeniera de sistemas

Qu miedo!
Cmo ests?
Estaciona el auto
Cundo regresas?
Olga regresa maana

g.
h.
i.
j.
k.

Dos ms dos son cuatro

Yo me caso maana
No me gusta la msica moderna
Ella pesa 100 kilos
No tengo dinero

2. Identifique cuales de las siguientes proposiciones son simples y cules son compuestas:
a.
b.
c.
d.

Estoy en la casa o en la universidad.

Gabriela est trabajando.
Karla y Rebeca son atractivas.
Si gano suficiente, voy a un viaje.

e. Daniel est cantando, bailando y

divirtindose.
f. Si multiplicamos por cero, el producto
siempre es igual a cero.

3. Si p es la proposicin Luisa quiere a Superman y q la proposicin Superman quiere a Luisa, Exprese con
palabras las proposiciones siguientes:
a.

(p q)

b.

c.

p q

4. Sea p: llueve, q: hace fro, r: voy a la fiesta. Exprese en lenguaje cotidiano las siguientes proposiciones:
a.

(p q) r

5. Considere la proposicin

b. (p q) r

c.

( p q) r

p q . Escriba su recproca, su inversa y su contra recproca.

6. Formule las proposiciones particulares (recproca, contra recproca y la inversa) de: q p p q en

trminos de conjunciones, disyunciones incluyentes y negaciones. Utilice equivalencias lgicas.
7. Para las siguientes proposiciones formule su recproca, su inversa y su contra recproca.
a. Yo pasar matemtica I si estudio duro.
b. Una condicin suficiente para que Transito pueda cursar qumica general II es que apruebe qumica
general I.
c. Si el maestro de ceremonias da un sermn entonces la audiencia se dormir.
d. Si saco 10 en el laboratorio de lgica simblica entonces mis papas estarn muy felices.
e. Una condicin necesaria para que Orlando compre una calculadora programable es que obtenga
$20

8. De los enunciados siguientes decida cules son verdaderos:

a. 10 es par y termina en cero
b. 10 es par y 3x3=9
c. 10 es par y 9 tambin

d. 13 es par o 13 termina en cero

e. 12 es par o 12 termina en dos

9. Sean k y n nmeros naturales. De los enunciados siguientes decida cules son verdaderos:
a.
b.
c.
d.
e.

Si k es par, entonces kn es par

Si kn es par, entonces k y n son pares.
Si kn es par, entonces k es par.
Si k es par, entonces k o, n es par
Si kn=0, entonces k y n son cero

f.

Si kn=0, entonces k o n es cero

g. Si kn=3, entonces n

3
k

10. Cules de los siguientes enunciados compuestos son verdaderos?

a.

p q p q

b.

p q (p q) ( p q)

11. En los siguientes ejercicios, formule dos proposiciones (p y q) de modo que se satisfagan ambas
condiciones:
a. p q es una proposicin verdadera y p q es una proposicin falsa.
b.
c.

p q
p q

es falsa y

p q es verdadera.

es falsa y

p q es falsa.

d.

p q es falsa y p q es verdadera.

e.

p q es verdadera y p q es falsa.

12. Suponga que p y r son falsas y q es verdadera. Encuentre los valores de verdad de cada proposicin:
a. ~

c. ~ ( )

e. ( ~ )

b. ~ ( )

d. ( ~ ) ( ~ ~ )

f. ( ~ ~ ) ( ~ )

13. Dadas las proposiciones compuestas como verdaderas y el valor de verdad de algunas de las componentes,
encuentre el valor de verdad de las restantes.
a. ( ) ;
b. ( ) ;

( )
c.

d. ( ) ( ) ;

14. Utilice los conceptos introducidos en clases para dar respuesta a los siguientes ejercicios:
a. Si se sabe que p es verdadera. Que sabemos del valor de verdad de p q , aun si no sabemos el
valor de verdad de q?
b. Si p es falsa, cul es el valor de verdad de p (p ~r)

15. En los siguientes ejercicios, escriba la proposicin como una implicacin condicional o bicondicional.
2
a. Una condicin necesaria para que x x es que x 0

b. Una condicin suficiente para que a b es que a c b c

c.
d.
e.
f.

x 1

Una condicin suficiente y necesaria para que

es que 1 x 1
Manuel podr graduarse si tiene todas las materias aprobadas.
El auditorio se llenar si el presidente imparte la conferencia.
Comprendern la matemtica cuando estudien mucha lgica.

16. Construya tablas de verdad para las siguientes proposiciones. Cules de ellas son tautologas? Cules de
ellas son contradicciones? Cules son contingencias?
a. p q
k. [(p r) (r q)] (p q)
b. p (p q)
l. (p q) (p q)

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

m.
n.
o.

(p q) p
f. [(p q) q] p
g.
(p q) ( p) ( q)
h.
(p q) ( p) ( q)
i.
( p q) p q
j. (p q) q
e.

p.
q.
r.
s.

(p q) ( p q) (p q) ( p
[(p q) (p q)] (q p)
(p q) ( p) ( q)
(p q) (p q)
(p p) q
p (q r ) (p q) (p r )
[(p q) r ] [(p r ) (q r )]

17. Muestre que las siguientes proposiciones son tautologas. Note que son negaciones de proposiciones
bsicas.
a. Ley de De Morgan: (p q) ( p q)

(p q) ( p q)
c. Ley de implicacin y conjuncin: (p q) (p q)
d.
(p q) [(p q) (q p)]
b. Ley de De Morgan:

18. Las siguientes son leyes de la lgica. Pruebe que son tautologas.
a. Principio de identidad: p p

f.

b. Propiedad idempotente: (p q) p

[(p q) q] p

c. Propiedad idempotente: (p q) p

g. Ley de contradiccin:

d. Ley de la doble negacin: p ( p)

e. Razonamiento directo: [(p q) p] q
19. Complete las siguientes tablas de verdad:
a.

Razonamiento indirecto:

(p q) (p q)
q

pq

pq

(p q)

(p q) (p q)

[ p ( p)]

q)

(p q) [ (p q) p]

b.

pq

pq

(p q)

(p q) (p q)

(p q) [ (p q) p]

20. Compruebe la verdad de las siguientes equivalencias lgicas planteadas:

a.
b.
c.
d.
e.
f.
g.
h.

(p q) (p q) p q
[(p q)] ( p q) p
[p (p q)] p
[p (p q)] p
[(p (q r )] [(p q) (p r )]
[(p (q r )] [(p q) (p r )]
[(p (q r )] [(p q) r]
[(p (q r )] [(p q) r]

21. Demuestre las siguientes proposiciones, indicando en cada caso el mtodo usado:
a. El producto de dos enteros pares es un entero par.
b. Demostrar que si 3n+2 es impar, entonces n es impar
c. Demostrar que la suma de dos impares, es par.
d. Demostrar que la suma de dos nmeros racionales, es otro nmero raciona
e. Sean a, b y c nmeros reales. Si a + c = b + c, entonces a = b
f. Sean a, b y c nmeros reales, c 0. Si a c = b c, entonces a = b
g. El producto de dos enteros pares es un entero par.
h. Si m+n 6 entonces m 3 n 3
i. Demostrar que: si 3n + 2 es impar, entonces n es impar
j. Demostrar que la suma de dos impares es par
k. Demostrar que la suma de dos nmeros racionales, es otro nmero racional
l. Si x2 es impar, entonces x es impar.

m. Si , ( ), ( ) ( ) ,

22. Utilizando el mtodo de induccin demuestre las siguientes sumatorias para todo nN
n

a.

2i-1 = n

i=1
n

b.

i(i!) = (n+1)!-1
i=1
n

c.

(2i-1)(2i+1) = 2 n+1
i=1

d.

a
i 1

ai 1 an a0

e.

2i(2i 1)
i 1
n

f.

i4
i 1

n(n 1)(4n 1)
3

n(n 1)(6n3 9n 2 n 1)
30

ar n a
,r 1
r 1
i 1
n
n(n 1)(2n 1)
h. i 2
6
i 1
n

g.

ar i1

i.

i 1

n 2 (n 1) 2
4

j.

n(n 3)

i(i 1)(i 2) 4(n 1)(n 2)

i 1
n

k.

i 2

i 1

1 (n 1) 2n

i 1
n

l.

n(n 1)
i 1

n(n 1)(n 2)
3