27 Febrero, 2020, 17:15 *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Estoy perdido!!una demostración  (Leído 1345 veces)
0 Usuarios y 2 Visitantes están viendo este tema.
Juanlee
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Mensajes: 7


Ver Perfil
« : 13 Diciembre, 2007, 02:00 »

Dado que p es Cierto, necesito demostrar que p[texx]\vee[/texx] ([texx]\wedge p[/texx]k desde k=1 hasta n) es Cierto. 

Desde ahora gracias.
En línea
Fernando Revilla
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 10.581


Las matemáticas son demasiado humanas (Brouwer).


Ver Perfil WWW
« Respuesta #1 : 13 Diciembre, 2007, 07:07 »

En general para p, q enunciados cualesquiera con p verdadero aplica la tabla de verdad para p v q. ¿ Cuál es el problema ?

Saludos, Phidias.


En línea

administrador
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 1.558



Ver Perfil
« Respuesta #2 : 13 Diciembre, 2007, 10:27 »

Ya sabes: [texx]p\vee q[/texx] es verdadera cuando al menos una de las dos proposiciones es verdadera. (*)

Por ejemplo, si sabes que q es verdadera, entonces puedes asegurar que [texx]\overline{p}\vee q[/texx] es verdadera, y también  [texx]p\vee q[/texx] es verdadera. Simplemente porque en este caso q es verdadera.

Ahora aplica tú esas ideas a tu problema particular.


Saludos

_______________________
(*) Ten en cuenta para otra vez que, de la misma forma, [texx]p\wedge q[/texx] es verdadera cuando exactamente las dos proposiciones son verdaderas.
Para una lista finita de proposiciones:
[texx]p\vee q\vee \cdots\vee r[/texx] es verdadera cuando al menos una de las proposiciones es verdadera.
[texx]p\wedge q \wedge \cdots \wedge r[/texx] es verdadera cuando exactamente todas son verdaderas.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!