22/02/2020, 22:20:37 *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Ejercicio Introducción a la Lógica  (Leído 1593 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Goldbach
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 107


Ver Perfil
« : 14/02/2008, 13:35:52 »

Antes que nada, felicitar tanto al administrador como a los moderadores y a todas aquellas personas que participan en este foro ofreciendo su ayuda de manera desinteresada, algo que no se suele ver en otros muchos foros. Aunque conozco la página desde hace varios meses, hasta hoy no me había animado a registrarme y el causante ha sido un problema de lógica con el que espero me podáis ayudar, ya que aunque conozco la teoría no sé hacer ninguno de los apartados. El ejercicio dice así:

Escríbase la negación de cada una de las expresiones siguientes:

i)       [texx]A\subseteq{B}[/texx], es decir, [texx]\forall{a}\in{A}, a\in{B}[/texx]
ii)      [texx]b\in{f(S)}[/texx], es decir, [texx]\exists{a}\in{S}[/texx] tal que f(a)=b
iii)      [texx]a\in{\cap{A_i}[/texx], es decir, [texx]\forall{i}\in{I}, a\in{A_i}[/texx]
iv)     [texx]a\in{\cup{A_i}[/texx], es decir, [texx]\exists{i}\in{I}[/texx] tal que [texx]a\in{A_i}[/texx]
v)      [texx](a_1,..., a_n)\in{\displaystyle\prod_{i=1}^{i=n}{A_i}[/texx], es decir, [texx]\forall{i}\in{\left\{{1,..., n}\right\}}, a_i\in{A_i}[/texx]
vi)     [texx]A\subseteq{R}[/texx] está acotado superiormente, es decir, [texx]\exists{M}\in{R}[/texx] tal que [texx]\forall{a}\in{A},a\leq{M}[/texx]
vii)    [texx](x_n)[/texx] es de Cauchy, es decir, [texx]\forall{\epsilon}>0, \exists{n_0}\in{N}[/texx] tal que [texx]\forall{n,m}\geq{n_0}, \left |{x_n-x_m}\right |<\epsilon[/texx]
viii)    [texx](x_n)\rightarrow{x}[/texx], es decir, [texx]\forall{\epsilon}>0, \exists{n_0}\in{N}[/texx] tal que [texx]\forall{n}\geq{n_0}, \left |{x_n-x}\right |<\epsilon[/texx]

Editado por admin: para poner [texx]\epsilon[/texx] debes escribir \epsilon . Ahora que lo sabes puedes editar este post
En línea
Ked
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Uruguay Uruguay

Mensajes: 942


Ver Perfil
« Respuesta #1 : 14/02/2008, 17:30:49 »

Ten en cuenta

- Si yo te digo "todos los perros son marrones". ¿Cuál es la negación?
Spoiler (click para mostrar u ocultar)

- Si digo "existe un perro que es verde". ¿Cuál es la negación?
Spoiler (click para mostrar u ocultar)

Más formalmente podemos remitirnos a la lógica. Si tenemos una propiedad P(x) entonces.

[texx]\neg\forall x P(x)[/texx] es equivalente a [texx]\exists x \neg P(x)[/texx]
[texx]\neg\exists x P(x)[/texx] es equivalente a [texx]\forall x \neg P(x)[/texx]

Entendido esto puedes pasar a resolver tus ejercicios.

Por ejemplo el primero

La negación de [texx]\forall{a}\in{A}, a\in{B}[/texx] (caemos en el primer caso) es [texx]\exists a \in{A}, a \not\in{B}[/texx]

Alguno más complicado, por ejemplo negar la definición de límite (y te lo digo con palabras)

Si dicen "para todo epsilon existe delta tal que bla bla" entonces su negación sería "existe UN epsilon tal que PARA TODO delta NO bla bla :guiño:

Te dejo los ejercicios, que espero puedas resolver ahora. Si tienes duda en algún apartado preguntas.

Saludos
En línea
Goldbach
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 107


Ver Perfil
« Respuesta #2 : 14/02/2008, 20:10:23 »

Entonces, según lo que me has dicho, ¿quedaría así?

i)       [texx]A\not\subset{B}[/texx], es decir,[texx] \exists{a}\in{A}[/texx] tal que [texx]a\not\in{B}[/texx]
ii)      [texx]b\not\in{f(S)}[/texx], es decir,[texx] \forall{a}\in{S}[/texx], [texx]f(a)\neq{}b[/texx]
iii)      [texx]a\not\in{\cap{A_i}[/texx], es decir, [texx]\exists{i}\in{I}[/texx] tal que [texx]a\not\in{A_i}[/texx]
iv)     [texx]a\not\in{\cup{A_i}}[/texx], es decir, [texx]\forall{i}\in{I}[/texx], [texx]a\not\in{A_i}[/texx]
v)      [texx](a_1,...,a_n)\not\in{\displaystyle\prod_{i=1}^{i=n}{A_i}}[/texx], es decir, [texx]\exists{i}\in{\left\{{1,..., n}\right\}}[/texx] tal que [texx] a_i\not\in{A}[/texx]
vi)      [texx]A\subseteq{R}[/texx] no está acotado superiormente, es decir, [texx]\forall{M}\in{R}[/texx], [texx]\exists{a}\in{A}, a\geq{M}[/texx]
vii)     [texx](x_n)[/texx] no es de Cauchy, es decir, [texx]\exists{\epsilon}>0, \forall{n_0}\in{N}[/texx], [texx]\exists{n,m}\geq{n_0}, \left |{x_n-x_m}\right |>\epsilon[/texx]
viii)    [texx](x_n)\not\rightarrow{x}[/texx], es decir, [texx]\exists{\epsilon}>0, \forall{n_0}\in{N}[/texx], [texx]\exists{n}\geq{n_0}, \left |{x_n-x}\right |>\epsilon[/texx]

Editado con las soluciones correctas. Gracias.
En línea
Ked
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Uruguay Uruguay

Mensajes: 942


Ver Perfil
« Respuesta #3 : 14/02/2008, 22:24:03 »

i) Bien.

ii) Bien. Pero un comentario, sobre como usas el "tal que". Fíjate que no tiene sentido decir [texx]\forall{a}\in{S} \mbox{ tal que } f(a) \neq b[/texx]. La forma correcta de decirlo sería [texx]\forall{a}\in{S}, f(a) \neq b[/texx] donde la "," actúa como "se cumple que".

iii) Bien.

iv) Bien. Mismo comentario sobre el "tal que".

v) Bien.

vi) Bien. Mismo comentario sobre el "tal que".

vii) Mal. Mismo comentario sobre el "tal que".

viii) Mal. Mismo comentario sobre el "tal que".


En las dos que están mal, cometiste el mismo error. A ver si te das cuenta cúal es.


Saludos
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!