Lgica 3: Axiomatizacin y Metalgica (2015-1)

Grupo de Facebook: https://www.facebook.com/groups/295974093916139/

Tarea 8
Fecha de entrega el viernes 17 de octubre.
Nombre:________________________________________________________________________
INSTRUCCIONES: La tarea debe estar completamente resuelta, tiene que ser contestada a
computadora (o a mano muy limpia y clara, en caso contrario no se calificar), tiene que ser entregada
el da que se indica arriba y tiene que estar engrapada.
1. Realiza las demostraciones que se piden a continuacin, puedes usar el mtodo que prefieras
(8 puntos, 2 puntos cada una):
1) Sean A , B y C conjuntos cualesquiera. Demuestra que : ( AC )( BC) = (AB)C .
Es decir , x ( x ( AC)(BC) x ( AB)C) .
Dem . :

def.

def.

Sea x( AC )( BC) x ACx BC

( x A~( x C))(x B~(x C))
pasolgico

paso lgico

(~( x C)x A)( ~(xC )x B)

pasolgico

~( x C)( x Ax B) ( x Ax B)~( xC)

def.
x AB~ ( xC) x( AB)C .

def.

Por lo tanto , ( AC)( BC) = ( AB)C .

2) Sean A , B y C conjuntos cualesquiera. Demuestra que : ( AC)(BC) = (AB)C .
Es decir , x ( x ( AC)(BC) x ( AB)C) .
Dem . :

def.

def.

Sea x( AC )( BC) x AC xBC

( x A~( x C))(x B~(x C))
pasolgico

paso lgico

( x Ax B)(~( x C )~( x C))

def.

def.

(x Ax B)~( x C) ( x AB)~( x C) x ( AB)C .

Por lo tanto , ( AC)( BC) = ( AB)C .
3) Sean A , B y C conjuntos cualesquiera.
Demuestra que : ( AB)( AC) = A(CB) .
Es decir , x ( x ( AB)( AC) x A(CB)).
Dem . :

def.

def.

Sea x( AB)( AC ) x ( AB)~( x AC)

def.

( x A~( x B))~(x BC) ( x A~( x B))~(x A~(xC))

pasolgico

(x A~(x B))(~( x A)x C)

pasolgico

( x A~( x B))xC
def.

pasolgico

x A(x C~( x B))

((x A~ ( xB))~( x A))(( x A~( xB))xC)

pasolgico

x Ax CB x A(CB).
Por lo tanto , ( AB)( AC) = A(CB) .

def.

4) Sean A y B conjuntos cualesquiera y sea X un universo local .

Demuestra que : AB = ( AC B)C .
Es decir , x ( x AB x ( A C B)C ) .
Dem . :

def.

Sea x AB x Ax B

eq . x X

(~( x X)x A)x B

def.
~( x X ~(x A))x B ~( x A C)xB
pasolgico
def.
~( x A C~(x B)) ~(x A CB)
eq . x X
def.
x X ~( x A CB) x(A CB)C .
C

pasolgico

Por lo tanto , AB = ( AC B)C .

2. Realiza la demostracin que se piden a continuacin, debes realizar la prueba por induccin
matemtica (2 puntos):
n (n+1)(2 n+1)
1) Demuestra que : 12 +22 +...+n2 =
, para todo n.
6
Dem . :
Caso base :
Sea n = 1.
1(2)(3)
1(1+1)(2(1)+1)
n(n+1)(2 n+1)
6
1 =
=
=
=
6
6
6
6
Paso inductivo : Hiptesis Inductiva : La frmula vale para un n arbitrario , es decir ,
n (n+1)(2 n+1)
12 +...+n2 =
.
6
P . D . : La frmula vale para n+1, es decir ,
(n+1)((n+1)+ 1)(2(n+1)+1)
12 +...+n2 +( n+1)2 =
.
6
n(n+ 1)(2 n+1)+6( n+1)2
2
2
2 H .I . n(n+1)(2n+1)
2
1 +...+n +( n+1) =
+(n+1) =
=
6
6
n(n+1)(2 n+ 1)+6 (n+1)(n+1)
(n+1)(n(2 n+1)+6(n+1))
=
=
6
6
2
2
(n+1)((2 n +n)+(6 n+6))
(n+1)(2n +7 n+6)
(n+1)(n+2)(2 n+3)
=
=
=
6
6
6
(n+1)((n+ 1)+1)(2(n+1)+1)
.
6
Por lo tanto , 12 +22 +...+n2 =

n (n+1)(2 n+1)
, para todo n.
6

3. Bonus para oos ( punto para la tarea): Sean y frmulas del lenguaje de la lgica
proposicional clsica. Sabemos que cada una de ellas o es una tautologa o es una contradiccin
o es contingente, pero no sucede que ambas sean contingentes. Adems, sabemos que del
siguiente conjunto de frmulas dos son contingentes, dos son tautologas y una es una
contradiccin. {~(), , , , ~ ~ }.
Qu clase de frmulas son y ?
a) : contingente , : tautologa .
d) : contradiccin , : contigente .
b) : tautologa , : contingente .
e) : contradiccin , : tautologa .
c) : contingente , : contradiccin .

( )

()

~( )

~ ~

4. Ejercicio para un punto extra para el examen 3: Realiza la demostracin que se piden a
continuacin, debes realizar la prueba por induccin matemtica.
2
n(n+1)
Demuestra que : 13 +23 +...+n3 =
, para todo n .
2
Dem . :
Caso base :
Sea n = 1.
2
2
2
2
1(2)
1(1+1)
n(n+1)
2
2
1 = 1 =
=
=
=
2
2
2
2
Paso inductivo : Hiptesis Inductiva : La frmula vale para un n arbitrario , es decir ,
2
n(n+1)
3
3
3
1 +2 +...+n =
.
2
P . D . : La frmula vale para n+1, es decir ,
2
( n+1)((n+1)+1)
13 +...+n3 +(n+1)3 =
.
2
2
n (n+1)
n2 (n+1)2
3
3
3 H .I.
3
1 +...+n +(n+1) =
+(n+1) =
+( n+1)3 =
2
4
2
2
3
2
2
n (n+1) + 4( n+ 1)
(n+1) (n + 4(n+1))
(n+1)2 (n2 +4 n+4 )
=
=
4
4
4
2
2
2
2
( n+1) (n+2)
(n+ 1)(n+2)
(n+1)((n+ 1)+1)
=
=
4
2
2

( )

Por lo tanto , 1 +2 +...+n =

n(n+1)
2

),

para todo n.