Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Instituto IACC
13-09-2021
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 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 que se puede
obtener una conclusión verdadera, las reglas de inferencia pueden ser aplicadas en conjunto y así
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
Si Juan no estudia matemáticas entonces no aprueba, Si Juan no aprueba pierde el semestre; por
R= Pierde el semestre
S= Pierde el ciclo
P1= ¬ P ¬ Q
P2= ¬Q R
C1= ¬ P R
C2= ¬P R (T)
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
P= ¬(p Λ q)
C=¬p V ¬ q
3. Utilizando las reglas de inferencia, demostrar que H Λ T es una conclusión válida para las
siguientes proposiciones:
1= ¬ (¬ P V ¬ Q) (p)
2= P → (H Λ T) (p)
3= Q → (H Λ T) (p)
4= P Λ Q (M)
P= ¬ (P V Q)
C= ¬ P V Q
P1= PVQ
P2= P R
P3= QS
C=R V S
6= H Λ T (S.D) 5
P= P V P
C= P
4. Utilizando las reglas de inferencia, demostrar que P V N, es una conclusión válida para las
siguientes proposiciones:
1= N→ ¬ Q (p)
2= ¬ ¬ Q (p)
3= ¬ (P V N) → N (p)
4= ¬ N (T.T ) 1,2
P1= PQ
P2= PQ
C= ¬ P
5= N V P (T.T) 3,4
6= P V H (A)
P= P
C= P V Q
Bibliografía