Actividad 2.1

Tarea 1: Aplicación de las leyes de inferencia. APORTE INDIVIDUAL. Socializar en el Foro destinado para el trabajo colaborativo 2 la conceptualización y ejemplos específicos (En caso de ser un ejemplo extraído por alguna fuente bibliográfica, se debe citar correctamente empleando Normas APA) del grupo de las Leyes de Inferencia Lógica:  Distributiva, exportación y contraposición

DISTRIBUTIVA

En la lógica la distribución hace referencia a dos normas de reemplazo, que permiten reformular reglas de conjunciones y disyunciones. Se aplican cuando se tienen dos conectivos diferentes: conjunción-disyunción o bien disyunciónconjunción. Distribuye a la proposición fuera del paréntesis con las que están dentro de este.

p Ʌ (q V r) Ξ (p Ʌ q) V (p Ʌ r) V q) Ʌ (p V r)

(p→(q∧r)) Ξ ((p→q)∧(p→r)) ((p→q)∨(p→r))

p V (q Ʌ r) Ξ (p

(p→(q∨r)) Ξ

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 médico entonces es un médico cirujano o un médico pediatra, que es equivalente a, Si Pedro es médico entonces se dedica a la cirugía o si Pedro es médico entonces se dedica a la pediatría

DISTRIBUTIVA

p Ʌ (q V r) Ξ (p Ʌ q) V (p Ʌ r)

p V (q Ʌ r) Ξ (p V q) Ʌ (p V r)

(p→(q∧r)) Ξ ((p→q)∧(p→r))

(p→(q∨r)) Ξ ((p→q)∨(p→r))

Sigue el mismo principio de los factores que operan un binomio en un paréntesis. 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 paréntesis.

Ej. Jorge interpreta un instrumento, toca guitarra o bajo; por lógica 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 lógica equivale a, Mario juega futbol entonces él es defensa y Mario juega futbol entonces él juega bien.

EXPORTACIÓN Cambia de conectivo de conjunción a condicional cuando el antecedente es una conjunción, y los agrupa de diferente manera al dejar el primer conjuntivo como antecedente de toda la preposición y pasar el segundo conjuntivo al consecuente de la proposición 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.

EXPORTACIÓN

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.

[(p∧q)→r]

Ξ

[p→(q→r)]

Ej Si me enamoro entonces, siento amor lo que me hace feliz; por lógica equivale a, si me enamoro y siento amor, seré feliz.

CONTRAPOSICIÓN Cuando la proposición convertida respeta la cantidad, pero altera la forma de la proposición dada y toma como sujeto al concepto contradictorio del predicado de ésta, se tiene una conversión por contraposición.

P→q

Ξ

¬q → ¬p

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

CONTRAPOSICIÓN Para formar la contrapositiva de un aproposición dada, remplazamos el sujeto por el complemento del predicado y remplazamos el predicado por el complemento del sujeto.

p→q

Ξ

¬q → ¬p

Ej. Pedro es estudioso entonces es buen alumno; por lógica 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

CYBERGRAFÍA 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