Hints - Logica! - Foro fmat.cl

Portal Matemático

¿Qué es FMAT?

Foro fmat.cl > Programa Enseñanza Universitaria > Comunidades Universitarias > Universidad de Santiago de Chile > Álgebra

2 Páginas:

1 2 >

Reply to this topic

Start new topic

Hints - Logica!, Cooperar con mas notas

hiper_net Ver Perfil del Miembro Ver los mensajes de este miembro	Apr 7 2007, 07:59 PM Publicado: #1
Principiante Matemático Destacado Grupo: Usuario FMAT Mensajes: 17 Registrado: 4-March 07 Miembro Nº: 4.277 Nacionalidad: Sexo:	1) Ley Idempotente $TEX: \[<br />\begin{gathered}<br /> a)p \wedge p \equiv p \hfill \\<br /> \hfill \\<br /> b)p \vee p \equiv p \hfill \\ <br />\end{gathered} <br />\]$ 2) Ley Conmutativa $TEX: \[<br />\begin{gathered}<br /> a)p \wedge q \equiv q \wedge p \hfill \\<br /> \hfill \\<br /> b)p \vee q \equiv q \vee p \hfill \\ <br />\end{gathered} <br />\]$ 3) Ley Asociativa: $TEX: \[<br />\begin{gathered}<br /> a)\left( {p \wedge q} \right) \wedge r \equiv p \wedge \left( {q \wedge r} \right) \hfill \\<br /> \hfill \\<br /> b)\left( {p \vee q} \right) \vee r \equiv p \vee \left( {q \vee r} \right) \hfill \\ <br />\end{gathered} <br />\]$ 4) Ley distributiva: $TEX: \[<br />\begin{gathered}<br /> a)p \wedge \left( {q \vee r} \right) \equiv \left( {p \wedge q} \right) \vee \left( {p \wedge r} \right) \hfill \\<br /> \hfill \\<br /> b)p \vee \left( {q \wedge r} \right) \equiv \left( {p \vee q} \right) \wedge \left( {p \vee r} \right) \hfill \\ <br />\end{gathered} <br />\]$ 5) Ley de Morgan: $TEX: \[<br />\begin{gathered}<br /> a) \sim \left( {p \wedge q} \right) \equiv \sim p \vee \sim r \hfill \\<br /> \hfill \\<br /> b) \sim \left( {p \vee r} \right) \equiv \sim p \wedge \sim r \hfill \\ <br />\end{gathered} <br />\]$ 6) Ley de Absorcion: $TEX: \[<br />\begin{gathered}<br /> a)p \wedge \left( {p \vee q} \right) \equiv p \hfill \\<br /> \hfill \\<br /> b)p \vee \left( {p \wedge q} \right) \equiv p \hfill \\ <br />\end{gathered} <br />\]$ 7) Ley del nuetro: $TEX: \[<br />\begin{gathered}<br /> a)p \wedge T \equiv p \hfill \\<br /> \hfill \\<br /> b)p \vee C \equiv p \hfill \\ <br />\end{gathered} <br />\]$ 8) Ley de implicancia o condicional: $TEX: \[<br />\begin{gathered}<br /> a)\left( {p \Rightarrow q} \right) \equiv \sim p \vee q\left( {Exclusion} \right) \hfill \\<br /> \hfill \\<br /> b) \sim \left( {p \Rightarrow q} \right) \equiv p \wedge \sim q\left( {Negacion...p \Rightarrow q} \right) \hfill \\<br /> \hfill \\<br /> c)\left( {p \Rightarrow q} \right) \equiv \left( { \sim q \Rightarrow \sim p} \right)\left( {Contrapositiva} \right) \hfill \\ <br />\end{gathered} <br />\]$ 9) Ley de la Dominacion: $TEX: \[<br />\begin{gathered}<br /> a)p \vee T \equiv T \hfill \\<br /> \hfill \\<br /> b)p \wedge C \equiv C \hfill \\ <br />\end{gathered} <br />\]$ 10) Ley del Inverso u Opuesto: $TEX: \[<br />\begin{gathered}<br /> a)p \vee \sim p \equiv T \hfill \\<br /> \hfill \\<br /> b)p \wedge \sim p \equiv C \hfill \\ <br />\end{gathered} <br />\]$ 11) Ley de la involucion o doble negacion: $TEX: \[<br /> \sim \left( { \sim p} \right) \equiv p<br />\]$ 12) Ley del Complemento: $TEX: \[<br />\begin{gathered}<br /> a) \sim V \equiv F \hfill \\<br /> \hfill \\<br /> b) \sim F \equiv V \hfill \\ <br />\end{gathered} <br />\]$ agradecimientos a mackbo :$ -------------------- hipernet@gmail.com ... y, a pesar de sus múltiples aplicaciones, ¿alguien niega que la principal raíz de la matemática tiene que ver con la ociosidad y la búsqueda de juegos y desafíos intelectuales? El mismo Euclides despreciaba a los que querían aprender Geometría por su utilidad. Pero, ¿Qué más útil que el placer individual y grupal que provoca el cultivo de la matemática?

