Scribd
Cargar
445 vistas2 páginas

Inferencia Lógica

Este documento describe la inferencia lógica como un proceso de pasar de un conjunto de premisas a una conclusión. Explica que la inferencia lógica es válida si la conjunción de las premisas implica necesariamente la conclusión. A continuación, presenta 10 ejercicios para determinar si diferentes inferencias lógicas son válidas o no aplicando tablas de verdad o un método abreviado.

Cargado por

Alex Delivan
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
445 vistas2 páginas

Inferencia Lógica

Este documento describe la inferencia lógica como un proceso de pasar de un conjunto de premisas a una conclusión. Explica que la inferencia lógica es válida si la conjunción de las premisas implica necesariamente la conclusión. A continuación, presenta 10 ejercicios para determinar si diferentes inferencias lógicas son válidas o no aplicando tablas de verdad o un método abreviado.

Cargado por

Alex Delivan
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

INFERENCIA LÓGICA

La inferencia lógica es un proceso lógico de pasar de un conjunto de premisas a


una conclusión.
La inferencia lógica es una CONDICIONAL representado por:
(p1 Ʌ p2 Ʌ . . . . Ʌ pn ) → 𝐶 ;
pi ; 𝑖 = ̅̅̅̅̅
1, 𝑛
Si se tiene que:
𝑉[p1 Ʌ p2 Ʌ . . . . Ʌ pn ) → 𝐶] = 𝑉, entonces la Inferencia Lógica (I. L) es Valida
(Tautología), caso contrario no es Válida.
Ejercicios de aplicación
Representar las siguientes proposiciones con sus respectivos conectores e
indicar si la inferencia es válida o no es válida.
1. Dados las proposiciones compuestas y denotados por las premisas A, B y C:
𝐴 = p ↔ ~ (q Ʌ r)
B=~p∆~r
C = ~( pɅ q)v ~ r
A) Determinar la inferencia lógica de A y C.
B) La inferencia lógica de B y C
2. Establecer si la siguiente inferencia es válida:
“Si el triángulo es isósceles entonces tiene 2 lados iguales. Pero, el triángulo no
tiene 2 lados iguales; por lo tanto no es isósceles”.
Método Abreviado
Es un procedimiento que evita el laborioso trabajo de construir la tabla de
valores para determinar la validez de la inferencia lógica.
Este método consiste en:
I. Suponer que la conjunción de la premisas sea verdadero y la conclusión falsa.
II. Determinar el valor de validez de cada uno de las proposiciones.
III. Si las proposiciones presentan un solo valor de validez entonces la Inferencia
Lógica no será Válida.
IV. Si una Proposición presenta dos valores de verdad (V o F), entonces se indica
que la Inferencia Lógica es Válida.
Ejemplo: (comprobar)

3. Estudiar la validez de la siguiente proposición compuesta utilizando el método


abreviado de:
p1 : ~p → (~q Ʌ ~ r )
p2 : (~p Ʌ ~q) → ~ s )
p3 : ~(p v ~ s )
C: = t
4. Establecer si la siguiente inferencia es válida:
p1 : p ↔ ~q
p2 : q v r
p3 : ~ r
C≔ ~q
5. Establecer si la siguiente inferencia es válida:
p1 : p → q
p2 : ~q → ~ r
C≔ p↔r
6. Comprobar la validez del enunciado:
“si estudio, entonces no perderé matemáticas y si no juego futbol, entonces
estudiare; pero perdí matemáticas. Por tanto, jugué futbol.
7. Establecer si la siguiente inferencia es válida:
p1 : p → q
p2 : ~p ∆ ~r
p3 : r ↔ q
C≔p→r
8. Establecer si la siguiente inferencia es válida:
p1 : q → p
p2 : q → ( r v s )
p3 : ~(~ q v ~s)
C ≔ r → (s → p)
9. Establecer si la siguiente inferencia es válida:
“si me gustan las matemáticas, entonces estudiare. Estudio o pierdo el curso; en
consecuencia, si pierdo el curso, entonces no me gustan las matemáticas”

10. Establecer si la siguiente inferencia es válida:


p1 : p ↔ q
p2 : ~p ∆ s
p3 : r → s
C ≔ p → (r Ʌ ~q)

También podría gustarte