ayuda en lógica - Foro fmat.cl

2 Páginas:

1 2 >

ayuda en lógica

Opciones

felippe3 Ver Perfil del Miembro Ver los mensajes de este miembro	Mar 20 2011, 01:33 PM Publicado: #1
Principiante Matemático Grupo: Usuario FMAT Mensajes: 12 Registrado: 19-March 11 Miembro Nº: 85.188 Nacionalidad: Colegio/Liceo: Sexo:	hola, soy nuevo en esto, asi que no se como usar muy bien las herramientas para escribir el lenguaje matemático... necesito ayuda con este ejercicio: $TEX: $(p\vee q)\wedge (\sim p\vee\sim q)$$ me quedo atascado.... porfa ayuda!!! de antemano gracias

mv314 Ver Perfil del Miembro Ver los mensajes de este miembro	Mar 20 2011, 02:24 PM Publicado: #2
Dios Matemático Grupo: Usuario FMAT Mensajes: 308 Registrado: 31-May 10 Desde: Planeta tierra Miembro Nº: 71.727 Nacionalidad: Sexo:	CITA(felippe3 @ Mar 20 2011, 01:33 PM) hola, soy nuevo en esto, asi que no se como usar muy bien las herramientas para escribir el lenguaje matemático... necesito ayuda con este ejercicio: $TEX: $(p\vee q)\wedge (\sim p\vee\sim q)$$ me quedo atascado.... porfa ayuda!!! de antemano gracias pero que es lo que te pide el ejercicio? -------------------- ...¡Porfin lo comprendo! No debo drogarme mas para crear las ideas... Debo crear las ideas y luego drogarme para premiarme...

felippe3 Ver Perfil del Miembro Ver los mensajes de este miembro	Mar 20 2011, 02:27 PM Publicado: #3
Principiante Matemático Grupo: Usuario FMAT Mensajes: 12 Registrado: 19-March 11 Miembro Nº: 85.188 Nacionalidad: Colegio/Liceo: Sexo:	reducirlo

EnemyOfGod286 Ver Perfil del Miembro Ver los mensajes de este miembro	Mar 20 2011, 02:48 PM Publicado: #4
Dios Matemático Supremo Grupo: Usuario FMAT Mensajes: 858 Registrado: 20-August 09 Desde: In my House Miembro Nº: 57.323 Nacionalidad: Colegio/Liceo: Universidad: Sexo:	$TEX: $$(p \vee q) \wedge (\sim p \vee \sim q)$$$ $TEX: $$[(p \vee q)\wedge \sim p] \vee [(p \vee q)\wedge \sim q]$$$ $TEX: $$[(p \wedge \sim p) \vee (q \wedge \sim p)] \vee [(p \wedge \sim q) \vee (q \wedge \sim q)]$$$ $TEX: $$[F \vee (q \wedge \sim p)] \vee [(p \wedge \sim q) \vee F]$$$ $TEX: $$(q \wedge \sim p) \vee (p \wedge \sim q)$$$ Si no es hasta ahí seguimos $TEX: $$\sim(\sim q \vee p) \vee \sim (\sim p \vee q)$$$ $TEX: $$\sim[(\sim q \vee p) \wedge (\sim p \vee q)]$$$ $TEX: $$\sim[(q \implies p) \wedge (p \implies q)]$$$ $TEX: $$\sim p \Leftrightarrow q$$$ $TEX: $$p \veebar q$$$

felippe3 Ver Perfil del Miembro Ver los mensajes de este miembro	Mar 20 2011, 02:53 PM Publicado: #5
Principiante Matemático Grupo: Usuario FMAT Mensajes: 12 Registrado: 19-March 11 Miembro Nº: 85.188 Nacionalidad: Colegio/Liceo: Sexo:	CITA(EnemyOfGod286 @ Mar 20 2011, 03:48 PM) $TEX: $$(p \vee q) \wedge (\sim p \vee \sim q)$$$ $TEX: $$[(p \vee q)\wedge \sim p] \vee [(p \vee q)\wedge \sim q]$$$ $TEX: $$[(p \wedge \sim p) \vee (q \wedge \sim p)] \vee [(p \wedge \sim q) \vee (q \wedge \sim q)]$$$ $TEX: $$[F \vee (q \wedge \sim p)] \vee [(p \wedge \sim q) \vee F]$$$ $TEX: $$(q \wedge \sim p) \vee (p \wedge \sim q)$$$ Si no es hasta ahí seguimos $TEX: $$\sim(\sim q \vee p) \vee \sim (\sim p \vee q)$$$ $TEX: $$\sim[(\sim q \vee p) \wedge (\sim p \vee q)]$$$ $TEX: $$\sim[(q \implies p) \wedge (p \implies q)]$$$ $TEX: $$\sim p \Leftrightarrow q$$$ $TEX: $$p \veebar q$$$ llego hasta $TEX: $$(q \wedge \sim p) \vee (p \wedge \sim q)$$$ me podrias decir que haces despues??? es decir las prop que ocupas??

