1

Pensamiento lgico y matemtico

Paso 3 - Uso de las reglas de inferencia

Presentado por:

Sindy carolina gomez

Grupo: 200611_418

Presentado

Enrique Rodrguez Bonilla

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Sociales, Artes y Humanidades ECSAH

Programa Psicologa
 2

Objetivos

Objetivo general: desarrollar los ejercicios aplicados en la gua integradora.

Objetivos especficos:

1. Identificar los aspectos esenciales de la Demostracin por Contradiccin.

2. Realizar una presentacin sobre la algebra de Boole.
3. Desarrollar el ejercicio seleccionado y aplicar las tablas de verdad y aplicar
las leyes de inferencia.
 3

Introduccin

En este documento encontrara informacin relevante referente a la temtica

seleccionada por el estudiante el cual es en la ETAPA 1. Conceptualizacin de
uno de los tipos de demostracin lgica seleccionada la cual fue Demostracin por
Contradiccin (Reduccin al Absurdo) aqu el estudiante plantea conceptos
centrales de la temtica y ejemplos de ellas mismas en la ETAPA 2.
Conceptualizacin de una de las terminologas de las leyes de inferencia
seleccionada a cual fue Modus Ponendo Ponens y Modus Tollendo Tollens. Aqu
el estudiante plantea conceptos centrales de la temtica y ejemplos de ellas
mismas; en la ETAPA 3. Link de acceso a presentacin en Prezi de la
terminologa del lgebra de Boole Definicin y ejemplos desde un concepto central
que ayuda a visualizar el propsito de la algebra de Boole tanto como ejemplos
tambin presentados, y por ultimo ETAPA 4. Proceso operativo a travs de la
tabla de verdad y de la aplicabilidad de las leyes de inferencia de la resolucin y
demostracin de la validez del enunciado Problmico tipo argumento que haya
seleccionado, con el respectivo pantallazo como evidencia de la comprobacin a
travs del simulador TRUTH donde se plantea el estudiante mediante la
transformacin con las leyes de inferencia.
 4

Primera etapa:
Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las terminologas
de los diferentes tipos de Demostracin en la Lgica Matemtica (slo selecciona
una e informa en el foro cual escogi, para que no sea escogido por otro integrante),
la terminologa es la siguiente:

1. DEMOSTRACIN POR CONTRADICCIN (REDUCCIN AL ABSURDO).

El mtodo de demostracin por reduccin al absurdo se fundamenta en la condicin
de no contradiccin para una teora, bsicamente la estrategia consiste en suponer
explcitamente la negacin de la proposicin a demostrar, a partir de esta hiptesis se
trata de generar una contradiccin, esto es: que la teora con ese supuesto es
inconsistente y, en consecuencia, tal hiptesis es falsa, o lo que es equivalente, que
su negacin es verdadera, quedando validada la proposicin inicial.
Reductio ad absurdum, expresin latina por Reduccin al absurdo, es un mtodo de
demostracin lgico. Es usado para demostrar la validez de proposiciones
categricas; se parte por suponer como hipottica la negacin o falsedad de la tesis
de la proposicin a demostrar, y mediante una concatenacin de inferencias lgicas
vlidas se pretende derivar una contradiccin lgica, un absurdo; de derivarse una
contradiccin, se concluye que la hiptesis de partida (la negacin de la original) ha
de ser falsa, y la original es verdadera y la proposicin o argumento es vlido.
A este mtodo tambin se le conoce como prueba por contradiccin o prueba ad
absurdum. Parte de la base es el cumplimiento del principio de exclusin de
intermedios: una proposicin que no puede ser falsa necesariamente es verdadera.
La demostracin por reduccin al absurdo es un tipo de argumento lgico muy
empleado en demostraciones matemticas. Consiste en demostrar que una
proposicin matemtica es verdadera probando que si no lo fuera conducira a una
contradiccin.
Ejemplo: Supngase que se desea demostrar una proposicin P. El procedimiento
consiste en demostrar que asumiendo como cierta la falsedad de P (o sea P negada)
conduce a una contradiccin lgica. Esta P debera no ser falsa. Por lo tanto habra
de ser verdadera.
Demuestre que si m y n son enteros tales que n + n2 + n3 = m + m2, entonces n es par

Solucin: Supongamos que n es impar. A partir de esto debemos conseguir una

contradiccin.
Como n es impar, entonces n2 y n3 son ambos impares, de donde n + n2 + n3 es impar (ya
que esla suma de tres impares). Entonces, como m + m2 = n + n2 + n3, setiene que m + m2
es impar.
Sin embargo m + m2 es siempre par (ya que m + m2 = m (m + 1) y necesariamente
alguno de los nmeros m m+1 es par). Hemos llegado a una contradiccin. De all
se tiene que n es par, que es lo que queramos demostrar.
 5

