LOGICA MATEMTICA

TRABAJO COLABORATIVO

Solucin 3 Sean las proposiciones a(lo que dice Agapito), b (lo que dice bartolo) y c (lo que dice Hilario) a: Ni Hilario ni Agapito son culpables b: Agapito est mintiendo c: Agapito es inocente Se sabe que uno miente y los otros dos dicen la verdad, es decir puede ocurrir que

(a b

(a

c) (

c) = V

(a b ): Ni Hilario ni Agapito son culpables; Agapito est mintiendo y Agapito es culpable = F(also) (a c): Ni Hilario ni Agapito son culpables, Agapito no est mintiendo y Agapito es inocente = V(erdadero) ( b c): Hilario o Agapito est mintiendo, Agapito est mintiendo y Agapito es inocente = F(also)

De la proposicin: (a

c) = V

Se deduce que como: Ni Hilario ni Agapito son culpables, entonces el culpable es Bartolo

Solucin 4 P ~P ~Q ------------Q Demostracin: P P (~P ~Q) Q (P ~Q) Q (Condicional) (Absorcin)

PQ

Solucin 5 P P Q ~T ------------Q T Demostracin: [P (P (P ~(P (~P ~P Q) ~T ] (Q T) (Absorcin) (Condicional) (De Morgan)

~T) (Q T) ~T) T) ~Q (Q T) (~Q T T)

Solucin 7 Si la luz fuera simplemente un movimiento ondulatorio continuo, entonces la luz ms brillante dara lugar a una emisin de electrones. La luz ms brillante no siempre emite electrones con mayor energa que los originados por luz ms tenue. Sean las proposiciones: A = La luz es simplemente un movimiento ondulatorio continuo B = La luz ms brillante siempre emite electrones

A B: La luz es simplemente un movimiento ondulatorio continuo entonces la luz ms brillante da lugar siempre a la emisin de electrones ~B: La luz ms brillante no siempre emite electrones Luego ~A: La luz no es simplemente un movimiento ondulatorio continuo

AB ~B ---------~A

Solucin 8 Comparando las proposiciones ~Q R con la proposicin ~(Q R). Si aplicamos la ley de De Morgan a la segunda proposicin obtenemos ~Q R.

Por lo que podemos decir que ambas proposiciones tienen distinto significado; mientras que en la primera proposicin ~Q y R estn en conjuncin en la segunda proposicin estn en disyuncin.

Solucin 9 Qu relacin hay entre el lenguaje natural y el formal? El lenguaje natural es el que usamos de forma cotidiana (espaol, ingls, japons, etc.). El leguaje formal vendra expresar casi lo mismo que expresa el lenguaje natural pero en forma simblica. Es decir las expresiones hechas en lenguaje natural pueden sustituirse por las llamadas proposiciones, las que pueden ser atmicas o moleculares, ejemplo: La expresin en lenguaje natural: En un da de verano Jos va a la playa y Elena estudia ingls. En un da de verano no se reemplazara por proposicin alguna ya que esta expresin se refiere al contexto. Jose va a la playa, puede reemplazarse por la proposicin atmica p Elena estudia ingls, puede reemplazarse por la proposicin atmica q Luego la expresin en lenguaje natural En un da de verano Jos va a la playa y Elena estudia ingls. Es reemplazada en lenguaje formal por la proposicin molecular: p q

Solucin 10 2 + 4 + 6 + 8 + + 2n = n(n+1) Demostracin por induccin matemtica Para n = 1: 2 = 1(1+1) 2=2 se cumple

Hiptesis de Induccin: Suponemos cierta la proposicin se cumple para n = k, es decir que: 2 + 4 + 6 + 8 + + 2k = k(k+1) Debemos demostrar que tambin se cumple para n = k+1, es decir: 2 + 4 + 6 + 8 + + 2k + 2(k+1)= (k+1)(k+2)

Por HI k(k+1) + 2(k+1) = (k+1)(k+2)

factorizando (k+1) al lado izquierdo tenemos

(k+1)(k+2) = (k+1)(k+2)

se cumple

Entonces la proposicin 2 + 4 + 6 + 8 + + 2n = n(n+1) es verdadera

Solucin 11 El cuadrado de un nmero impar es impar Demostracin por el mtodo indirecto Sean las proposiciones: p : n es impar q : n2 es impar Tenemos que demostrar que la proposicin p q es verdadera Por el mtodo indirecto esta demostracin se transforma en demostrar ~q ~p , es decir se tiene que demostrar que si n2 es par entonces n es par. Demostracin: Sea n = 2k, entonces ~p es verdadero Elevando al cuadrado ambos trminos de la ecuacin n = 2k, se tiene n2 = 4k2 , lo que indica que ~q es tambin verdadero As tenemos que ~q ~p VV Verdadero

Por lo que podemos afirmar que El cuadrado de un nmero impar es impar

Solucin 13

a) Existe un matemtico que no es lgico Sea el conjunto universo U = *matemticos} La simbolizacin de la proposicin dada es: x / x no es lgico Negacin de la proposicin dada: ~( x / x no es lgico) x / x es lgico

b) Todos los griegos son racionales Sea el conjunto universo U = *personas griegas+ La simbolizacin de la proposicin dada es: x / x es racional Negacin de la proposicin dada: ~( x / x es racional) x / x no es racional

c) Algn estudiante es muy disciplinado

Sea el conjunto universo U = *conjunto de estudiantes+

La simbolizacin de la proposicin dada es: x / x es muy disciplinado Negacin de la proposicin dada: ~( x / x es muy disciplinado) x / x no es muy disciplinado