Está en la página 1de 13

Nombre: Cristian Daro Garzn Lpez

Cdigo: 25422535
Grupo: 1
EJERCICIOS 1 A 10 DEL LIBRO CAPTULO DE LGICA
1. De los siguientes enunciados cules son proposiciones y cules no?, justifique
su respuesta.

Tom Hanks ha ganado dos premios Oscar como mejor actor por dos aos
consecutivos.
Proposicin, porque posee un significado de verdad.

Dame una cerveza.


No es una proposicin, pues al ser una orden no posee significado de verdad

Colombia gan ocho medallas olmpicas en Londres 2012.


Proposicin, porque posee un significado de verdad.

Todo nmero primo es impar.


Proposicin, porque posee un significado de verdad.

1 + 1 = 2.
Proposicin, porque posee un significado de verdad.

La diferencia de dos primos.


Proposicin, porque posee un significado de verdad.

Todo nmero par mayor que 2 puede escribirse como suma. de dos nmeros
primos. (Christian Goldbach, 1742).
Proposicin, porque posee un significado de verdad.

Qu hora es?

No es una proposicin, pues al ser una pregunta no posee significado de verdad

xn + yn = zn.
Proposicin, porque posee un significado de verdad.

x + y = z + y si x = z.
Proposicin, porque posee un significado de verdad.

2. De las siguientes secuencias de smbolos cules son frmulas bien formadas y


cules no?

(((p) r) (p q)) No es una frmula bien formada


(( (p) (q)) (q r)) Si es una frmula bien formada
(p q) (q p)) No es una frmula bien formada
((p p) (p p) (p (p))) Si es una frmula bien formada

3. Escriba la frmula bien formada que representa cada una de las siguientes
secuencias de smbolos:

p q r s q: ((p q) (r s)) q
p q q p: ((p q) q) p
p q r (q r) q: (p ((q r) (q r))) q
p (q r) p q (p q): (p (q r)) ((p q) (p q)).

4. Hallar el significado de cada frmula que se especifica a continuacin con respecto a


la interpretacin definida para sta.

f = p q r s q, si (p) = V, (q) = V, (r) = V, (s) = F.


p
V

q
V

r
V

s
F

pq
V

rvs
V

pqrs
V

f = p q q p, si (p) = V, (q) = F.

pqrsq
V

p q
pq
pqq
pqqp
V F
F
V
V
f = p q r (q r) q, si p) = F, q) = V, (r) = V.

p
V

qr

q r

q r (q r)

p q r (q r)
V

p q r (q r) q
V

f = p (q r) p q (p q), si (p) = V, (q) = F, (r) = V.


p
V

q
F

r
V

(p q) (p
q)
V

qr
F

pq
V

p (q r)
V

p (q r) p q (p
q)
V

5. Verifique las equivalencias lgicas de la tabla 2.2.


V
F

Tercio excluido

F
V

T
V
V


V
V


V
V

F
F

F
F


V
V

Contradiccin

V
F

F
V

Identidad

V
V
F
F
V
F
Dominacin

V
F

V
F


V
V
V
V

V
F

V
V

F
F

V
V

F
F

V
F


V
V


V
V

V
V

V
V

Idempotencia

V
F

V
F

Doble negacin

V
F

V
F


V
F


Conmutativas

V
V
F
F

V
F
V
F

V
V
V
F

V
V
V
F

V
F
F
F


V
V
V
V

V
V
V
V

V
V
V
F
F
V
F
F
V
V
V
V
( ) ( )
( ) ( )

V
F
F
F

Asociativas

( )

(
)

( ) (
)

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
V
V
V
V
F
F

V
V
F
F
F
F
F
F

V
F
F
F
V
F
F
F

( )
V
V
V
V
V
V
V
F

V
V
V
F
V
V
V
F

V
F
F
F
F
F
F
F

( )
V
V
V
V
V
V
V
F

( ) ( ) ( )
( ) ( ) ( )

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