Trminos y Predicados:
Todos los hombres son
mortales. Scrates es hombre.
Luego, Scrates es mortal.
Esta estructura deductiva, tratada con la hiptesis que sirve de base al clculo
proposicional, tendra la siguiente representacin matemtica:
p
q

r
Por tanto, ninguna de las proposiciones p, q, r, puede describirse mediante partes de
las mismas dotadas de significado propio, unidas por conectivas, que sean comunes
en algunas de ellas y, la relacin entre premisas y conclusin que hace la deduccin
correcta, no puede detectarse con este nivel de representacin. Esto se debe a que
la relacin entre las proposiciones est en la propia estructura interna de stas, en
efecto: se afirman en ellas las mismas propiedades o relaciones para distintas
personas o conjuntos de personas. Las propiedades son Ser Hombre, Ser mortal,
las personas objeto de atribucin de estas propiedades son colectivos, en la primera
proposicin, e individuos concretos, Scrates, en las otras, por ello, para tratar
matemticamente este tipo de estructuras deductivas es preciso crear una teora que
no tome como base la simbolizacin matemtica de la proposicin total sino la de sus
componentes, es decir:
Qu se afirma.
De quin o quines se afirma

El primer elemento se define como el predicado y el segundo, como los sujetos o

trminos. As en la frase:
Juan es negro.

Es negro es el predicado y Juan el sujeto o trmino de la proposicin.

Puede haber proposiciones con varios trminos, por ejemplo:
Juanita est en clase entre Pedro y Manuela.

En este caso el predicado es -est en clase entre - y- y los trminos son Juanita,
Pedro y Manuela. Los predicados que se refieren a un nico trmino se denominan
predicados absolutos o mondicos. Los que se refieren a varios sujetos se
denominan predicados de relacin o polidicos (segn el nmero de trminos pueden
ser didicos, tridicos, etc.).
 6

Simbolizacin:
Una vez definidos los componentes de la proposicin se plantea su representacin
matemtica en base a trminos y predicados. Para la simbolizacin de trminos se
supone como base de referencia un dominio genrico, no vaco. Los trminos se
representan por variables o constantes cuyos valores posibles forman parte del
dominio anterior.
x, y, z, t... letras de variables, representan cualquier elemento del dominio.

a, b, c, d... letras de constantes, representan elementos concretos del dominio.

Para la simbolizacin de predicados se utiliza la notacin funcional: f, g, h...

As, la proposicin Juan es negro, que en la lgica proposicional se simboliza con

p, en la lgica de predicados queda:
f (a) o bien n (j) donde n: ser negro; j: Juan.
De la misma manera:
x es negro n(x)

Juanita est en clase entre Pedro y Manuela f(a, b, c,)

x est en clase entre y y, z, f(x, y, z) donde los sujetos x, y, z estn indeterminados.

 7

Segunda etapa:

Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las terminologas

de las leyes de inferencia lgica (slo selecciona una e informa en el foro cual
escogi, para que no sea escogido por otro integrante), la terminologa de las leyes
de inferencia es la siguiente:

1. Modus Ponendo Ponens y Modus tollendo Tollens.

2. SILOGISMO HIPOTTICO Y SILOGISMO DISYUNTIVO.
3. Dilema Constructivo y Absorcin.
4. Simplificacin y Ley de la conjuncin.
5. Ley de Adicin y Tollendo Ponens.

SILOGISMO HIPOTTICO (S: H)

p q Se lee: si p entonces q
q r Se lee: si q entonces r
... p r Se lee: de donde

Si p entonces r

Es un argumento que se expresa simblicamente

as: [( p q ) (q r )] (pr )

[( p q ) (q r )] ( p r )
 8

Ejemplo 1.
Premisa 1. Si el agua se hiela, entonces sus molculas forman cristales.
Premisa 2. Si las molculas forman cristales, entonces el agua aumenta de
volumen. Conclusin. Si el agua se hiela, entonces el agua aumenta de volumen.

Simblicamente:
Sean las proposiciones p: El agua se hiela
q: Sus molculas forman cristales
r: El agua aumenta de volumen
Premisa 1. p q
Premisa 2. q r
Conclusin. p r

SILOGISMO DISYUNTIVO (S. D) O MODUS TOLLENDO PONENS (MTP)

pq
~p
... q

Esta ley se enuncia as:

Si una disyuncin es verdadera y una de sus proposiciones simples es falsa,
entonces necesariamente la otra proposicin ser verdadera.
Simblicamente se escribe as:
[( p V q ) ~p] ~ q o [( p V q ) ~q] p

