Tarea 1: Aplicacin de las leyes de inferencia.

APORTE INDIVIDUAL.
Socializar en el Foro destinado para el trabajo colaborativo 2 la
conceptualizacin y ejemplos especficos (En caso de ser un ejemplo extrado
por alguna fuente bibliogrfica, se debe citar correctamente empleando
Normas APA) del grupo de las Leyes de Inferencia Lgica:
Distributiva, exportacin y contraposicin

DISTRIBUTIVA

En la lgica la distribucin hace referencia a dos normas de reemplazo, que

permiten reformular reglas de conjunciones y disyunciones. Se aplican cuando
se tienen dos conectivos diferentes: conjuncin-disyuncin o bien disyuncinconjuncin. Distribuye a la proposicin fuera del parntesis con las que estn
dentro de este.

p (q V r) (p q) V (p r)
V q) (p V r)

(p(qr)) ((pq)(pr))
((pq)(pr))

p V (q r) (p

(p(qr))

Ej. Si Julio es un comunicador entonces puede ser un publicista o un periodista,

que es equivalente a, Si Julio es comunicador entonces se dedica a la
publicidad o si Julio es comunicador entonces se dedica al periodismo.

Ej. Si Pedro es mdico entonces es un mdico cirujano o un mdico pediatra,

que es equivalente a, Si Pedro es mdico entonces se dedica a la ciruga o si
Pedro es mdico entonces se dedica a la pediatra

DISTRIBUTIVA

p (q V r) (p q) V (p r)

p V (q r) (p V q) (p V r)

(p(qr)) ((pq)(pr))

(p(qr)) ((pq)(pr))

Sigue el mismo principio de los factores que operan un binomio en un

parntesis. Donde el factor externo opera a cada uno de los miembros internos.
Se aplican a las combinaciones de conjunciones y disyunciones las cuales
agrupadas se pueden desagrupar distribuyendo su factor entre los miembros
del parntesis.

Ej. Jorge interpreta un instrumento, toca guitarra o bajo; por lgica equivale a,
Jorge interpreta un instrumento y toca guitarra o Jorge interpreta un
instrumento y toca bajo.
Ej. Mario juega futbol entonces l es defensa y juega bien; por lgica equivale
a, Mario juega futbol entonces l es defensa y Mario juega futbol entonces l
juega bien.

EXPORTACIN
Cambia de conectivo de conjuncin a condicional cuando el antecedente es
una conjuncin, y los agrupa de diferente manera al dejar el primer conjuntivo
como antecedente de toda la preposicin y pasar el segundo conjuntivo al
consecuente de la proposicin como parte de otra condicional.

[(p q) r]

[p (q r)]

Ej. Si corro y tengo velocidad, entonces avanzo, que es equivalente a, Si corro

entonces tengo velocidad por lo tanto avanzo.

EXPORTACIN

Se cambia el antecedente que contiene el conector por un , y se agrupan

las dos ltimas proposiciones como un consecuente formado por una nueva
condicional.

[(pq)r]

[p(qr)]

Ej Si me enamoro entonces, siento amor lo que me hace feliz; por lgica

equivale a, si me enamoro y siento amor, ser feliz.

CONTRAPOSICIN
Cuando la proposicin convertida respeta la cantidad, pero altera la forma de la
proposicin dada y toma como sujeto al concepto contradictorio del predicado
de sta, se tiene una conversin por contraposicin.

Pq

q p

Ej. Todo metal conduce el calor, que es equivalente a, Un no conductor de calor

no es metal.

CONTRAPOSICIN
Para formar la contrapositiva de un aproposicin dada, remplazamos el sujeto
por el complemento del predicado y remplazamos el predicado por el
complemento del sujeto.

pq

q p

Ej. Pedro es estudioso entonces es buen alumno; por lgica equivale a, Si no es

buen alumno entonces Pedro no es estudioso.

WEBGRAFIA
http://www.slideshare.net/MariaGaitan2/leyes-de-la-logica-e-inferencias
https://prezi.com/fiy2i7yb9jlk/leyes-de-exportacion-y-contraposicion/
http://logicayfunciones-fernando.blogspot.com.co/2012/07/leyes-de-la-logicade-proposiciones.html
https://matematicapositiva.wordpress.com/tag/leyes-del-algebra-deproposiciones/
http://es.slideshare.net/almadeindia/4-logica-deductiva

CYBERGRAFA
http://rosmirofuentesrocha.weebly.com/uploads/6/2/7/4/6274527/deduccion_pro
posicional.pdf
https://angelarendon.wordpress.com/2011/10/20/3-1-5-equivalencias-logicas/
https://prezi.com/fiy2i7yb9jlk/leyes-de-exportacion-y-contraposicion/
https://argumentosdevalides.wordpress.com/
https://es.wikipedia.org/wiki/Contraposici%C3%B3n_l%C3%B3gica
http://www.slideshare.net/MariaGaitan2/leyes-de-la-logica-e-inferencias