a
V
V
V
V
V
V
F
F

V
F
F
F
F
F
F
F

V
V
F
F
F
F
F
F

V
F
F
F
V
F
F
F

V
V
V
V
V
V
V
V

( ) ( )
V
V
V
V
V
V
V
V

Distributivas

V
V
V
F
V
V
V
F

V
V
V
V
V
F
V
F

V
F
V
F
F
F
F
F

(
)
V
V
V
V
V
F
F
F

( ) (
)
V
V
V
V
V
F
F
F

( ) ( ) (
)

(
)

( ) (
)

( ) ( ) (
)

V
V
V

V
V
V

V
V
V

V
V
V

V
V
V
V
V

F
F
F
F
F

F
F
F
F
F

V
V
V
V
V

( ) Morgan
( )

V
V
F
F

V
F
V
F

F
F
V
V

F
V
F
V


V
V
V
F


V
F
F
F

( )

( )

F
V
V
V

F
V
V
V

F
F
F
V

F
F
F
V

( )
V
V
V
V

( )
V
V
V
V

6. Verifique las implicaciones lgicas de la tabla 2.3.


{ , } Combinacin

V
V
F
F
{ , }

V
V
F
F

V
F
V
F


V
F
F
F


V
V
V
V

Ley de simplificacin

V
F
V
F


V
F
F
F


V
V
V
V

{, } Variante de la ley de simplificacin

V
F
V
F

V
V
F
F


V
F
F
F


V
V
V
V


V
V
v
F


V
V
V
V

{ } Ley de adicin

V
F
V
F

V
V
F
F
{ }

Variante de la adicin

V
F
V
F

V
V
F
F

{ , }

V
V
F
F

V
F
V
F


V
V
v
F


V
V
V
V

Modus ponens

V
F
V
V

{, }

( )
V
F
F
F

Modus tollens

( ( ))
V
V
V
V


V
V
F
F

V
F
V
F

F
F
V
V

F
V
F
V

{ , }

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F


V
V
F
F
V
V
V
V

{ , }

V
V
F
F

V
F
V
F

( )
F
F
V
V


V
F
V
V

( ( ))
V
V
V
V

Silogismo hipottico


V
F
V
V
V
F
V
V

( ) ( )
V
F
F
F
V
F
V
V


V
F
V
F
V
V
V
V

(( ) ( )) ( )
V
V
V
V
V
V
V
V

Silogismo disyuntivo

F
F
V
V


V
V
V
F

( )
F
F
V
F

( ( ))
V
V
V
V

{ , } Variante de silogsmo disyuntivo

V
V
F
F

V
F
V
F

F
V
F
V

{ , }


V
V
V
F

( )
F
V
F
F

Ley de casos

( ( ))
V
V
V
V


V
F
V
F

V
V
F
F

F
F
V
V

{ }

V
F
V
F

V
V
F
F

V
F
V
F

V
V
V
F

(( ) ())

( ) ()
V
F
V
F

V
V
V
V

Eliminacin de equivalencia

V
F
V
V

{ }

V
V
F
F


V
F
V
V


V
F
F
V

( ) ( )
V
V
V
V

Variante de eliminacin de equivalencia



V
V
F
V


V
F
F
V

( ) ( )
V
V
V
V

{ , } Introduccin de la equivalencia

V
F
V
F

V
V
F
F


V
V
F
V

{ , }

V
V

V
F


V
F
V
V


V
F
F
V

( ) ()
V
F
F
V

(( ) ()) ( )
V
V
V
V

Ley de inconsistencia

F
F


F
F

( )
V
V

F
F

V
F

V
V

F
F

V
V

7. Verifique que las formulas f1 = p q r y f2 = p (q r) no son


lgicamente equivalentes.
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

pq
V
V
F
F
F
F
F
F

qr
V
V
V
F
V
V
V
F

p q r
V
V
V
F
V
F
V
F

p(q r)
V
V
V
F
F
F
F
F