felippe3 Ver Perfil del Miembro Ver los mensajes de este miembro	Mar 20 2011, 04:18 PM Publicado: #6
Principiante Matemático Grupo: Usuario FMAT Mensajes: 12 Registrado: 19-March 11 Miembro Nº: 85.188 Nacionalidad: Colegio/Liceo: Sexo:	es morgan, morgan, implicancia y despues comp sigue...?? gracias!!!

Krebante Ver Perfil del Miembro Ver los mensajes de este miembro	Mar 20 2011, 04:22 PM Publicado: #7
Dios Matemático Supremo Grupo: Usuario FMAT Mensajes: 618 Registrado: 8-June 08 Desde: Paris Miembro Nº: 26.525 Nacionalidad: Colegio/Liceo: Universidad: Sexo:	Caracterización de la equivalencia: $TEX: $(a \Leftrightarrow b) \Leftrightarrow (a \Rightarrow b \land b \Rightarrow a)$$ Después usan que la negación de la equivalencia es el "o exclusivo" (que si no te lo definieron no importa, lo puedes dejar hasta $TEX: $\lnot(a \Leftrightarrow b)$$ (o $TEX: $(\lnot a) \Leftrightarrow b$$ que es lo mismo). Mensaje modificado por Krebante el Mar 20 2011, 04:27 PM -------------------- ¡Por más representación, vota Riesz!

felippe3 Ver Perfil del Miembro Ver los mensajes de este miembro	Mar 20 2011, 04:29 PM Publicado: #8
Principiante Matemático Grupo: Usuario FMAT Mensajes: 12 Registrado: 19-March 11 Miembro Nº: 85.188 Nacionalidad: Colegio/Liceo: Sexo:	CITA(Krebante @ Mar 20 2011, 05:22 PM) Caracterización de la equivalencia: $TEX: $(a \Leftrightarrow b) \Leftrightarrow (a \Rightarrow b \land b \Rightarrow a)$$ Después usan que la negación de la equivalencia es el "o exclusivo" (que si no te lo definieron no importa, lo puedes dejar hasta $TEX: $\lnot(a \Leftrightarrow b)$$ (o $TEX: $(\lnot a) \Leftrightarrow b$$ que es lo mismo). me lo podrias explicar, aunque sea breve, porfa...? te lo agradesco mucho!!!!

Krebante Ver Perfil del Miembro Ver los mensajes de este miembro	Mar 20 2011, 04:34 PM Publicado: #9
Dios Matemático Supremo Grupo: Usuario FMAT Mensajes: 618 Registrado: 8-June 08 Desde: Paris Miembro Nº: 26.525 Nacionalidad: Colegio/Liceo: Universidad: Sexo:	CITA(felippe3 @ Mar 20 2011, 06:29 PM) me lo podrias explicar, aunque sea breve, porfa...? te lo agradesco mucho!!!! Es sólo una definición: se dice que $TEX: $a \oplus b$$ (con $TEX: $\oplus$$ el "o exclusivo" (que también se denota $TEX: $\veebar$$ )) si sólo uno de ellos es verdadero. Esto se puede escribir como $TEX: $(a \lor b) \land \lnot(a \land b)$$ (que es exactamente lo mismo que tu ejercicio). -------------------- ¡Por más representación, vota Riesz!

felippe3 Ver Perfil del Miembro Ver los mensajes de este miembro	Mar 20 2011, 04:46 PM Publicado: #10
Principiante Matemático Grupo: Usuario FMAT Mensajes: 12 Registrado: 19-March 11 Miembro Nº: 85.188 Nacionalidad: Colegio/Liceo: Sexo:	entiendo la caracterizacion de la equivalencia, pero no entiendo como pasa de: $TEX: $$\sim p \Leftrightarrow q$$$ a: $TEX: $$p \veebar q$$$ porque para mi $TEX: $$p \Leftrightarrow q$$$ deberia quedar en parentesis... o no? Mensaje modificado por felippe3 el Mar 20 2011, 05:13 PM

2 Páginas:

1 2 >

1 usuario(s) está(n) leyendo esta discusión (1 invitado(s) y 0 usuario(s) anónimo(s))

0 miembro(s):

Modo de Ver: Estándar · Cambiar a: Lineal+ · Cambiar a: Outline

Fecha y Hora actual: 23rd November 2024 - 07:34 PM