Reglas de Inferencia Y Demostración.: Realizado Por Lcda. Laura Alcalde

Realizado por Lcda.
Laura Alcalde
REPUBLICA BOLIVARIANA DE VENEZUELA
MINISTERIO DE LA DEFENSA
UNIVERSIDAD NACIONAL EXPERIMENTAL
POLITECNICA DE LA FUERZA ARMADA NACIONAL
ESPECIALIDAD: INGENIERIA DE SISTEMAS

ASIGNATURA: LOGICA MATEMATICA
REGLAS DE INFERENCIA Y DEMOSTRACIÓN.
Modus Ponendo Ponens (PP)

Método (Modus) que, afirma (Ponens) el consecuente, afirmando (Ponendo) el
antecedente.
La regla de inferencia Modus Ponendo Ponens permite demostrar q a partir de p  q
y p.
La conclusión es consecuencia lógica de las premisas, es decir, siempre que las
premisas son ciertas, la conclusión es también cierta.
Premisa 1. Si él esta en el partido de fútbol, entonces él está en el estadio.

Premisa 2. Él esta en el partido de fútbol
Conclusión. Él está en el estadio.
Simbólicamente el ejemplo se expresa así:
Sea:
p= él esta en el partido de fútbol.
q= él está en el estadio.
entonces:
Premisa 1. p  q
Premisa 2. p
Conclusión. q
Ejemplo: Se quiere probar la proposición p, a partir de las premisas q  r, r 

p, q.
(1) q  r Premisa
(2) r  p Premisa
(3) q Premisa
(4) r PP (1)(3)
(5) p PP (2)(4)
Doble Negación (DN)

Permite pasar de una premisa única a la conclusión. Un ejemplo es el de una
negación de negación.
Ejemplo:
No ocurre que Ana no es una estudiante.
¿Qué conclusión se puede sacar de esta premisa?
Evidentemente se puede decir:
Ana es una estudiante
También se puede tener:

Juan toma el autobús para ir a la escuela.
Se puede concluir la negación de su negación:
No ocurre que Juan no toma el autobús para ir a la escuela.
Suppes, P y Hill, S. “Introducción a la lógica Matemática”. Editorial Reverte, 1982.

Realizado por Lcda. Laura Alcalde
Simbología:
(p) y (p)
(p) (p)
Ejemplo:
(1) r Premisa
(2)  r DN (1)
Ejemplo haciendo uso de las dos reglas de inferencia hasta ahora vistas.
Demostrar  q a partir de las premisas p  q, p
(1) p  q Premisa
(2) p Premisa
(3) q PP (1) (2)
(4)  q DN (3)
Extensión de la definición de negación:

p es la negación de  p
Modus Tollendo Tollens (TT)

Método (Modus) que, negando (Tollendo) el consecuente, se puede negar (Tollens) el
antecedente de la condicional.
Premisa 1. Si tiene luz propia, entonces el astro es una estrella.

Premisa 2. El astro no es una estrella.
Conclusión. Por tanto no tiene luz propia.
Simbólicamente el ejemplo se expresa así:
Sea:
p: tiene luz propia.
q: el astro es una estrella.
entonces:
p  q
 q
 p
Ejemplo: (Utilizando las reglas de inferencias utilizadas hasta ahora)

Demostrar  r a partir de las premisas p  q, q,  p  r
(1) p  q Premisa
(2) q Premisa
(3)  p  r Premisa
(4)  p TT (1) (2)
(5) r PP (3) (4)
(6)  r DN (5)
Adjunción (A)
Se suponen dadas dos proposiciones como premisas
Premisa 1. Jorge es adulto
Premisa 2. María es adolescente

Si ambas proposiciones son verdaderas, entonces se podrían juntar en una
proposición molecular utilizando el conectivo “y” obteniendo una proposición
verdadera
Jorge es adulto y María es adolescente.
Simbólicamente se puede ilustrar:
Premisa 1. p
Premisa 2. q
Se puede concluir pq
O se puede concluir qp
Simplificación (S)
Si se tiene una premisa que dice:
El cumpleaños de María es el viernes y el mío es el sábado.
De esta premisa se puede deducir dos proposiciones:

