13/12/2019, 08:12:16 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: Determinar la validez de un argumento  (Leído 672 veces)
0 Usuarios y 1 Visitante están viendo este tema.
cristianoceli
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Chile Chile

Mensajes: 666


Ver Perfil
« : 14/04/2019, 07:54:11 pm »

Hola tengo dudas con este ejercicio. Estoy un poco oxidado en lógica

Determina la validez de este argumento

[texx](p\rightarrow{q}) , [/texx] [texx](r\rightarrow{\sim{q}}) [/texx] [texx]\vdash (r\rightarrow{\sim{p}})[/texx]


Lo que no entiendo muy bien es como hacerlo (¿con tablas de verdad?) y si lo hago así que representa la [texx],[/texx] un implica. Lo otro que tampoco entiendo es esta simbologia [texx]\vdash[/texx] no se muy bien que representa

De antemano gracias.


Saludos
En línea
Xtimmler
Semi pleno
***

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 59


Ver Perfil
« Respuesta #1 : 14/04/2019, 08:23:25 pm »

Hola yo soy nuevo en el álgebra pero según me parecería la coma seria como un [texx]\Leftrightarrow{}[/texx] si implica si y el Trinquete [texx]{\displaystyle \vdash }[/texx] significa según lo que busque "P es lo que causa Q" que lo relaciono yo con una implicación, haciendo la tabla de verdes a partir de eso me dio todo bastante parecido excepto por una parte que es cuando P es falso, Q es verdadero y R falso lo que me da [texx]P\Rightarrow{Q}[/texx] que es falso y [texx](R\Rightarrow{\sim{Q}}) {\displaystyle \vdash } (R\Rightarrow{\sim{P}})[/texx] es verdadero ya que en ambos falso implica verdadero lo cual es verdadero, entonces el argumento no es tautológico.

Espero que te allá servido mi respuesta.
En línea
cristianoceli
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Chile Chile

Mensajes: 666


Ver Perfil
« Respuesta #2 : 14/04/2019, 08:26:15 pm »

Hola yo soy nuevo en el álgebra pero según me parecería la coma seria como un [texx]\Leftrightarrow{}[/texx] si implica si y el Trinquete [texx]{\displaystyle \vdash }[/texx] significa según lo que busque "P es lo que causa Q" que lo relaciono yo con una implicación, haciendo la tabla de verdes a partir de eso me dio todo bastante parecido excepto por una parte que es cuando P es falso, Q es verdadero y R falso lo que me da [texx]P\Rightarrow{Q}[/texx] que es falso y [texx](R\Rightarrow{\sim{Q}}) {\displaystyle \vdash } (R\Rightarrow{\sim{P}})[/texx] es verdadero ya que en ambos falso implica verdadero lo cual es verdadero, entonces el argumento no es tautológico.

Espero que te allá servido mi respuesta.

Vale entonces es como una implicación ([texx]\Rightarrow{}[/texx]) ?

Gracias
En línea
Juan Pablo Sancho
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 4.672


Ver Perfil
« Respuesta #3 : 14/04/2019, 08:32:04 pm »

Es tarde te pongo esto (perdón por las posibles burradas):
La coma dice que que tienes estas dos afirmaciones [texx]p \to q [/texx]  y [texx] r \to \sim q [/texx] , y [texx]\vdash [/texx] es  implica.
Como [texx] p \to q [/texx] es equivalente a [texx] \sim q \to \sim p [/texx] las hipótesis son ahora:
[texx]r \to \sim q [/texx] y [texx] \sim q \to \sim p [/texx]
Estamos usando:
[texx]A \to B [/texx] y [texx] B \to  C [/texx] entonces [texx] A \to C [/texx].
En línea
cristianoceli
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Chile Chile

Mensajes: 666


Ver Perfil
« Respuesta #4 : 14/04/2019, 08:39:32 pm »

Es tarde te pongo esto (perdón por las posibles burradas):
La coma dice que que tienes estas dos afirmaciones [texx]p \to q [/texx]  y [texx] r \to \sim q [/texx] , y [texx]\vdash [/texx] es  implica.
Como [texx] p \to q [/texx] es equivalente a [texx] \sim q \to \sim p [/texx] las hipótesis son ahora:
[texx]r \to \sim q [/texx] y [texx] \sim q \to \sim p [/texx]
Estamos usando:
[texx]A \to B [/texx] y [texx] B \to  C [/texx] entonces [texx] A \to C [/texx].

Vale entonces seria verdadero.


