UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES

CURSO PENSAMIENTO LOGICO MATEMATICO

Actividad Individual
Paso 3 Uso de las Reglas de Inferencia

Diana Marcela Herrera

Cdigo: 1.083.879.371
Grupo 200611A_459

Oscar Eduardo Vidal

Tutor

Universidad Nacional Abierta y a Distancia (UNAD)

Escuela de Ciencias Sociales Artes y Humanidades
Programa de Psicologa
Noviembre del 2016

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

CONTENIDO

1.
2.
3.
4.
5.
6.

Objetivos
Introduccin
Primera Etapa
Segunda Etapa
Tercera Etapa
Conclusin

OBJETIVOS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

1.
2.
3.
4.
5.

Identificar los conocimientos previos.

Fortalecer los conceptos necesarios para mi aprendizaje.
Comprender y aplicar los conceptos estudiados.
Interpretar los procesos de razonamiento y as llegar una posible solucin.
Aprender a manejar los simuladores para tablas de verdad.

INTRODUCCION

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

Lgica es el estudio del razonamiento; se refiere especficamente a si el razonamiento es

correcto. La lgica se centra en la relacin entre las afirmaciones y no en el contenido de
una afirmacin en particular.
El lenguaje natural es un instrumento de comunicacin humana, que se caracteriza por su
gran flexibilidad y puede estar lleno de redundancias y ambigedades. Estas caractersticas
hacen que la lgica formal no est interesada en el lenguaje natural.
La lgica pretende ser una ciencia rigurosa y universal que permita realizar clculos
exactos. Para ello, la lgica requiere el diseo de un lenguaje artificial que sea formal,
donde lo que importe sea la forma o aspecto externo, y no el significado de las frases y
donde slo los mensajes que cumplan rigurosamente las normas sintcticas sean aceptados
como correctos.
La lgica se ocupa bsicamente de declaraciones o enunciados que se caracterizan porque
sus afirmaciones tienen un valor de verdad. Esto es, la lgica trata a las proposiciones que
se pueden definir como enunciados simples, ya sean falsos o verdaderos, son proposiciones.

PRIMERA ETAPA CONCEPTUALIZACIN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

DEMOSTRACIN POR CONTRAPOSICIN

Qu es una demostracin?
Es un razonamiento lgico, en el cual se argumenta utilizando distintas afirmaciones con el
fin de comprobar que lo propuesto sea verdadero. La demostracin se utiliza en diversas
reas, tanto en las matemticas, ciencias, en la vida cotidiana, en los juicios en la corte,
entre otros.
a. Demostracin por contraposicin
En lgica, la contraposicin de una declaracin condicional se forma negando ambos
trminos e invirtiendo la direccin de la inferencia. Explcitamente, la contraposicin de la
declaracin "si A, entonces B" es "si no es B, entonces no A." Una declaracin y su
contrapositiva son lgicamente equivalentes: si la afirmacin es cierta, entonces su
contrapositivo es cierto, y viceversa.
En matemticas, la demostracin por contraposicin es una regla de inferencia utilizada en
demostraciones. Esta regla se infiere una sentencia condicional a partir de su
contraposicin. En otras palabras, la conclusin "si A, entonces B" se extrae de la premisa
simple "si no B, entonces no A."
Ejemplo
Sea x un nmero entero.
Para demostrar: Si x es par, entonces x es par.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

A pesar de se puede dar una demostracin directa, optamos por probar esta afirmacin por
contraposicin. La contraposicin de la declaracin anterior es:
Si x no es par, entonces x no es par.
Esta ltima afirmacin se puede demostrar de la siguiente manera. Supongamos que x no es
uniforme. Entonces x es impar. El producto de dos nmeros impares es impar, por lo tanto,
x = x x es impar. Por lo tanto x no es par.
Despus de haber probado la contraposicin, inferimos la declaracin original.
Relacin con la prueba por la contradiccin
Cualquier demostracin por contraposicin tambin puede formularse trivialmente en
trminos de una demostracin por contradiccin: Para demostrar la proposicin P => Q,
consideramos lo contrario, (P => Q) = (P V Q) = P ^ Q. Puesto que tenemos una
prueba de que Q => P, tenemos P ^ Q => P ^ P = lo que llega a la contradiccin
que se pretende. As que demostracin por contraposicin es en cierto sentido "al menos tan
difcil de formular" como demostracin por contradiccin.
b. Contrarrecproco
Se llama Contrarrecproco o contraposicin a una ley lgica, formalizada en los silogismos
por Aristteles, que establece que la negacin de un consecuente implica la negacin de su
antecedente. Es decir, si una primera premisa implica una segunda premisa, se puede
concluir que la negacin de la segunda premisa implica la negacin de la primera premisa.
En consecuencia, la implicacin original y su Contrarrecproco son equivalentes.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

Esta ley lgica puede escribirse formalmente como:

