 problema de lógica |
|
|
|
|
|
|
Foro fmat.cl > Programa Enseñanza Universitaria > Consultas > Banco de Problemas Resueltos > Álgebra > Lógica Proposicional  |
 Apr 10 2011, 03:07 PM
Publicado:
#1
|
|
|
Principiante Matemático  Grupo: Usuario FMAT Mensajes: 10 Registrado: 31-March 09 Miembro Nº: 46.695  |
Hola chicos... tengo dificultades para resolver esto
Demuestre que la proposición es tautología [((∼ p ∨ q) ⇒ r) ∧ (r ⇒ (s ∨ t)) ∧ (∼ s∧ ∼ u) ∧ (∼ u ⇒∼ t)] ⇒ P se agradece 
Mensaje modificado por katitalatele el Apr 10 2011, 03:10 PM |
 |
 
|
|
Apr 10 2011, 03:32 PM
Publicado:
#2
|
|
 Dios Matemático Supremo Grupo: Usuario FMAT Mensajes: 880 Registrado: 14-January 09 Desde: En la pieza de tu hermana, y con tu vieja Miembro Nº: 42.102 Nacionalidad:  Colegio/Liceo:  Universidad:  Sexo:  |
Que representa ∧ ?
--------------------        Fabián Villarroel estudiante de cuarto año Ingenieria Civil Informatica UTFSM |
|
|
|
|
Apr 10 2011, 04:43 PM
Publicado:
#3
|
|
|
Principiante Matemático Grupo: Usuario FMAT Mensajes: 10 Registrado: 31-March 09 Miembro Nº: 46.695 |
CITA(dogvader @ Apr 10 2011, 04:32 PM)  Que representa ∧ ? y ....... no se que hice mal, pero llegué a s ∧ t |
|
|
|
|
Apr 10 2011, 05:44 PM
Publicado:
#4
|
|
 Dios Matemático Grupo: Usuario FMAT Mensajes: 255 Registrado: 7-October 10 Miembro Nº: 78.381 Nacionalidad: Colegio/Liceo:  Universidad:  Sexo: |
Pero te sabes las propiedades de lógica?
![TEX: $[((\overline{p} \vee q)\Rightarrow r) \wedge (r\Rightarrow (s\vee t)) \wedge (\overline{s}\wedge \overline{u}) \wedge (\overline{u} \Rightarrow \overline{t})] \Rightarrow p$](./tex/e0c3997720b20972de2519c4cd259499.png) ve que ahí hay un  , o sea, hay una transitividad por R.
Mensaje modificado por ~Helloween~ el Apr 10 2011, 06:15 PM --------------------   |
|
|
|
|
Apr 10 2011, 05:56 PM
Publicado:
#5
|
|
|
Principiante Matemático Grupo: Usuario FMAT Mensajes: 10 Registrado: 31-March 09 Miembro Nº: 46.695 |
era cosa de paciencia.... ya lo resolvi
 Apliqué silogismo asocié..... y seguí desarrollando |
|
|
|
|
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: 4th April 2025 - 10:21 AM |