Saludos
En línea
noisok
Semi pleno
***

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 72


Ver Perfil
« Respuesta #5 : 14/04/2019, 08:49:52 pm »

[texx]\begin{array}{llll}
1 & p→q &&           P\\
2 & r→\neg q &&      P\\
3 & &r &         P\\
4 & &\neg q &       MP\ 2,3\\
5 & &\neg p &         MT\ 1,4\\       
6 & r \rightarrow{} \neg p && CP\ 3,5\\
\end{array}[/texx]


Aquí tienes el razonamiento, dónde:
P es premisa
MP es la regla modus ponendo ponens y las lineas  aplicadas a la regla
MT es la regla modus tollendo tollens
CP es la regla  condicional
Finalmente la 6 es la deducción lógica o inferencia obtenida de las premisias iniciales 1 y 2. (que es lo que significa el símbolo [texx]⊢[/texx]) y que hemos deducido que necesariamente es verdadera, pues la hemos sacado aplicando reglas de inferencia validas.
Nota como la linea 3, se desplaza a la derecha pues es una premisa condicional, suponiendo que r sea verdadera, y todo lo deducido de alli, depende de esa nueva premisa, pero luego podemos aplicar la regla condicional para deducir la inferencia producto solo de las dos primeras premisas.
En línea
cristianoceli
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Chile Chile

Mensajes: 666


Ver Perfil
« Respuesta #6 : 14/04/2019, 09:31:18 pm »

[texx]\begin{array}{lllr}
1 & p→q &&           P\\
2 & r→\neg q &&      P\\
3 & &r &         P\\
4 & &\neg q &       MP\ 2,3\\
5 & &\neg p &         MT\ 1,4\\       
6 & r \rightarrow{} \neg p && CP\ 3,5\\
\end{array}[/texx]


Aquí tienes el razonamiento, dónde:
P es premisa
MP es la regla modus ponendo ponens y las lineas  aplicadas a la regla
MT es la regla modus tollendo tollens
CP es la regla  condicional
Finalmente la 6 es la deducción lógica o inferencia obtenida de las premisias iniciales 1 y 2. (que es lo que significa el símbolo [texx]⊢[/texx]) y que hemos deducido que necesariamente es verdadera, pues la hemos sacado aplicando reglas de inferencia validas.
Nota como la linea 3, se desplaza a la izquierda pues es una premisa condicional, suponiendo que r sea verdadera, y todo lo deducido de alli, depende de esa nueva premisa, pero luego podemos aplicar la regla condicional para deducir la inferencia producto solo de las dos primeras premisas.


Entiendo, muy bien explicado. Me quedó claro.

Saludos
En línea
hméndez
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Venezuela Venezuela

Mensajes: 362


Ver Perfil
« Respuesta #7 : 14/04/2019, 11:29:34 pm »

[texx]\begin{array}{lllr}
1 & p→q &&           P\\
2 & r→\neg q &&      P\\
3 & &r &         P\\
4 & &\neg q &       MP\ 2,3\\
5 & &\neg p &         MT\ 1,4\\       
6 & r \rightarrow{} \neg p && CP\ 3,5\\
\end{array}[/texx]


Aquí tienes el razonamiento, dónde:
P es premisa
MP es la regla modus ponendo ponens y las lineas  aplicadas a la regla
MT es la regla modus tollendo tollens
CP es la regla  condicional
Finalmente la 6 es la deducción lógica o inferencia obtenida de las premisias iniciales 1 y 2. (que es lo que significa el símbolo [texx]⊢[/texx]) y que hemos deducido que necesariamente es verdadera, pues la hemos sacado aplicando reglas de inferencia validas.
Nota como la linea 3, se desplaza a la izquierda pues es una premisa condicional, suponiendo que r sea verdadera, y todo lo deducido de alli, depende de esa nueva premisa, pero luego podemos aplicar la regla condicional para deducir la inferencia producto solo de las dos primeras premisas.


Entiendo, muy bien explicado. Me quedó claro.

Saludos

Aquí esta otra:

1. [texx]p\rightarrow{}q[/texx]       Premisa 1
2. [texx]r\rightarrow{\sim{q}}[/texx]    Premisa 2
3. [texx]q\rightarrow{}\sim{r}[/texx]    Por ley del contrarrecíproco en 2
4. [texx]p\rightarrow{\sim{r}}[/texx]     Por silogismo hipotético en 1 y 3
5. [texx]r\rightarrow{}\sim{p}[/texx]    Por ley del contrarrecíproco en 4 (conclusión)

Saludos
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!