Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 1K vistas

    La Inferencia Logica

    Cargado por

    Ford Snencer
    Este documento describe dos métodos para determinar la validez de una inferencia lógica: 1) la tabla de verdad, que evalúa todas las posibilidades de valores de verdad de las premisas y conclusión, y 2) el método abreviado, que asume la conjunción de premisas verdadera y conclusión falsa para ver si es posible o no. El método abreviado involucra asignar valores de verdad a las premisas y conclusión, deducir valores para otras variables, y verificar si cada variable cumple una sola función de verdad.

    Copyright:

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

    La Inferencia Logica

    Cargado por

    Ford Snencer
    1K vistas2 páginas
    Este documento describe dos métodos para determinar la validez de una inferencia lógica: 1) la tabla de verdad, que evalúa todas las posibilidades de valores de verdad de las premisas y conclusión, y 2) el método abreviado, que asume la conjunción de premisas verdadera y conclusión falsa para ver si es posible o no. El método abreviado involucra asignar valores de verdad a las premisas y conclusión, deducir valores para otras variables, y verificar si cada variable cumple una sola función de verdad.

    Título original

    LA INFERENCIA LOGICA (1).docx

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento describe dos métodos para determinar la validez de una inferencia lógica: 1) la tabla de verdad, que evalúa todas las posibilidades de valores de verdad de las premisas y conclusión, y 2) el método abreviado, que asume la conjunción de premisas verdadera y conclusión falsa para ver si es posible o no. El método abreviado involucra asignar valores de verdad a las premisas y conclusión, deducir valores para otras variables, y verificar si cada variable cumple una sola función de verdad.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    1K vistas2 páginas

    La Inferencia Logica

    Cargado por

    Ford Snencer
    Este documento describe dos métodos para determinar la validez de una inferencia lógica: 1) la tabla de verdad, que evalúa todas las posibilidades de valores de verdad de las premisas y conclusión, y 2) el método abreviado, que asume la conjunción de premisas verdadera y conclusión falsa para ver si es posible o no. El método abreviado involucra asignar valores de verdad a las premisas y conclusión, deducir valores para otras variables, y verificar si cada variable cumple una sola función de verdad.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 2

    LA INFERENCIA LÓGICA

    Un razonamiento es deductivo si y solo si las premisas son evidencias de la verdad de la


    conclusión, es decir, si p1, p2, …., pn son verdaderas entonces q es verdadera; cuando se deduce
    esto se dice que se ha construido una inferencia. De este modo, toda regla de inferencia es
    tautológico.

    Una inferencia es válida si y solo si la premisa p o conjunción del conjunto de premisa {𝑝𝑖} implica
    la conclusión q, esto es, si:

    (𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ … … … … ∧ 𝑝𝑛) → 𝑞 es una tautología

    Para determinar la validez de la inferencia existen 2 métodos :

    1) Tabla de verdad
    Ejemplo: Determinar la validez de la inferencia: “Sí el triángulo es isósceles entonces tiene
    dos lados iguales. Pero, el triángulo no tiene dos lados iguales; por lo tanto, no es
    isósceles”.
    Solución. Sean: p = “el triángulo es isósceles”
    q = “el triángulo tiene dos lados iguales”
    Entonces, el esquema de la inferencia es:
    P1 : 𝑝 → 𝑞 P1 : Premisa 1

    P2: ~𝑞 P2: Premisa 2

    ∴ ~𝑝 Conclusión
    P q (p → 𝑞) ∧ ( ∼ 𝑞) → ~𝑞
    V V V F F V F
    V F F F V V F
    F V V F F V V
    F F V V V V V
    pasos 1 3 2 5 4

    Como el resultado de la tabla de verdad es una tautología, la inferencia es válida.

    2) Método abreviado
    Es un procedimiento que evita la laboriosa tarea de construir la tabla de valores para
    determinar la validez de las inferencias. Este método consiste en suponer la conjunción de
    premisas verdadera y la conclusión falsa, única posibilidad que invalida la implicación:
    (𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ … … … … ∧ 𝑝𝑛) → 𝑞
    V V V V F
    Si no se demuestra esta posibilidad la inferencia será válida.
    En la prueba de este método se aplica los siguientes pasos:
    a) Asignar el valor de verdad V a cada una de las premisas y de la falsedad F a la
    conclusión.
    b) Deducir la validez de cada una de las variables proposicionales en función de las reglas
    veritativas, empezando por la conclusión o por el operador de una de las premisas que
    ofrece una sola posibilidad.
    c) Si cada uno de las variables cumple una sola función veritativa, se habrá probado que
    la conjunción de premisas es verdadera y la conclusión es falsa; por lo que, la
    inferencia no será válida (no hay implicación).
    d) Si una variable tiene dos valores de verdad y falsedad a la vez, quedara demostrado
    que no es posible que la conjunción de premisas sea verdadera y la conclusión falsa.
    Por lo que, hay implicación y la inferencia será válida.

    Ejemplo:

    Establecer si es válida la inferencia:

    p↔ ~𝑞
    q vr
    ~r

    ~q

    Solución: empezamos escribiendo el esquema de la inferencia en la forma:

    a) (𝑝 ↔ ~𝑞) ∧ (𝑞 ∨ 𝑟) ∧ (∼ 𝑟) → ~𝑞

    V V V F
    b) Empezamos por la conclusión si 𝑉(~𝑞) = 𝐹 → 𝑉(𝑞) = 𝑉. Trasladamos este valor a la
    primera premisa y notamos que si: 𝑉(𝑝 ↔ 𝐹) = 𝑉 → 𝑉(𝑝) = 𝐹(única posibilidad). En la
    tercera premisa:𝑉(~𝑟) = 𝑉 → 𝑉(𝑟) = 𝐹. Estos dos valores encontramos satisfacen el
    valor de verdad de la segunda premisa.

    c) Como cada una de las variables cumple una sola función veritativa, decimos que la
    inferencia no es válida. Esto es, se ha demostrado que la conjunción de premisas es
    verdadera y la conclusión falsa

    También podría gustarte