Identificarse Registrarse

Psu
Enseñanza Básica
Enseñanza Media
Universidad
Olimpiadas
Comunidad



 
Reply to this topicStart new topic
> Control 1 Algebra Otoño 2012
Mauricio Muñoz
mensaje Apr 4 2012, 05:58 PM
Publicado: #1


Dios Matemático
Ícono de Grupo

Grupo: Usuario FMAT
Mensajes: 309
Registrado: 18-May 11
Miembro Nº: 88.919
Nacionalidad:
Universidad: Universidad de Chile-FCFM
Sexo:



TEX: $\text{P1}\text{. (a) Sean p}\text{, q y r tres proposiciones}\text{.}$


TEX: $(i)\text{ Demuestre que }(p\Rightarrow (q\Rightarrow r))\text{ no es equivalente a }((p\Rightarrow q)\Rightarrow r)$

TEX: <br />$(ii)\text{ Demuestre}\text{, sin usar tablas de verdad}\text{, que }(p\Rightarrow (q\Rightarrow r))\Leftrightarrow ((p\wedge q)\Rightarrow r)$


TEX: $(b)\text{ Demuestre que }(\exists y)(p(y)\Rightarrow (\forall x)p(x))\text{ es una tautolog }\!\!\acute{\mathrm{i}}\!\!\text{ a}\text{.}$


TEX: $\text{P2}\text{. Sean A y B dos conjuntos cualquiera}\text{.}$


TEX: $\text{(a) Pruebe que }\varnothing \notin \text{P(A) }\!\!\backslash\!\!\text{ P(B)}\text{.}$

TEX: <br />$\text{(b) Demuestre qye P(A }\!\!\backslash\!\!\text{ B)}\subseteq \text{(P(A) }\!\!\backslash\!\!\text{ P(B))}\cup \left\{ \varnothing  \right\}$


TEX: $©\text{ Encuentre A y B tales que P(A }\!\!\backslash\!\!\text{ B)}\ne \text{ (P(A) }\!\!\backslash\!\!\text{ P(B))}\cup \left\{ \varnothing  \right\}$


Control con sabor a conjuntos smile.gif


--------------------


Go to the top of the page
 
+Quote Post
mpipe
mensaje Jan 7 2013, 08:54 PM
Publicado: #2


Matemático
Ícono de Grupo

Grupo: Usuario FMAT
Mensajes: 52
Registrado: 15-May 09
Miembro Nº: 51.306
Nacionalidad:
Colegio/Liceo: Colegio Alcantara de la Florida
Universidad: Universidad de Chile-FCFM
Sexo:



Gracias smile.gif


--------------------
Solo para gente aburrida.




EDV Matemática I ✔, Matemática II ✔, Matemática III ✔





Mechón 2013
Go to the top of the page
 
+Quote Post
MatematicoPrinci...
mensaje Mar 23 2013, 12:46 PM
Publicado: #3


Dios Matemático Supremo
Ícono de Grupo

Grupo: Usuario FMAT
Mensajes: 699
Registrado: 21-July 11
Miembro Nº: 92.061
Nacionalidad:
Universidad: Universidad de Chile-FCFM
Sexo:



tengo una duda con respecto a la demostración del "no es equivalente", cúal sería la forma correcta o formal de demostrarla?
yo tenía la idea de utilizar la tautología de que si p no es equivalente a q, entonces ¬p <=> q y p<=>¬q, también podría utilizar una tabla de verdad, pero ninguna de las anteriores me convence. Alguien tiene otra solución?


--------------------


Go to the top of the page
 
+Quote Post
E.Rodriguez
mensaje Mar 23 2013, 12:54 PM
Publicado: #4


Dios Matemático Supremo
Ícono de Grupo

Grupo: Usuario FMAT
Mensajes: 539
Registrado: 21-January 11
Desde: Santiago - Osorno - Chile
Miembro Nº: 83.254
Nacionalidad:
Colegio/Liceo: Colegio San Mateo de la Compania de Jesus Osorno
Universidad: Universidad de Chile-FCFM
Sexo:



CITA(MatematicoPrincipiante @ Mar 23 2013, 01:46 PM) *
tengo una duda con respecto a la demostración del "no es equivalente", cúal sería la forma correcta o formal de demostrarla?
yo tenía la idea de utilizar la tautología de que si p no es equivalente a q, entonces ¬p <=> q y p<=>¬q, también podría utilizar una tabla de verdad, pero ninguna de las anteriores me convence. Alguien tiene otra solución?


podrías suponer que es equivalencia y llegar a contradicción


--------------------
Esteban A. Rodríguez M.
Ex- alumno Generación 2011 Colegio San Mateo-Osorno







"Por muy larga que sea la tormenta, el sol siempre vuelve a brillar entre las nubes" - Khalil Gibran
Go to the top of the page
 
+Quote Post
MatematicoPrinci...
mensaje Mar 23 2013, 01:03 PM
Publicado: #5


Dios Matemático Supremo
Ícono de Grupo

Grupo: Usuario FMAT
Mensajes: 699
Registrado: 21-July 11
Miembro Nº: 92.061
Nacionalidad:
Universidad: Universidad de Chile-FCFM
Sexo:



CITA(E.Rodriguez @ Mar 23 2013, 12:54 PM) *
podrías suponer que es equivalencia y llegar a contradicción


oh verdad se me pasó xd
gracias por la sugerencia biggrin.gif


--------------------


Go to the top of the page
 
+Quote Post
Shine
mensaje Mar 23 2013, 01:09 PM
Publicado: #6


Dios Matemático Supremo
Ícono de Grupo

Grupo: Usuario FMAT
Mensajes: 1.255
Registrado: 22-February 08
Miembro Nº: 15.777
Sexo:



CITA(MatematicoPrincipiante @ Mar 24 2013, 12:46 AM) *
tengo una duda con respecto a la demostración del "no es equivalente", cúal sería la forma correcta o formal de demostrarla?
yo tenía la idea de utilizar la tautología de que si p no es equivalente a q, entonces ¬p <=> q y p<=>¬q, también podría utilizar una tabla de verdad, pero ninguna de las anteriores me convence. Alguien tiene otra solución?



Como dijiste, usar la tabla de verdad también te puede ayudar wink.gif
Go to the top of the page
 
+Quote Post

Reply to this topicStart new topic
1 usuario(s) está(n) leyendo esta discusión (1 invitado(s) y 0 usuario(s) anónimo(s))
0 miembro(s):

 

Versión Lo-Fi Fecha y Hora actual: 23rd November 2024 - 06:24 PM