Makbo Ver Perfil del Miembro Ver los mensajes de este miembro	Apr 7 2007, 08:19 PM Publicado: #2
Dios Matemático Supremo Grupo: Colaborador Silver Mensajes: 743 Registrado: 23-November 05 Desde: Mi Humilde Hogar! Miembro Nº: 394 Nacionalidad: Universidad: Sexo:	Seria bueno escribirlo en latex para no enredarse -------------------- © Ingeniero Civil Metalurgico. $TEX: [<br />psi psi psi .oint {mathfrak{M}alpha dag .mathbb{C}ell } <br />]$ "...La Felicidad es una mariposa que, si la persigues, siempre está justo más alla de tu alcance; Sin embargo, si te sentaras en silencio, podria posarse sobre ti..."

hiper_net Ver Perfil del Miembro Ver los mensajes de este miembro	Apr 7 2007, 09:06 PM Publicado: #3
Principiante Matemático Destacado Grupo: Usuario FMAT Mensajes: 17 Registrado: 4-March 07 Miembro Nº: 4.277 Nacionalidad: Sexo:	q alguien se suba las leyes de morgan, son muchas -------------------- hipernet@gmail.com ... y, a pesar de sus múltiples aplicaciones, ¿alguien niega que la principal raíz de la matemática tiene que ver con la ociosidad y la búsqueda de juegos y desafíos intelectuales? El mismo Euclides despreciaba a los que querían aprender Geometría por su utilidad. Pero, ¿Qué más útil que el placer individual y grupal que provoca el cultivo de la matemática?

