Identificarse Registrarse

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



2 Páginas: V  < 1 2  
Reply to this topicStart new topic
> Ejercicios de logica
~Helloween~
mensaje Mar 24 2011, 04:08 PM
Publicado: #11


Dios Matemático
Ícono de Grupo

Grupo: Usuario FMAT
Mensajes: 255
Registrado: 7-October 10
Miembro Nº: 78.381
Nacionalidad:
Colegio/Liceo: Liceo Jose Victorino Lastarria
Universidad: Universidad de Chile-FCFM
Sexo:



La C)

TEX: $[\sim p \wedge (\sim p\vee q)] \rightarrow [q\rightarrow (p\vee q)]$

TEX: $\leftrightarrow [(\sim p \wedge \sim p) \vee (\sim p \wedge q)] \rightarrow [\sim q \vee (p\vee q)]$

TEX: $\leftrightarrow \overline{[(\sim p \wedge \sim p) \vee (\sim p \wedge q)]} \vee [(\sim q \vee p) \vee (\sim q \vee q)]$

TEX: $\leftrightarrow \overline{[(\sim p \wedge \sim p) \vee (\sim p \wedge q)]} \vee [(\sim q \vee p) \vee V]$

TEX: $\leftrightarrow \overline{[(\sim p) \vee (\sim p \wedge q)]} \vee V$

TEX: $\leftrightarrow \overline{\sim p}\vee V$ ---> Por Ley de Absorción

TEX: $\leftrightarrow p\vee V$

TEX: $\leftrightarrow V$

ojala este bueno XD

LA D) se resuelve por la parte derecha tambien, y el B) creo que es contradicción..

Mensaje modificado por ~Helloween~ el Mar 25 2011, 09:51 PM


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


Go to the top of the page
 
+Quote Post
Pain.x.Life
mensaje Apr 22 2011, 01:25 AM
Publicado: #12


Principiante Matemático
Ícono de Grupo

Grupo: Usuario FMAT
Mensajes: 2
Registrado: 22-April 11
Desde: Santiago
Miembro Nº: 87.481
Nacionalidad:
Universidad: Universidad Andres Bello
Sexo:



La B)

[p -> (p->q)] -> [(q->p) v q]

~[p -> (p->q)] v [(q->p) v q]

~[~p v (p->q)] v [(q->p) v q]

~[~p v (~pvq)] v [(~qvp) v q]

[~~p ^ ~(~pvq)] v [(~qvp) v q]

[p ^ (p^~q)] v [~q v p v q]

[p ^ p ^ ~q] v [~q v q v p]

[ p ^ ~ q ] v [ V v p ]

( p ^ ~ q ) v V v p

V

Saludos !

Mensaje modificado por Pain.x.Life el Apr 22 2011, 01:26 AM
Go to the top of the page
 
+Quote Post
fabian.andresp
mensaje Dec 22 2011, 01:29 PM
Publicado: #13


Matemático
Ícono de Grupo

Grupo: Usuario FMAT
Mensajes: 68
Registrado: 22-December 11
Miembro Nº: 99.488
Nacionalidad:
Colegio/Liceo: Liceo Andres Bello
Universidad: Universidad de Santiago-Facultad de Mecanica
Sexo:



soy principiante en esto
B) es tautologia ?


--------------------
Go to the top of the page
 
+Quote Post
Hugolo777
mensaje Mar 18 2012, 12:29 AM
Publicado: #14


Doctor en Matemáticas
Ícono de Grupo

Grupo: Usuario FMAT
Mensajes: 174
Registrado: 16-April 11
Desde: Rancagua
Miembro Nº: 87.191
Nacionalidad:
Universidad: Universidad de Chile-FCFM
Sexo:



CITA(fabian.andresp @ Dec 22 2011, 02:29 PM) *
soy principiante en esto
B) es tautologia ?

Así es compadre, la clave es usar caracterización de la implicancia, conmutatividad y asociatividad para sacar verdaderos a ambos lados de la implicancia mayor smile.gif


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

Go to the top of the page
 
+Quote Post
kaiba
mensaje Mar 26 2015, 08:04 PM
Publicado: #15


Principiante Matemático
Ícono de Grupo

Grupo: Usuario FMAT
Mensajes: 1
Registrado: 17-April 13
Miembro Nº: 117.721
Nacionalidad:
Colegio/Liceo: Liceo San Jose Punta Arenas
Universidad: Universidad de Magallanes
Sexo:



zippytecito.gif enconstruccion.gif
Go to the top of the page
 
+Quote Post

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

 

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