Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 846 vistas

    Inferencia Logica

    Cargado por

    QB9 MEDIA
    Este documento describe la inferencia lógica. Explica que la inferencia lógica involucra premisas, una conclusión y reglas para determinar si un argumento es válido o no. Define que un argumento es válido si siempre que las premisas son verdaderas, la conclusión también lo es. Proporciona ejemplos para ilustrar cómo determinar la validez de un argumento usando tablas de verdad o un método abreviado.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd

    Inferencia Logica

    Cargado por

    QB9 MEDIA
    846 vistas17 páginas
    Este documento describe la inferencia lógica. Explica que la inferencia lógica involucra premisas, una conclusión y reglas para determinar si un argumento es válido o no. Define que un argumento es válido si siempre que las premisas son verdaderas, la conclusión también lo es. Proporciona ejemplos para ilustrar cómo determinar la validez de un argumento usando tablas de verdad o un método abreviado.

    Descripción original:

    logica inferencial

    Título original

    2. INFERENCIA LOGICA

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PPTX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento describe la inferencia lógica. Explica que la inferencia lógica involucra premisas, una conclusión y reglas para determinar si un argumento es válido o no. Define que un argumento es válido si siempre que las premisas son verdaderas, la conclusión también lo es. Proporciona ejemplos para ilustrar cómo determinar la validez de un argumento usando tablas de verdad o un método abreviado.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    846 vistas17 páginas

    Inferencia Logica

    Cargado por

    QB9 MEDIA
    Este documento describe la inferencia lógica. Explica que la inferencia lógica involucra premisas, una conclusión y reglas para determinar si un argumento es válido o no. Define que un argumento es válido si siempre que las premisas son verdaderas, la conclusión también lo es. Proporciona ejemplos para ilustrar cómo determinar la validez de un argumento usando tablas de verdad o un método abreviado.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    de 17

    INFERENCIA

    LÓGICA

    Ing. Dr. NELSON QUIÑONES VASQUEZ


    INFERENCIA LÓGICA
    Objetivo: Verificar la validez o no de un argumento
    lógico
    Elementos del juego:
    Premisas
    Conclusión
    Jugador + Intelecto
    Lápiz y papel
    Reglas del juego: Son las que describiremos a
    continuación
    PREMISAS

    ¿Qué entenderemos por premisas?


    Serán proposiciones simples o compuestas, por
    ejemplo:
    pq
    p q
    p
    ~p
    p  q
    (p  q)  (~ r  s)
    CONCLUSIÓN

    Será otra proposición simple o compuesta,


    que se obtiene a partir de las premisas
    aplicando las reglas del juego
    VALIDEZ
    Dadas una serie de premisas p1,p2,….pn en donde “n” es
    un entero positivo y q es la conclusión
    El argumento será válido si cada vez que las premisas
    sean verdaderas, entonces q también lo es.
    Esto sería equivalente a probar que el condicional:
    (p1 p2 ……. pn)  q es verdadero
    Con el antecedente (p1  p2 ……. pn ) verdadero.
    OBSERVACIÓN
    Observemos que el antecedente p1  p2  …  pn
    será falso si alguna (al menos una) de las
    premisas es falsa, con lo cual la implicación
    sería verdadera, sin importar el valor de verdad
    de q.
    Entonces una vía para establecer la validez de un
    argumento, es demostrando que la proposición

    (p1  p2 ……. pn )  q es una tautología


    EJEMPLO 1.
    Dado el siguiente argumento, verificar si es o no
    válido
    Premisa 1 :Si llego a tiempo entonces participo en el
    juego
    Premisa 2 : Llego a tiempo
    Conclusión: Participo en el juego
    Este argumento con sus premisas y su
    conclusión lo podemos simbolizar como
    sigue:
    p1 : p  r
    p2 : p
     r
    El símbolo  se lee por tanto y se ubica antes
    de la conclusión.
    Analicemos si ((p r)  p)  r es una tautología con la
    tabla de certeza:

    P2 C P1
    p r pr ((p r )  p)  r
    V V V V
    V F F V
    F V V V
    F F V V

    En efecto la implicación ((p r ) p)  r es una tautología y por


    tanto el argumento es válido
    EJEMPLO 2.

    Sean p, q y r tres proposiciones simples dadas como


    sigue:
    p: Iván estudia
    q: Iván juega fútbol
    r: Iván aprueba el semestre
    Tomemos p1, p2 y p3 como premisas y q como conclusión:
    p1: Si Iván estudia, entonces aprobará el semestre
    p2: Si Iván no juega fútbol, entonces estudiará
    p3: Iván no aprobó el semestre
    Conclusión: Iván juega fútbol
    Se quiere determinar si el argumento (p1p2p3)q es
    válido.
    Para ellosimbolizamos las premisas y la
    conclusión y escribimos:
    p1: p  r
    p2: ~q p
    p3: ~r
    Examinaremos la tabla de certeza para el argumento.
    [(p  r)  (~q  p)  ~r]  q
    La tabla de certeza es:

    p1 p2 p3 (p1  p2 p3 )  q
    p q r pr ~q  p ~r ((p  r)  (~q  p)  ~r )  q
    V V V V V F V
    V V F F V V V
    V F V V V F V
    V F F F V V V
    F V V V V F V
    F F V V F F V
    F V F V V V V
    F F F V F V V

    Luego la implicación es una tautología y por tanto el argumento


    (p1  p2 p3 )  q es válido
    METODO ABREVIADO

    Con este segundo ejemplo, podemos intuir que para un


    argumento que contenga más de 3 proposiciones
    simples, el método de las tablas de verdad puede
    ser muy engorroso.
    En realidad hay que centrarse sólo en el caso en que
    cada una de las premisas sea verdadera. En los
    ejemplos anteriores esto correspondería a la fila
    con el sombreado claro.
    Cuando se tiene más de 3 proposiciones simples es
    conveniente aplicar el método abreviado que se
    describe a continuación.
    PASOS QUE SIGUE EL METODO ABREVIADO

    1. Se supone verdadero el consecuente y falso el consecuente


    2. Se determinan los valores de las variables del consecuente
    de manera que expresen la falsedad de este
    3. Se trasladan estos valores al antecedente y se designan los
    valores de las demás variables tratando de hacer verdadero
    el antecedente
    4. Si se verifica la hipótesis (FALSEDAD), la formula es no
    tautológica, en consecuencia, la inferencia correspondiente
    será invalida; si no se verifica la hipótesis, la formula será
    tautológica, en consecuencia, la inferencia correspondiente
    será valida.
    EJEMPLO 3.

    Sea el argumento:

    Si eres fiscal eres abogado.


    Si eres profesional, Eres abogado.
    Luego, Si eres Fiscal, eres profesional

    Formula: 𝒑→𝒒 ∧ 𝒓→𝒒 → 𝒑→𝒓


    PROCEDIMIENTO
    a) Se supone V (verdadero el antecedente y F (falso) el
    consecuente:
    V F
    𝒑→𝒒 ∧ 𝒓→𝒒 → 𝒑→𝒓

    b) Se determina el valor de las variables del consecuente

    V F
    𝒑→𝒒 ∧ 𝒓→𝒒 → 𝒑→𝒓
    V F F
    PROCEDIMIENTO
    c) Se Trasladan estos valores al antecedente y se
    asignan los valores a las demás variables:

    V F
    𝒑→𝒒 ∧ 𝒓→𝒒 → 𝒑→𝒓
    V V V V F V V F V F F
    d) habiendo asignado el valor de verdad de V a la
    variable q, las dos premisas han asumido el valor de
    verdad y todo el antecedente ha tomado el valor de
    verdad con lo que queda verificada la hipótesis
    siendo, por lo tanto , la formula no tautológica; es
    decir, la inferencia correspondiente es invalida.
    GRACIAS

    También podría gustarte