ARGUMENTOS Y REGLAS DE INFERENCIA.

ALBERTO A. GALLARDO GUIÑEZ

LOGICA MATEMATICA Y DIGITAL .

Instituto IACC
24.05.2021
INSTRUCCIONES.
DESARROLLO.

1. Teniendo en cuenta; que 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 perderá el ciclo.

- Premisa 1; si Juan no estudia matemáticas entonces no aprueba.

- Premisa 2; si Juan no aprueba pierde el semestre.
- Premisa 3; si Juan no estudia matemáticas entonces perderá el ciclo.

Lenguaje lógico.
A= Juan no estudia matemáticas
B= Juan perderá el semestre
Premisa 1= A→ B
Premisa 2= A
Conclusión= C
A→B (p)
B→C (p)
A→C (p)

Por lo que en el siguiente se utilizo la regla de inferencia MODUS PONENS, por lo que
ende si la implicación lógica de premisas y sus antecedentes son verdaderos, su
consecuente es verdadero.

2.

- ¬ (¬ P V ¬ Q) (p) tomando en cuenta la regla de inferencia de MODUS PONENS,

permite pasar de una única premisa a una conclusión establecida en la regla, por
ende funciona o es aplicable de igual manera en sentido contrario.
• P→ (H Λ T) (p) según la regla de inferencia de MODUS PONENS, esta conclusión
seria valida, debido a que P= H Λ T. La regla de Modus Ponens permite que sea
asiduo a más de dos premisas la que de igual manera tener conclusiones válidas, para
que sea validada

• Q → (H Λ T) (p) , para la siguiente descripción simbólica, según la regla de inferencia

de MODUS PONENS, esta conclusión seria valida, debido a que Q= H Λ T. La regla
de Modus Ponens permite que sea aplicada a más de dos hipótesis y de igual manera
tener conclusiones válidas, como lo muestra la conclusión, parecido al caso anterior.
Lo que hace que esta sea válida.

3.

1. N→ ￢Q (p)
2. ￢￢Q (p) doble negación = Q
3. ￢(N V P)→ N (p)
4. ￢ N MTT 1 y 2
5. N V P 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:
6. P LS 5 (simplificación)
7. P V H LA 6 (Adición)
BIBLIOGRAFÍA.

- CONTENIDO SEMANA NRO.4 Y CONTENIDO ADICIONAL A ESTA.

INFERENCIA LOGICA.

- http://www.dci.ugto.mx/~msabido/logica/2_a.pdf