Scribd
Cargar
560 vistas6 páginas

Reglas de Inferencia en Lógica Digital

Este documento discute argumentos y reglas de inferencia. Explica que las premisas son hipótesis que pueden usarse para obtener conclusiones válidas mediante razonamiento deductivo y lógica. Las reglas de inferencia permiten deducir conclusiones verdaderas al relacionar lógicamente las premisas con la conclusión. El documento también presenta tres ejemplos que demuestran el uso correcto de las reglas de inferencia para validar conclusiones basadas en un conjunto de premisas.

Cargado por

Cxmilo Andres
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 DOCX, PDF, TXT o lee en línea desde Scribd
560 vistas6 páginas

Reglas de Inferencia en Lógica Digital

Este documento discute argumentos y reglas de inferencia. Explica que las premisas son hipótesis que pueden usarse para obtener conclusiones válidas mediante razonamiento deductivo y lógica. Las reglas de inferencia permiten deducir conclusiones verdaderas al relacionar lógicamente las premisas con la conclusión. El documento también presenta tres ejemplos que demuestran el uso correcto de las reglas de inferencia para validar conclusiones basadas en un conjunto de premisas.

Cargado por

Cxmilo Andres
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 DOCX, PDF, TXT o lee en línea desde Scribd

Argumentos y reglas de inferencia

Camilo Carrasco

Lógica y matemática digital

Instituto IACC

06/09/19
Desarrollo

Las premisas son todas aquellas hipótesis que pueden plantearse, también conocidas como

proposiciones. A lo largo de esta semana se estudió el conjunto de pasos necesarios para obtener

conclusiones verificadas de dichas premisas, teniendo en consideración que estas deben tener

ciertas características para poder alcanzar una conclusión válida. El uso del razonamiento

deductivo y la lógica común facilita la tarea de aplicar dichas normas sobre las proposiciones, es

por ello por lo que se requiere de igual atención para no errar al momento de utilizar las reglas.

Los métodos utilizados o reglas de inferencia permiten deducir una conclusión, teniendo en

cuenta que se conoce la forma en la que está constituida la fórmula. Y es por ello por lo que se

puede obtener una conclusión verdadera, las reglas de inferencia pueden ser aplicadas en

conjunto y así demostrar una deducción planteada o una determinación en un proceso lógico. El

hecho de utilizar las reglas de inferencia para demostrar conclusiones indica que existe una

estrecha relación lógica entre las premisas y la conclusión, debido al hecho de que son múltiples

reglas que pueden utilizarse juntas en una deducción, es decir, la conclusión que arroja una regla

puede tomarse como premisa para una nueva regla, se tiene que indicar cuál se está utilizando y

qué factores se están relacionando para así no tener confusiones en las conclusiones.
1- Teniendo en cuenta el siguiente enunciado, represente el mismo y determine mediante el

uso de las reglas de inferencia si la conclusión planteada es válida (3pts).

Si Juan no estudia matemáticas entonces no aprueba, Si Juan no aprueba pierde el

semestre; por lo tanto, si Juan no estudia matemáticas entonces perderá el ciclo.

- Utilizando las reglas de inferencia, demostrar que “q” es una conclusión válida

para las siguientes ↔ (s Λ q) (p)

- ¬ [¬ (s Λ q) V r] (p)

o P1= Juan estudia matemáticas = q

o P2= Juan aprueba matemáticas = r

o P3= Juan pierde semestre = s

 ￢q → ￢r

 ￢r → s

Conclusión: ￢q → s

 ￢q → s LSH 1,2

- ↔ (s Λ q) (p)
- ￢ [￢ (s Λ q) V r] (p)

- (s Λ q) Λ ￢ r LM 2
2- Utilizando las reglas de inferencia, demostrar que H Λ T es una conclusión válida para

las siguientes proposiciones: (3pts).

- ¬ (¬ P V ¬ Q) (p)

- P→ (H Λ T) (p)

- Q → (H Λ T) (p)

- PΛQ LM 1

- (H Λ T) V (H Λ T) LSil.D (Silogismo) 2, 3 y 4

- HΛT LSim.D (Simplificación) 5


3- Utilizando las reglas de inferencia, demostrar que P V H, es una conclusión válida para

las siguientes proposiciones: (3pts).

- N→ ¬Q (p)

- ¬¬Q (p)

- ¬ (N V P) → N (p)

- ￢N MTT 1 y 2

- NVP MTT 3 y 4

- Se podría haber aplicado Ley de Simplificación si hubiese un conector de conjunción

en lugar de disyunción. Si hubiese sido N Λ P se aplica:

- P LS 5 (simplificación)

- PVH LA 6 (Adición)
Bibliografía

1- Material de apoyo IACC

También podría gustarte