Control Semana 4

Adrián Vásquez Parra

Lógica Matemática y Digital

Instituto IACC

04-05-2020
Argumentos y Reglas de inferencia.

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.

p = juan estudia matemáticas ¬p → ¬q (p)

q = juan aprueba ¬q → r (p)
r = juan pierde el semestre ¬p → r (c)

Regla Transitiva o Silogismo hipotético, el consecuente de una premisa y el

antecedente de otra son iguales

2. Utilizando las reglas de inferencia, demostrar que “q” es una conclusión válida para
las siguientes proposiciones:
• r↔(s Λ q) (p)
Bicondicional: r → (s Λ q) (s Λ q) → r
Mudus Ponens: r → (s Λ q) (p)
r (p)
(s Λ q) (c)

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

Morgan:
(s Λ q) Λ ¬r
Tollendo Ponens (s Λ q) Λ ¬r (p)
¬r (p)
(s Λ q) (c)
Al negar un miembro de la disyuncion se afirma el otro en este caso al negar bastaria
negar S para concluir q

3. Utilizando las reglas de inferencia, demostrar que H Λ T es una conclusión válida para
las siguientes proposiciones: (3pts).
• ¬(¬ P V ¬ Q) (p) MORGAN P Λ Q
• P → (H Λ T) (p) T.P P (p) ( H Λ T ) (c)
• Q → (H Λ T) (p) T.P Q (p) ( H Λ T ) (c)
Basta con quesolo una de ambas P o Q sean ciertas para concluir ( H Λ T )

4. Utilizando las reglas de inferencia, demostrar que P V N, es una conclusión válida para
las siguientes proposiciones: (3pts).
• N→ ¬Q (p) T.T Q(p) ¬N (c)
Al negar el consecuente ¬Q se niega el antecedente N, la negación de ¬Q se concluye
en la siguiente proposición.
• ¬¬Q (p) Doble negación Q (c)
• ¬(P V N)→ N (p) T.T ¬N (p) (P V N) (c)
Al negar el consecuente N ( como la conclusión de N→ ¬Q ) se niega el antecedente
¬(P V N), por lo tanto P V N es una conclusión valida.
REFERENCIAS
IACC (2018). Argumentos y reglas de Inferencia, Lógica Matemática y Digital , Semana 3