Makbo Ver Perfil del Miembro Ver los mensajes de este miembro	Apr 7 2007, 10:11 PM Publicado: #4
Dios Matemático Supremo Grupo: Colaborador Silver Mensajes: 743 Registrado: 23-November 05 Desde: Mi Humilde Hogar! Miembro Nº: 394 Nacionalidad: Universidad: Sexo:	Yo tengo algunas propiedades de logica aqui las comparto 1) Ley Idempotente $TEX: \[<br />\begin{gathered}<br /> a)p \wedge p \equiv p \hfill \\<br /> \hfill \\<br /> b)p \vee p \equiv p \hfill \\ <br />\end{gathered} <br />\]$ 2) Ley Conmutativa $TEX: \[<br />\begin{gathered}<br /> a)p \wedge q \equiv q \wedge p \hfill \\<br /> \hfill \\<br /> b)p \vee q \equiv q \vee p \hfill \\ <br />\end{gathered} <br />\]$ 3) Ley Asociativa: $TEX: \[<br />\begin{gathered}<br /> a)\left( {p \wedge q} \right) \wedge r \equiv p \wedge \left( {q \wedge r} \right) \hfill \\<br /> \hfill \\<br /> b)\left( {p \vee q} \right) \vee r \equiv p \vee \left( {q \vee r} \right) \hfill \\ <br />\end{gathered} <br />\]$ 4) Ley distributiva: $TEX: \[<br />\begin{gathered}<br /> a)p \wedge \left( {q \vee r} \right) \equiv \left( {p \wedge q} \right) \vee \left( {p \wedge r} \right) \hfill \\<br /> \hfill \\<br /> b)p \vee \left( {q \wedge r} \right) \equiv \left( {p \vee q} \right) \wedge \left( {p \vee r} \right) \hfill \\ <br />\end{gathered} <br />\]$ 5) Ley de Morgan: $TEX: \[<br />\begin{gathered}<br /> a) \sim \left( {p \wedge q} \right) \equiv \sim p \vee \sim r \hfill \\<br /> \hfill \\<br /> b) \sim \left( {p \vee r} \right) \equiv \sim p \wedge \sim r \hfill \\ <br />\end{gathered} <br />\]$ 6) Ley de Absorcion: $TEX: \[<br />\begin{gathered}<br /> a)p \wedge \left( {p \vee q} \right) \equiv p \hfill \\<br /> \hfill \\<br /> b)p \vee \left( {p \wedge q} \right) \equiv p \hfill \\ <br />\end{gathered} <br />\]$ 7) Ley del nuetro: $TEX: \[<br />\begin{gathered}<br /> a)p \wedge T \equiv p \hfill \\<br /> \hfill \\<br /> b)p \vee C \equiv p \hfill \\ <br />\end{gathered} <br />\]$ 8) Ley de implicancia o condicional: $TEX: \[<br />\begin{gathered}<br /> a)\left( {p \Rightarrow q} \right) \equiv \sim p \vee q\left( {Exclusion} \right) \hfill \\<br /> \hfill \\<br /> b) \sim \left( {p \Rightarrow q} \right) \equiv p \wedge \sim q\left( {Negacion...p \Rightarrow q} \right) \hfill \\<br /> \hfill \\<br /> c)\left( {p \Rightarrow q} \right) \equiv \left( { \sim q \Rightarrow \sim p} \right)\left( {Contrapositiva} \right) \hfill \\ <br />\end{gathered} <br />\]$ 9) Ley de la Dominacion: $TEX: \[<br />\begin{gathered}<br /> a)p \vee T \equiv T \hfill \\<br /> \hfill \\<br /> b)p \wedge C \equiv C \hfill \\ <br />\end{gathered} <br />\]$ 10) Ley del Inverso u Opuesto: $TEX: \[<br />\begin{gathered}<br /> a)p \vee \sim p \equiv T \hfill \\<br /> \hfill \\<br /> b)p \wedge \sim p \equiv C \hfill \\ <br />\end{gathered} <br />\]$ 11) Ley de la involucion o doble negacion: $TEX: \[<br /> \sim \left( { \sim p} \right) \equiv p<br />\]$ 12) Ley del Complemento: $TEX: \[<br />\begin{gathered}<br /> a) \sim V \equiv F \hfill \\<br /> \hfill \\<br /> b) \sim F \equiv V \hfill \\ <br />\end{gathered} <br />\]$ Saludos -------------------- © Ingeniero Civil Metalurgico. $TEX: [<br />psi psi psi .oint {mathfrak{M}alpha dag .mathbb{C}ell } <br />]$ "...La Felicidad es una mariposa que, si la persigues, siempre está justo más alla de tu alcance; Sin embargo, si te sentaras en silencio, podria posarse sobre ti..."

Donoso Ver Perfil del Miembro Ver los mensajes de este miembro	Apr 7 2007, 10:37 PM Publicado: #5
Principiante Matemático Destacado Grupo: Usuario FMAT Mensajes: 23 Registrado: 31-March 07 Desde: ►FloridaXcreW! Miembro Nº: 4.823 Nacionalidad: Colegio/Liceo: Universidad: Sexo:	vale se agradece mañana tenemos control xD o violacion mejor dicho a imprimir se ha dicho! -------------------- Estudiante Ingenieria Civil Industrial: 3er. Año

Gazoo Ver Perfil del Miembro Ver los mensajes de este miembro	Apr 8 2007, 01:22 AM Publicado: #6
Dios Matemático Supremo Grupo: Usuario FMAT Mensajes: 1.112 Registrado: 21-December 05 Desde: El Bosque - Stgo Miembro Nº: 473 Colegio/Liceo: Universidad: Sexo:	Transitividad del Implica [En el libro de la usach sale con otro nombre que no recuerdo ahora, pero este es rebueno y amistoso] $TEX: \[<br />[(p \Rightarrow q) \wedge (q \Rightarrow r)] \Rightarrow (p \Rightarrow r)<br />\]<br />$ Modus Ponens $TEX: \[<br />[p \wedge (p \Rightarrow q)] \Rightarrow q<br />\]<br />$ Modus Tollens $TEX: \[<br />[(p \Rightarrow q) \wedge \neg q] \Rightarrow \neg p<br />\]<br />$ A mi estan me han resultado más que útiles... Saludos! -------------------- "El sentido común es el conjunto de todos los prejuicios adquiridos antes de los 18 años" A. Einstein. Estudiante Ingeniería Civil Eléctrica - DIE USACH