Ejemplo 1
Premisa 1: O la energa interna de un tomo puede cambiar con continuidad o cambia slo
a saltos.
Premisa 2: La energa interna de un tomo no puede cambiar con continuidad
Conclusin: La energa interna de un tomo cambia slo a saltos.

Simblicamente:
p: La energa de un tomo puede cambiar con continuidad
q: La energa de un tomo slo cambia a saltos
Premisa 1: p v q
Premisa 2: ~p

Conclusin: p
 9

. Link de acceso a presentacin en Prezi de la terminologa del lgebra de

Boole

Definicin y ejemplos del lgebra de Boole.

http://prezi.com/y3ub_vwxxlyv/?utm_campaign=share&utm_medium=copy
 10

3: Problemtica seleccionada:

3. Lina y Luis se conocieron en la UNAD cuando realizaban sus estudios de

Zootecnia, como ya se graduaron y se casaron, quieren tener un negocio familiar
para el cuidado de mascotas, para lo cual van a comprar una casa para all iniciar
con la empresa familiar; Lina y su esposo conversan respecto a una casa que les
gust y hacen la siguiente reflexin: La casa es valiosa Luis no hubiera ofrecido
comprarla. O bien las apariencias no son dignas de confianza o la casa no es
valiosa. Luis ofreci comprar la casa. Por consiguiente, las apariencias no son
dignas de confianza. Determinar con el uso de las dos formas de la tabla de
verdad la validez del razonamiento y hacerlo tambin con el uso de las leyes o
reglas de inferencia.

Lenguaje natural

La casa es valiosa o Luis no hubiera ofrecido comprarla. O bien las apariencias no

son dignas de confianza o la casa no es valiosa. Luis ofreci comprar la casa. Por
consiguiente, las apariencias no son dignas de confianza.

Preposiciones.
P: La casa es valiosa
Q: hubiera ofrecido comprarla
R: las apariencias no son dignas de confianza

Lenguaje formal

P o no q. o r o no p por consiguiente r
{[(p V q) V (r V p)] r}
 11

P q r p q r (p V q) (r V p)] [(p V q) V (r {[(p V q) V

V p)] (r V p)] r}

V V V F F F V V V V
V V F F F V V F V F
V F V F V F V V V V
V F F F V V V F V F
F V V V F F F V V V
F V F V F V F V V F
F F V V V F V V V V
F F F V V V V V V F

Evidencia del simulador TRUTH

cdigo truth

{[(p+~q)+(r+~p)]>r} cdigo truth

Conclusin: La evaluacin de la tabla de verdad se puede establecer como una

condicin Contingencia (indeterminacin) ya que se presenta algunos valores de
verdad falsos y verdaderos en el operador principal.
 12

Leyes de inferencia

{[(p V q) V (r V p)] r es la conclusin

Premisa 1: p V q

Premisa 2: r V p

Conclusin: r

1. p V q conclusin: r
2. r V p
3. p simplificacin 1
4. q simplificacin 1
5. r pp en (2,3)
6. qVr adicin (4,5)

El argumento es invlido ya que no es posible demostrar la validez de la

conclusin ya que la conclusin mediante las leyes de inferencia establece la
siguiente conclusin: hubiera ofrecido comprarla y las apariencias no son dignas
de confianza.
 13

Conclusiones

Resaltar la importancia en la implicacin de la absorcin absurda y

como se puede aplicar en la utilizacin en la lgica.
Conceptualizacin que se presenta de dos de las leyes de inferencia
seleccionada las cuales son Modus Ponendo Ponens y Modus Tollendo
Tollens reflejan de cmo se correlacionan en el procedimiento de reconstru
un problema para comprobar la conclusin.
Tambin cabe por concluir sobre la presentacin en Prezi de cmo se
aplica la algebra de Boole en operaciones tanto el tablas de verdad como
en otros campos y su vinculacin en la utilizacin de 0 y 1.
Gracias a las operaciones realizadas mediantes la comprobacin de las
tablas de verdad se pudo establecer mediante las leyes de inferencia la
reconstruccin de hallar la conclusin.
 14

Bibliografa

Silogismos Categricos
Gonzles, T. L., & Saavedra, M. (2009). "Lgica". En ProQuest (Ed). Aciertos matemticos
11: serie para la educacin media. (pp. 151 -162)Bogot, Colombia: Educar Editores
S.A. Extrado el 20 de noviembre
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&d
ocID=10345286&tm=1489705371767

Conectores Lgicos y Tablas de Verdad

Argoty, L. (2015). Repaso Lgica Matemtica. Extrado el 20 de noviembre
dehttp://erenriquez.net/largoty/Ova01MD/

Aplicaciones de las Tablas de Verdad

Moscote, H. (2016) Aplicacin de las tablas de verdad en el lgebra de
proposiciones. Extrado el 20 de noviembre
de http://hdl.handle.net/10596/7961
15