09/12/2019, 03:58:38 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

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: Verdadero o falso de consecuencia lógica.  (Leído 302 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Jambo
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
Uruguay Uruguay

Mensajes: 160


Ver Perfil
« : 28/04/2019, 02:53:49 am »

Hola, tengo que (otra vez) demostrar si las siguientes afirmaciones son verdaderas o falsas, espero puedan ayudarme.

1. [texx](\exists{\alpha},\beta\in{PROP})(\exists{v_1}valuación)(v_1(\neg(\neg\alpha\lor\neg\beta))=1~ y~ v_1(\alpha)=1 ~y~ v_1(\beta)=0)[/texx]

2.[texx](\exists{\alpha}\in{PROP})(\alpha \neq{\bot}~y~\alpha\models\ \bot)[/texx]

3.[texx](\exists{\alpha},\beta\in{PROP})(\exists{\Gamma}\subseteq{PROP})(\Gamma\cup{\left\{{\beta}\right\}}\models(\alpha\rightarrow{\beta})\lor (p_1\rightarrow{p_2}))[/texx]

4.Para todo [texx]\alpha,~\beta,~\gamma\in{PROP}[/texx] si [texx]\alpha\land\beta\models\gamma[/texx] entonces [texx]\alpha\models\gamma[/texx] y [texx]\beta\models\gamma[/texx]

1. La marqué como falsa, ya que a partir de  [texx]v_1(\alpha)=1 ~y~ v_1(\beta)=0[/texx] llego a que [texx](v_1(\neg(\neg\alpha\lor\neg\beta))=0[/texx]

2.La marqué como verdadera, porque con cualquier [texx]\alpha[/texx] donde [texx]v(\alpha)=0[/texx], se cumple

3.No supe como encararlo... ¿alguna idea?

4. Creo que es falsa, porque aplicando las definiciones no pude concluir nada, pero tampoco se me ocurre un contraejemplo...

Agradezco cualquier ayuda :sonrisa:
En línea
Carlos Ivorra
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 9.067


Ver Perfil WWW
« Respuesta #1 : 28/04/2019, 10:52:22 am »

1. La marqué como falsa, ya que a partir de  [texx]v_1(\alpha)=1 ~y~ v_1(\beta)=0[/texx] llego a que [texx](v_1(\neg(\neg\alpha\lor\neg\beta))=0[/texx]

Correcto.

2.La marqué como verdadera, porque con cualquier [texx]\alpha[/texx] donde [texx]v(\alpha)=0[/texx], se cumple

Más que [texx]v(\alpha)=0[/texx], esto tiene que suceder para toda valoración [texx]v[/texx] y no sólo para una en particular. Lo más fácil es poner un ejemplo concreto, como [texx]\alpha = p\land \lnot p[/texx].

3.No supe como encararlo... ¿alguna idea?

Es una pregunta bastante tonta, en el sentido de que no sé qué esperará el que la ha planteado, pero, tal cual está enunciada, tiene una respuesta tan tonta como [texx]\beta = p_1\rightarrow p_2[/texx] y cualquier [texx]\Gamma[/texx], o también sirve [texx]Gamma = \{p_1\rightarrow p_2\}[/texx] y cualquier [texx]\beta[/texx].

4. Creo que es falsa, porque aplicando las definiciones no pude concluir nada, pero tampoco se me ocurre un contraejemplo...

Toma [texx]\alpha = p_0, \beta = p_1, \gamma = p_0\land p_1[/texx].
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!