TM2K4 Ver Perfil del Miembro Ver los mensajes de este miembro	Apr 8 2007, 01:46 AM Publicado: #7
Dios Matemático Supremo Grupo: Super Moderador Mensajes: 1.061 Registrado: 16-May 05 Desde: Industrias (USACH) Miembro Nº: 35 Nacionalidad: Colegio/Liceo: Universidad: Sexo:	buen aporte yo dejare un PDF de un archivo que me hize cuando estaba en el colegio con mas menos lo mismo, que les puede servir para imprimirlo. las propiedades del implica que puso gazoo hay que tenerla bien presente sobre todo la transitiva, que les puede salvar la patria ya hacer ahorrar mucho tiempo (en vez de poner a transformar el (P=>Q) a (nP ó Q)) lo digo porque en una pep de algebra me paso, y ahorre tiempo, mientras otros compañeros lo perdieron. bueno. eso saludos!! Archivo(s) Adjunto(s) Algebra_de_proposiciones.pdf ( 34.12k ) Número de descargas: 150 -------------------- Manual de Latex! Software generador de código Latex!

Donoso Ver Perfil del Miembro Ver los mensajes de este miembro	Apr 8 2007, 04:32 PM Publicado: #8
Principiante Matemático Destacado Grupo: Usuario FMAT Mensajes: 23 Registrado: 31-March 07 Desde: ►FloridaXcreW! Miembro Nº: 4.823 Nacionalidad: Colegio/Liceo: Universidad: Sexo:	igual tan piolas se agradece! -------------------- Estudiante Ingenieria Civil Industrial: 3er. Año

shaloq88 Ver Perfil del Miembro Ver los mensajes de este miembro	Apr 8 2007, 06:15 PM Publicado: #9
Dios Matemático Grupo: Usuario FMAT Mensajes: 325 Registrado: 26-November 06 Desde: L.F., Santiago Miembro Nº: 2.940 Nacionalidad: Universidad: Sexo:	estan buenas, como que se resumio todo en este topic, gracias ¡ CONTENIDO OCULTO BLOQUEADO ! Identifícate o Registrate para desbloquearlo. -------------------- Estudiante Ing. Civil Eléctrica de la Universidad de Santiago de Chile Hay grandes universidades en Santiago que tienen hasta su propia estación de metro: Usach = Metro Universidad de Santiago Uchile = Metro Universidad de Chile PUC = Metro Universidad Católica y las demás?, ¿serán tan importantes? jajaj , , Grande U. de Santiago, 160 años junto a usted =D Usach entre universidades de "excelencia" según la CNA

Gazoo Ver Perfil del Miembro Ver los mensajes de este miembro	Apr 8 2007, 06:19 PM Publicado: #10
Dios Matemático Supremo Grupo: Usuario FMAT Mensajes: 1.112 Registrado: 21-December 05 Desde: El Bosque - Stgo Miembro Nº: 473 Colegio/Liceo: Universidad: Sexo:	CITA(shaloq88 @ Apr 8 2007, 06:15 PM) Es que el profe dijo: ejemplo: (puede ser con Y o con O ) $TEX: $p \wedge q \equiv p \hfill \\ $$ $TEX: $p \wedge q \equiv q \hfill \\ $$ Creo que hay un error por ahi... . Se recomienda editar [aunque ya sale más arriba como "Idempotencia"]... Creo que ya sé a lo que te refieres, y también tiene un pequeño error: $TEX: $(a \wedge b \implies a)$$ $TEX: $(a \wedge b \implies b)$$ Hay una Implicancia, no una equivalencia... hay que tener mucho ojo. Yo lo pensaría así: p: Como q: Llueve (p^q)=>p: Si Como y llueve, entonces como (p^q)=>q: Si Como y llueve, entonces llueve Es lógico... xD Saludos -------------------- "El sentido común es el conjunto de todos los prejuicios adquiridos antes de los 18 años" A. Einstein. Estudiante Ingeniería Civil Eléctrica - DIE USACH

« Posterior · Álgebra · Anterior »

2 Páginas:

1 2 >

Reply to this topic

Start new topic

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

Suscribirse · Enviar por correo · Imprimir · Suscribirse a este foro

Versión Lo-Fi

Fecha y Hora actual: 24th November 2024 - 02:52 AM

Powered By IP.Board 2.2.1 © 2007 IPS, Inc.