(A B) ( B A)
Por ejemplo, la siguiente implicacin
Est lloviendo, por lo tanto, te espero dentro del teatro.
Es equivalente a su Contrarrecproco
No te espero dentro del teatro, por lo tanto, no est lloviendo.
El Contrarrecproco es una articulacin alternativa del modus tollendo tollens de la lgica
proposicional.
En efecto, si analizamos su tabla de valores de verdad:
A
V
V
F
F

B
V
F
V
F

(A B)
V
F
V
V

V
V
V
V

( B A)
V
F
V
V

Esta equivalencia queda clara, puesto que se obtiene una tautologa.

Demostracin por Contrarrecproco
Si tenemos que demostrar que una proposicin p implica una proposicin q (es decir, si se
da p, se tiene que dar q), a veces es ms sencillo demostrar que si no se da q, entonces no
puede cumplirse p. Esto se conoce como demostracin por Contrarrecproco o
contraposicin. Ntese que "p implica q" y "no q implica no p" son proposiciones
equivalentes.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

Ejemplo
Un ejemplo sencillo: "Demustrese que todos los nmeros primos mayores que 2 son
impares". Aqu, la proposicin p es "n es un nmero primo mayor que 2" y la proposicin q
es "n es un nmero impar". Demostrar "si todo nmero primo es mayor que 2, entonces es
impar (p => q) es lo mismo que demostrar que " si todo entero a negativo no es impar,
entonces no es un nmero primo o es menor o igual que 2." p => p

Esto es ms fcil de demostrar, ya que todo nmero par se puede escribir como n = 2 k,
donde k es mayor o igual que 1 (la idea de nmero primo tiene sentido slo en los nmeros
naturales). Si k es igual a 1, tenemos n = 2, nmero primo. Si, por el contrario, k es mayor
que 1, entonces n es mayor que 2, pero no es primo ya que tiene algn factor que no es ni 1
ni l mismo. As que 2 es el nico nmero primo par, por lo que se ha demostrado que todos
los nmeros primos mayores que 2 son impares.
c. Contraposicin lgica
En lgica, la contraposicin lgica es una ley que dice que, para cada sentencia
condicional, hay una equivalencia lgica entre la misma y su contraposicin. En la
contraposicin de una sentencia, el antecedente y consecuente son invertida y negada: por
lo tanto, la contraposicin de P Q es, por lo tanto, Q P. Por ejemplo, la
proposicin "Todos los murcilagos son mamferos" puede ser reescrita en su forma
condicional "Si algo es murcilago, entonces es mamfero." Por ltimo, la ley dice que la
sentencia es idntica a su contrapositiva "Si algo no es mamfero, entonces no es
murcilago."

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

La contrapositiva puede ser comparada con otras tres relaciones entre sentencias
condicionales:
Inversin (la inversa): P Q
"Si algo no es murcilago, entonces no es mamfero." A diferencia de la contrapositiva, el
valor-verdad de la inversa no depende del todo del valor de verdad de la sentencia original.
La inversa, aqu, claramente no es verdadera.
Conversin (la recproca): Q P
"Si algo es mamfero, por lo que es murcilago." Lo contrario es, de hecho, la
contrapositiva de la inversa, por lo tanto, siempre posee el mismo valor-verdad de inversa,
por lo tanto, no es necesariamente el mismo que el de la proposicin original.
Negacin: (P Q)
"Existe un murcilago que no es mamfero." Si la negacin es verdadera, la proposicin
original (y, consecuentemente, la contrapositiva) es falsa. En el ejemplo mostrado, la
negacin es claramente falsa.
Note que si P Q es verdadera y nos es informado de que Q falsa, Q, puede ser
lgicamente inferido que P debe ser falso, P. Esto es, normalmente, llamado ley de la
contrapositiva, o de regla de inferencia modus tollens.

Explicacin intuitiva

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

10

Consideremos el diagrama de Venn. Est claro que, si algo est en A, tambin debe estar en
B. Podemos reescribir "Todo A est en B", como
AB
Tambin est claro que cualquier cosa que no est en B, tambin no puede estar en A. Esa
sentencia,
BA
Es la contrapositiva. As, podemos decir que
(A B) ( B A)
En la prctica, esto puede facilitar bastante al intentar probar algo. Por ejemplo, si
queremos demostrar que todas las chicas de Estados Unidos (A) son rubias (B), podemos o
bien tratar de probar (A B), revisando cada una de las chicas de Estados Unidos para ver
si son todas rubias. O, alternativamente, podemos tratar de probar ( B A),
comprobando que todas las chicas que no son rubias para ver si todas estn fuera de
EE.UU... Esto significa que si encontramos al menos una chica no rubia en Estados Unidos,
hemos refutado ( B A), lo que equivale a (A B).
En sntesis, para cualquier juicio que A implica B, entonces no B siempre implica no A.
Probar o refutar cualquiera de las dos sentencias automticamente prueba o refuta la otra.
Son completamente equivalentes.

SEGUNDA ETAPA - CONCEPTUALIZACIN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

11

SIMPLIFICACIN Y LEY DE LA CONJUNCIN