(p q r) (p(q r))
V
V
V
V
F
V
F
V

8. Con los operadores lgicos y es posible expresar los otros operadores lgicos
(,,) de forma equivalente, de la siguiente manera:
p q (p q)
p q (p q)
p q (p q) (q p)
Verificar que efectivamente los operadores lgicos ,, se pueden expresar en
trminos de los operadores lgicos y .

p
V
V
F
F

p
F
F
V
V

q
V
F
V
F

p
V
V
F
F

p q (p q)
q
F
V
F
V

pq
V
V
V
F

p q
F
F
F
V

(p q)
V
V
V
F

p q (p q)
V
V
V
V

p q (p q)
q
V
F
V
F

q
F
V
F
V

p q
F
V
F
F

(p q)
V
F
V
V

pq
V
F
V
V

p q (p q)
V
V
V
V


p
V
V
F
F

p q (p q) (q p)
p
F
F
V
V

q
V
F
V
F

q
F
V
F
V

pq
V
F
F
V

pq
F
V
F
F

(p q) (q p)
V
F
F
V

(pq)
V
F
V
V

qp
F
F
V
F

(qp)
V
V
F
V

p q (p q) (q p)
V
V
V
V

9. Con los operadores lgicos y es posible expresar los otros operadores


lgicos (,,). Encontrar frmulas lgicas que contengan slo los
operadores lgicos y que sean equivalentes a las frmulas p q, p q,
p q y verifique que efectivamente son lgicamente equivalentes.
p q (pq)
p
V
V
F
F

q
V
F
V
F

p
V
V
F
F

p
F
F
V
V

q
F
V
F
V

pq
V
F
F
F

p q
F
V
V
V

(p q)
V
F
F
F

p q (p q)
V
V
V
V

p q p q
q
V
F
V
F

p
F
F
V
V

p q
V
F
V
V

p q (p q) (q p)

pq
V
F
V
V

p q p q
V
V
V
V

p
V
V
F
F

p
F
F
V
V

q
V
F
V
F

q
F
V
F
V

pq
V
V
V
F

pq
V
F
F
V

(pq)(qp)

(pq)
F
F
F
V

qp
F
V
V
V

(qp)
V
F
F
F

pq(pq)(qp)

V
F
F
V

V
V
V
V

10. Adicional a los conectivos lgicos presentados, existen otros conectivos,


tal como el conectivo exclusivo (), el cual es muy utilizado en computacin,
y tiene como objetivo que dadas dos frmulas f1 y f2, la operacin f1 f2
ser nicamente verdadera cuando se cumpla que slo una de las frmulas
f1 o f2 sea verdadera. De esta manera, la semntica para este conectivo es
la siguiente:
(f1)
V
V
F
F

(f2)
V
F
V
F

(f1 f2)
F
V
V
F

(a) Encuentre una frmula que sea equivalente lgicamente a la frmula


f1f2, que slo utilice los operadores lgicos y .

V
V
F
F

V
F
V
F

p q ((p q) (q p))
p
F
F
V
V

q
F
V
F
V

p
q
F
V
V
F

p
q
F
V
F
F

(p q
q)
p
V
F
F
F
V
V
V
F

((p q) (q p))

(q
p)
V
V
F
V

(pq)(q
p)
V
F
F
V

p q ((p q) (q p))

F
V
V
F

V
V
V
V

(b) Encuentre una frmula que sea equivalente lgicamente a la frmula


f1f2, que slo utilice los operadores lgicos y .

V
V
F
F

V
F
V
F

p q ( (p q) (q p))
p
F
F
V
V

q
F
V
F
V

p
q
F
V
V
F

p
q
V
V
V
F

( (p q) (q p))
F
V
V
F

(pq)
F
F
F
V

q
p
F
V
V
V

(q
p)
V
F
F
F

(pq)(q
p)
V
F
F
V

pq( (p q) (q p))
V
V
V
V