Una conclusión El cumpleaños de María es el viernes
Y la otra conclusión El mío es el sábado
Si la premisa es cierta, cada una de las conclusiones es también cierta.
Simbólicamente tendríamos:
De la premisa pq
Se puede concluir p
O se puede concluir q
Modus Tollendo Ponens (TP)

Método (Modus) que, negando (Tollendo) un miembro de la disyunción se afirma
(Ponens) el otro miembro.
Simbólicamente se tiene:
De la premisa pq
Y la premisa p
Se puede concluir q
O También
De la premisa pq
Y la premisa q
Se puede concluir p
Ejemplo: Suponiendo que se tiene:
Premisa 1. O esta sustancia contiene hidrógeno o contiene oxígeno

Premisa 2. Esta sustancia no contiene hidrógeno
Por medio del TP se puede concluir
Conclusión. Esta sustancia contiene oxigeno.
Simbólicamente tendríamos
p: Esta sustancia contiene hidrógeno.

q: Esta sustancia contiene oxigeno.

La demostración de la conclusión es:
(1) pq Premisa
(2) p Premisa
(3) q TP (1)(2)
Ley de Adición (LA)

Si se tiene una proposición que es cierta, entonces la disyunción de aquella
proposición y otra cualquiera ha de ser también es cierta.
Ejemplo:
Premisa dada como cierta: Esta libro es azul
Entonces se sabe que la proposición siguiente ha de ser cierta:
O este libro es azul o es rojo.
Simbólicamente se puede tener: pq, pr, pt, ps y así sucesivamente

Ejemplo:
(1) q Premisa
(1) q s LA (1)
Ley del Silogismo Hipotético (SH)

La conclusión es una proposición condicional.
Ejemplo:
(1). Si hace calor, entonces Juana va a nadar.
(2). Si Juana va a nadar, entonces arregla la casa después de comer.
Se puede concluir:
(3) S hace calor, entonces arregla la casa después de comer.
Simbolización:
p: Hace calor.
q: Juana va a nadar
r: Arregla la casa después de comer.
(1) pq Premisa

(2) qr Premisa
(3) pr SH (1)(2)
Ley del Silogismo Disyuntivo (SD)

Empieza con una disyunción y dos condicionales.
Ejemplo:
O llueve o el campo está seco
Si llueve, entonces jugaremos dentro.
Si el campo esta seco, entonces jugaremos a baloncesto.
La conclusión sería otra disyunción:

O jugaremos dentro o jugaremos baloncesto.
Simbolización:
p: Llueve
q: El campo está seco
r: Jugaremos dentro
s: Jugaremos baloncesto
(1) pq Premisa

(2) p r Premisa
(3) q s Premisa
(4) rs SD (1)(2)(3)

Se puede deducir rs
O se puede deducir sr
Ley de Simplificación Disyuntiva (SimpD)

Si alguien dice “Magallanes ganará” o “Magallanes ganará”, se quiere decir que
simplemente opina que “Magallanes ganará”. En forma simbólica el razonamiento es:
s  s
por tanto
s
Ejemplos:
(1)  q   q Premisas
(2)  q SimpD (1)
En el caso de la disyunción las dos proposiciones deben ser exactamente la misma.

Aplicación importante de la simplificación disyuntiva cunado el silogismo
disyuntivo tiene la forma:
p  q
p  q
q  r
Por tanto r  r
En este caso se puede simplificar la conclusión r  r reduciéndola a r. Pues si r 
r es cierta, entonces r ha de ser cierta.
Leyes Conmutativas (LC).

Se aplica a las conjunciones y disyunciones; es decir, el cambio del orden de los
miembros de las conjunciones o disyunciones no altera su significado.
Ejemplo:
Conjunción.
La adición es una operación binaria y la multiplicación es una operación binaria.
Por tanto, la multiplicación es una operación binaria y la adición es una operación
binaria
Disyunción.
O una fuerza actúa sobre un cuerpo o la velocidad del cuerpo no varía.
Por tanto, o la velocidad del cuerpo no varía o una fuerza actúa sobre un cuerpo.
Simbólicamente:
p  q es igual a q  p
p  q es igual a q  p
Las Leyes de Morgan (LM)

