Argumentos y reglas de inferencia

Jorge Ismael Bernal Montoya

Lógica matemática y digital

Instituto IACC

05/07/2021
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.
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.

Premisa 1: juan estudia matemáticas = p

Premisa 2: juan aprueba matemáticas = q
Premisa 3: pierde el semestre = r
1: ¬p → ¬ q
2: ¬q → r
Conclusión: ¬p → r
3: ¬p → r LSH 1,2 (el antecedente de la premisa 2 es igual al consecuente 1)

2. Utilizando las reglas de inferencia, demostrar que “q” es una conclusión válida para las
siguientes proposiciones:
1: r↔(s Λ q) (p)
2: ¬[¬(s Λ q) V r] (p)
3: (s ^ q) ^ ¬r LM 2
Premisa ¬ (p ^ q)
Conclusión ¬p v ¬q
3. Utilizando las reglas de inferencia, demostrar que H Λ T es una conclusión válida para las
siguientes proposiciones: (3pts).
1: ¬(¬ P V ¬ Q) (p)
2: P → (H Λ T) (p)
3: Q → (H Λ T) (p)
4: p ^ q LM 1
5: (h ^ t) v (h ^ t) Lsil. D 2,3 y 4
6: h ^ t L. sim. D 5

4. Utilizando las reglas de inferencia, demostrar que P V N, es una conclusión válida para
las siguientes proposiciones: (3pts).
1: N→ ¬Q (p)
2: ¬¬Q (p)
3: ¬(P V N)→ N (p)
4: ¬n MTT 1,2
5: p v n MTT 3,4
IACC (2018). Argumentos y reglas de inferencia. Lógica Matemática
y Digital. Semana 4.

Irving M. Copi, Lógica simbólica.

Patrick Suppes y Shirley Hill, Introducción a la Lógica matemática.