Simplificacin de Proposiciones
La simplificacin de una proposicin, o dicho de otra manera, la simplificacin de una
expresin lgica, consiste en reducir la expresin lgica a una forma ms simple mediante
el uso de los axiomas y/o leyes lgicas.
La simplificacin consiste en ir desarrollando la expresin paso a paso mediante la
sustitucin en cada paso de una expresin lgica equivalente a la anterior, hasta llegar a una
expresin lgica irreducible.
A travs de la simplificacin podemos tambin demostrar una equivalencia lgica sin usar
tablas de verdad.
Un ejemplo en espaol:
2 es un nmero par y 2 es un nmero primo.
Luego 2 es un nmero par.
La regla se puede expresar el lenguaje formal como:
P^Q
P

Ejemplo:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

12

1. Una sociedad es una coleccin de individuos que buscan una forma de vida y la
cultura es su forma de vida.
S: Una sociedad es una coleccin de individuos que buscan una forma de vida
C: la cultura es su forma de vida.
S^C
S^C
S
C
En la primera concluimos que, Una sociedad es una coleccin de individuos que
buscan una forma de vida, y en la segunda que, en una sociedad la cultura es su
forma de vida.
Ley de la Conjuncin
En razonamiento formal, una conjuncin lgica (^) entre dos proposiciones es un conector
lgico, cuyo valor de verdad resulta en cierto, solo si ambas proposiciones son ciertas, y en
falso de cualquier otra forma. Existen diferentes contextos donde se utiliza la conjuncin
lgica.
En lenguajes formales, la palabra y se utiliza en espaol para simbolizar una conjuncin
lgica. La nocin equivalente en la teora de conjuntos es la interseccin ( ). En Algebra
Booleana, la conjuncin como operador binario entre dos variables se presenta con el
smbolo de punto medio. En electrnica, una puerta AND es una puerta lgica que
implementa una conjuncin lgica.

Ejemplos:
1. Sea la proposicin molecular: "8 es mltiplo de 2 y 9 es un nmero impar"
p = "8 es mltiplo de 2" (verdadera), q = "9 es un nmero impar" (verdadera)
Por ser ambas verdadera la conjuncin entre ellas es verdadera.
2. Sea la proposicin molecular: "La fresa es una fruta y 3 es un nmero par"
p = "La fresa es una fruta" (verdadera), q = "3 es un nmero par" (falsa)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

13

Por tanto, la conjuncin entre ellas es falsa, ya que ambas no son simultneamente
verdaderas.

TERCERA ETAPA SITUACIN PROBLMICA DEL ANEXO 1

Numera # 5
Un grupo de estudiantes de Licenciatura en Pedagoga Infantil de la UNAD han iniciado un
trabajo de campo con algunos nios de un Jardn Infantil, para generar estrategias en cuanto
al proceso del aprendizaje de lectura, siendo muy importante la edad cronolgica en los
nios para el fortalecimiento de dicho proceso de aprendizaje. Ruth es la docente que lidera
el trabajo de campo de los estudiantes y les comenta lo siguiente: si Teresa tiene cuatro
aos de edad, entonces Teresa posee los mismos aos de vida que Juliana. Si Jacinto tiene
una edad diferente que Teresa, entonces Jacinto posee una edad diferente que Juliana.
Teresa tiene cuatro aos y Jacinto tiene la misma edad que Juliana. Por consiguiente,
Jacinto posee la misma edad que Teresa y Teresa la misma edad que Juliana. Por favor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

14

determinar si el razonamiento hecho por Ruth es vlido, segn el proceso de demostracin

por medio de tablas de verdad y del uso de las leyes de inferencia.
Representados en Condicional Material y Simplificacin Lgica
P: Teresa
Q: Juliana
B: Jacinto
(P Q) => (B Q) => (P ^ Q)

P
V
V
V
V
F
F
F
F

Q
V
V
F
F
V
V
F
F

B
V
F
V
F
V
F
V
F

(PQ)
V
F
V
V
V
V
V
V

Simulador TRUTH

=>
V
F
V
V
F
V
V
V

(P^Q

>
V
F
V
V
F
V
V
F

)
V
F
F
F
F
F
F
F

(BQ)
V
F
V
V
V
V
V
V

(PQ) => (BQ) => (P^Q)

V
V
F
V
F
F
V
F

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

BP^PQ
P
V
V
V
V
F
F
F
F

Q
V
V
F
F
V
V
F
F

B
V
F
V
F
V
F
V
F

BP
V
F
V
V
V
V
V
V

Simulador TRUTH

^
V
F
F
F
F
F
F
F

PQ
V
F
V
V
V
V
V
V

BP^PQ
V
F
V
V
V
F
V
F

15

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

16

CONCLUSIN

La Lgica es una ciencia formal que solo evala la estructura de la proposiciones

sin tener en cuenta, necesariamente, la verdad emprica.
Las leyes de inferencia son mecanismos sintcticos que permiten deducir y razonar
lgica y coherentemente una inferencia o conclusin a partir de hechos que ya
conocemos.
Realizar inferencias significa derivar nuevos hechos a partir de un conjunto de otros

hechos conocidos y que son verdaderos.