En el lenguaje corriente ocurre a veces que hay proposiciones enunciadas de manera
distintas que tienen el mismo significado.
Ejemplo:
(1) No llueve y no hace sol,
Se puede también expresar, en forma algo reforzada, diciendo:
(2) No ocurre que llueva o que haga sol.
De allí se puede concluir simbólicamente lo siguiente:
Para la conjunción se tiene  (pq) siendo equivalente a ( p   q)

Para la disyunción se tiene  (pq) siendo equivalente a ( p   q)

Ley del Bicondicional (LB)
Una proposición bicondicional se parece extraordinariamente a dos proposiciones
condicionales.
Ejemplo:
Estos campos se inundan si y solo si el agua alcanza esta altura.
Donde:
p: Estos campos se inundan
q: el agua alcanza esta altura
Simbología: pq
La proposición bicondicional pq tiene la misma fuerza que dos proposiciones

condicionales; primera pq y segunda qp.
Se puede concluir simbólicamente lo siguiente:

(pq) es equivalente a (pq)  (qp)

Reglas de Inferencia Y Demostración.: Realizado Por Lcda. Laura Alcalde

Cargado por

Copyright:

Formatos disponibles

Reglas de Inferencia Y Demostración.: Realizado Por Lcda. Laura Alcalde

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Reglas de Inferencia Y Demostración.: Realizado Por Lcda. Laura Alcalde

Cargado por

Copyright:

Formatos disponibles

Realizado por Lcda.

ESPECIALIDAD: INGENIERIA DE SISTEMAS

REGLAS DE INFERENCIA Y DEMOSTRACIÓN.

Modus Ponendo Ponens (PP)

Premisa 1. Si él esta en el partido de fútbol, entonces él está en el estadio.

Simbólicamente el ejemplo se expresa así:

Ejemplo: Se quiere probar la proposición p, a partir de las premisas q  r, r 

Doble Negación (DN)

También se puede tener:

Suppes, P y Hill, S. “Introducción a la lógica Matemática”. Editorial Reverte, 1982.

Extensión de la definición de negación:

Modus Tollendo Tollens (TT)

Premisa 1. Si tiene luz propia, entonces el astro es una estrella.

Simbólicamente el ejemplo se expresa así:

Ejemplo: (Utilizando las reglas de inferencias utilizadas hasta ahora)

Suppes, P y Hill, S. “Introducción a la lógica Matemática”. Editorial Reverte, 1982.

Simbólicamente se puede ilustrar:

De esta premisa se puede deducir dos proposiciones:

Si la premisa es cierta, cada una de las conclusiones es también cierta.

Modus Tollendo Ponens (TP)

Ejemplo: Suponiendo que se tiene:

Premisa 1. O esta sustancia contiene hidrógeno o contiene oxígeno

p: Esta sustancia contiene hidrógeno.

Suppes, P y Hill, S. “Introducción a la lógica Matemática”. Editorial Reverte, 1982.

Ley de Adición (LA)

Simbólicamente se puede tener: pq, pr, pt, ps y así sucesivamente

Ley del Silogismo Hipotético (SH)

(1) pq Premisa

Ley del Silogismo Disyuntivo (SD)

La conclusión sería otra disyunción:

(1) pq Premisa

Suppes, P y Hill, S. “Introducción a la lógica Matemática”. Editorial Reverte, 1982.

Ley de Simplificación Disyuntiva (SimpD)

En el caso de la disyunción las dos proposiciones deben ser exactamente la misma.

Leyes Conmutativas (LC).

Las Leyes de Morgan (LM)

Para la conjunción se tiene  (pq) siendo equivalente a ( p   q)

Suppes, P y Hill, S. “Introducción a la lógica Matemática”. Editorial Reverte, 1982.

La proposición bicondicional pq tiene la misma fuerza que dos proposiciones

Se puede concluir simbólicamente lo siguiente:

Suppes, P y Hill, S. “Introducción a la lógica Matemática”. Editorial Reverte, 1982.

También podría gustarte