Inferencias Lógicas:

Al profundizar en las proposiciones lógicas, aprenderemos a identificar y clasificar una proposición

dentro de un enunciado científico; aprenderemos como una proposición categórica universal da
tradicionalmente apertura al enunciado de una tesis.

Al estudiar los métodos deductivo e inductivo, aprenderemos a reconocer nueve leyes de

inferencia. Nueve leyes que usamos en el lenguaje cotidiano.

Por ejemplo, cuando juan afirma "Si estudio aprendo" y ocurre que Juan no estudia, ¿que
podemos esperar?.. que juan no aprenda. Muy bien, luego de estudiar estos capítulos
aprenderemos a identificar este sencillo razonamiento como un Modus Tollendo Tollens.

Identificando y manejando las leyes de inferencia, podremos mejorar en la argumentación, y muy

pronto estarás proponiendo en tus debates una ley de inferencia lógica como instrumento para
validar tus argumentos. O porqué no, elaborando una tabla de verdad, en busca de una tautología
que te otorgue la razón.

¿A que viene la lógica?

Autor: Georffrey Acevedo G. Noviembre 16 de 2008.
Los conceptos de proposiciones, conectivos e inferencias confluyen al analizar un razonamiento.
Para tener claridad sobre los conceptos tratados en la primera unidad, procedamos con el análisis
de
un ejemplo:
Recordemos que desde sus orígenes, unos 400 años antes de Cristo, el hombre a estado buscando
criterios para identificar un razonamiento como válido o no válido.
Como ejemplo, solucionaremos uno de los razonamientos propuestos en el primer trabajo
colaborativo:
"Como tener un arte es tener una habilidad y pintar es un arte, quien pinta tiene una habilidad"
En todo razonamiento, se identifican varias expresiones del lenguaje que cumplen una función
informativa, son los llamados enunciados, los cuales reciben este nombre porque enuncian algo.
En
nuestro caso se identifican tres enunciados o proposiciones:
1. "Tener un arte es tener una habilidad"
2. "Pintar es tener un arte"
3. "quien pinta tiene una habilidad"
Dentro del razonamiento estos enunciados cumplen con una función de manera que sólo uno de
los
enunciados se presenta como aceptado porque los otros enunciados fueron aceptados.
¿Cuál de estos tres enunciados es aceptado porque los otros dos fueron aceptados?
La respuesta es el tercer enunciado "Quien pinta tiene una habilidad" porque su aceptación
depende de los otros dos; este enunciado recibe el nombre de conclusión.
¿Cómo se llaman los otros dos enunciados?
Los otros dos enunciados son los que justifican la conclusión y se denominan premisas.
Ahora estamos listos para definir lo que es un razonamiento:
Un razonamiento es conjunto de enunciados en el que hay uno que se presenta como justificado
por los otros enunciados.
Recordadas estas definiciones, podemos proceder a analizar el concepto de validez de un
argumento
o razonamiento: Un razonamiento es válido si la forma que tiene es válida. ¿y cuando una
estructura o forma de un razonamiento es válida? cuando es imposible que siendo las premisas
verdaderas, sea la conclusión falsa.
Si encotráramos un sólo ejemplo en el cual podamos afirmar que alguien que pinta no tiene una
habilidad. En este caso, este ejemplo se llamaría contraejemplo y encontrarlo convertiría nuestra
forma de razonar en un razonamiento no válido; los razonamientos que admiten contraejemplos
se denominan falacias.
Para continuar con la diversión, ahora pasemos al lenguaje simbólico:
El lenguaje simbólico es un lenguaje artificial que facilita una representación para un análisis más
profundo de los razonamientos, en este caso, la Lógica Simbólica nos proporcionará los signos
para
analizar este lenguaje lógico denominado razonamiento, y nuestro emocionante problema será
determinar si este razonamiento es o no válido, veamos:
El primer paso será declarar o dividir los enunciados en otros más pequeños también
denominados
proposiciones simples, recordemos que un enunciado o proposición es una expresión lingüística
cualquiera de la que tenga sentido afirmar que es verdadera o falsa.
Reescribamos las premisas y conclusión de acuerdo al contexto de nuestro problema:
1. Si Ana tiene un arte, entonces tiene una habilidad
2. Si Ana pinta, entonces tiene un arte
3. Si Ana pinta, entonces tiene una habilidad
Proposiciones simples:
p = Ana tiene un arte
q = Ana tiene una habilidad
r = Ana pinta
Los enunciados en lenguaje simbólico serán:
1. p --> q
2. r --> p
-----------------
3. r --> q
Observemos que en este razonamiento también puede expresarse como:
[(r-->p) ^ (p-->q)]-->(r-->q)
Esta expresión también se conoce como fórmula o función lógica.
¿Logras identificar el razonamiento al observar la función lógica? Por supuesto, se trata de un
Silogismo Hipotético o SH. La primera pista para identificarlo es precisamente el tratarse de un
Silogismo, recordemos que un Silogismo es un razonamiento que consta de tres enunciados, en el
cual el último enunciado se deduce de los otros dos. Esta forma de razonar fue identificada y
nombrada por Aristóteles.
Pero si no es suficiente prueba de validez para ti, haber identificado el razonamiento como uno de
los razonamientos universalmente reconocidos como válidos, podemos entonces proceder a
utilizar
nuestra arma secreta.... La tabla de verdad, veamos:
La tabla de verdad de una fórmula o función puede ser definida como una tabla en la cual se
determinan los valores de verdad para cada uno de los diferentes casos posibles de combinaciones
de valores de verdad de sus proposiciones.
¿Cuantos casos posibles hay en nuestro problema? 2^3 = 2x2x2 = 8 casos posibles de valores de
verdad para 3 variables:
pqr
vvv
vvf
vfv
vff
fvv
fvf
ffv
fff
Para determinar si el razonamiento tiene o no una estructura válida, debemos preguntarnos si
¿Cuando las premisas son verdaderas, la conclusión también lo es?
Recordemos las premisas y la conclusión: premisa uno: p --> q, premisa dos: r --> p y la
conclusión: r --> q
Tabla de verdad:
Premisa
1
Premisa
2
Conclusión En todos los casos de premisas verdaderas la
conclusión es también verdadera
p q r p --> q r --> p r --> q
v v v v v v Premisas verdaderas y conclusión verdadera
v v f v v v Premisas verdaderas y conclusión verdadera
vfvfvf
vfffvv
fvvvfv
f v f v v v Premisas verdaderas y conclusión verdadera
ffvvff
f f f v v v Premisas verdaderas y conclusión verdadera
Observa que en las filas resaltadas las premisas son ambas verdaderas. ¿Cómo es la conclusión en
estos cuatro casos? También es verdadera; como en todos los casos en que las premisas dieron
ambas verdaderas, la conclusión también fue verdadera, podemos decir que es imposible
encontrar
una asignación de valores de verdad que haga verdadera a las premisas y falsa a la conclusión.
3/5
Universidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G.
La imposibilidad de que esto ocurra, nos permite declarar la forma de nuestro razonamiento como
una forma de razonamiento válido.
Si analizamos detenidamente todos los resultados de la tabla de verdad, podemos obtener
conclusiones importantes:
1. Si al evaluar un razonamiento, aplicando un estructura que reconocemos como válida,
llegamos a una conclusión falsa, será porque una de las premisas es también falsa.
2. Un razonamiento considerado como válido con premisas falsas puede tener conclusión
verdadera o falsa.
¿Cuando diremos que el razonamiento no es válido, es decir, que es una falacia?
Cuando encontremos una combinación, en la cual las premisas sean verdaderas y la conclusión
falsa.
Encontrar que es imposible que cuando las premisas sean todas verdaderas la conclusión sea falsa
se conoce como implicación tautológica de la conclusión. Aquí aparece el concepto de tautología.
Antes de aplicarlo para analizar la validez de un argumento, recordemos la diferencia entre éste y
los conceptos de contradicción y contingencia.
Tautología: Cuando una función lógica es veradera para todas las combinaciones posibles de los
valores de verdad de sus variables.
Contradicción: Cuando una función lógica es falsa para todas las combinaciones posibles de los
valores de verdad de sus variables.
Contingencia: Cuando una función lógica no es ni Tautología ni Contradicción, es decir, que al
conocer su valor de verdad para todas las combinaciones posibles de los valores de verdad de sus
variables se encuentra que en algunos casos es falsa y en otros verdadera.
Ahora, procedamos a usar el concepto de implicación tautológica entre enunciados para
determinar
la validez de un argumento:
Decimos que hay implicación tautológica entre enunciados cuando la conjunción de las premisas
implica tautológicamente la conclusión, veamos:
conjunción de las premisas es: (p-->q) ^ (r-->p)
Implica la conclusión significa: [(p-->q) ^ (r-->p)]-->(r-->q)
Implicar tautológicamente es entonces que de [(p-->q) ^ (r-->p)]-->(r-->q) se obtiene una
tautología.
4/5
Universidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G.
¿Obtendremos una tautología en nuestro caso?
Tabla de verdad No.2
Premisa 1 Premisa 2 Conclusión Conjunción de las
premisas
Implicación de la
conclusión
p q r p --> q r --> p r --> q (p-->q) ^ (r-->p) [(p-->q) ^ (r-->p)]-->(r-->q)
vvvvvvvv
vvfvvvvv
vfvfvffv
vfffvvfv
fvvvfvfv
fvfvvvvv
ffvvfffv
fffvvvvv
Una vez más, ha quedado demostrada la validez del razonamiento planteado; efectivamente, la
conclusión se deriva de las premisas.
Analiza con detenimiento como los conceptos vistos se unen en torno a un único objetivo:
determinar la validez de los argumentos a partir de la identificación de su forma como la forma de
un argumento válido.
Que estas líneas cumplan la función de acercarnos al placer que otorga la comprensión de ideas
nuevas; comprender es el camino que abre las puertas a nuevas miradas sobre nuestro viejo
problema: querer llegar al sitio sin hacer el viaje.
Afectuosamente, Georffrey.
…. “Dadas las mismas causas, habrá las mismas guerras”.
Fernando González.
5/
 La Lógica Matemática, no permite hacer representaciones y simplificaciones del lenguaje natural.
Mediante la Lógica Matemática, no podremos clasificar un argumento como inválido o válido.
El razonamiento deductivo es un tema de la primera unidad del módulo.
Los conceptos estudiados en el curso de lógica, están directamente relacionados con el lenguaje
cotidiano y por lo tanto pueden ser utilizados en un debate.

Su respuesta :
Los conceptos estudiados en el curso de lógica, están directamente relacionados con el lenguaje
cotidiano y por lo tanto pueden ser utilizados en un debate.

..es CORRECTA

El lenguaje cotidiano está plagado de inferencias lógicas y simplificaciones propias de la Lógica

Matemática.

Sobre la lógica tradicional es correcto afirmar que:

Se caracteriza por usar un lenguaje simbólico

Fue formulada por Bertrand Russell y Alfred North
Fue formulada por Aristóteles
Elimina el lenguaje ordinario o coloquial
Texto 4. Contextualización Histórica
Hemos escuchado hablar de la Lógica tradicional y de la lógica Moderna, profundicemos en las
diferencias:

La lógica tradicional hace referencia a la lógica de Aristóteles, quien formula las teorías del
razonamiento y de la demostración; es decir, que formula la teoría de la deducción. De esta
manera, Aristóteles nos lleva a comprender la lógica formal como la base de la filosofía.

Por otro lado, la lógica moderna constituye la que denominamos Lógica Matemática, esta lógica
fue estructurada, principalmente por Bertrand Russell y Alfred North. Es aquí cuando nos
referimos a una lógica que utiliza símbolos; de allí que la denominemos lógica de lenguaje
formalizado o simbólico.

¿Qué nos aportan los símbolos?

Al introducir un símbolo eliminamos la ambigüedad que introduce el lenguaje natural, es decir, el
lenguaje ordinario o coloquial.

Esta simplificación simbólica permite que podamos lograr dos cosas:

1. Mayor complejidad
2. Mayor exactitud

Por ejemplo:
En lenguaje ordinario podríamos expresar: "es falso que es mentira que Diego miente" lo que
equivale a afirmar que "Diego miente". Esta expresión algo compleja en el lenguaje natural es
transformada en el lenguaje simbólico por la expresión:

no ( no (no p) en donde p = Diego dice la verdad y no p = Diego miente

Muy seguramente, del ejemplo anterior te han surgido dos grandes interrogantes:
1. ¿Es ésta una conclusión válida?
2. ¿Bajo qué principios o leyes podemos llegar a esta conclusión?

Muy bien, estas constituyen dos grandes preguntas a que busca dar respuesta la lógica y para
lograrlo la lógica debe estudiar:

1. Las estructuras que conforman el pensamiento

2. Las leyes y los principios que conducen a conclusiones válidas

¿Cuan útil es este conocimiento?

Si hoy es viernes, entonces, mañana es Sábado. Mañana no es Sábado, luego hoy no es viernes; es
un ejemplo de un razonamiento que hace parte de la vida diaria, es decir, que no se reduce al
mundo de la ciencia. De igual manera, aunque la lógica es un gran instrumento para las ciencias, lo
es también para nuestra propia vida.

Es así como llegamos a unas hermosas conclusiones de nuestro amigo Gustavo Escobar Valencia:

"La lógica nos permite descubrir las leyes y los principios que permiten conducirnos con rigor,
precisión y verdad hacia el conocimiento"
"La lógica nos proporciona normas para la investigación científica y nos suministra un criterio de
verdad"

Es así como la lógica se ocupa de las formas del pensamiento y no del contenido de los
pensamientos ni de la gramática que expresa los pensamientos, ni de los contenidos específicos de
esos pensamientos ni del sujeto que genera los pensamientos.

De la lectura de contextualización historica, se infiere que son objetos de estudio de la lógica:

psíquica
Las leyes que llevan a conclusiones correcta
Las estructuras que conforman el pensamiento
Los sujetos que producen los pensamientos
La actividad psíquica de los sujetos que producen los pensamientos

Su respuesta :

Las estructuras que conforman el pensamiento

Las leyes que llevan a conclusiones correctas

Es correcto, la lógica estudia los procesos que conducen a una conclusión válida

Sobre la lógica tradicional es correcto afirmar que:

Su respuesta :
Fue formulada por Aristóteles

Es correcto Felicitaciones

Sobre el lenguaje simbólico es correcto afirmar

Permite manejar mayor complejidad

Permite usar el lenguaje natural
Permite manejar mayor exactitud
Es usado en la lógica tradicional
Su respuesta :

Permite manejar mayor complejidad

Permite manejar mayor exactitud

Es correcto, Felicitaciones

Texto 5. Otras aplicaciones del curso

Hasta aquí, hemos visto que el curso de Lógica Matemática tiene aplicaciones a programas
orientados hacia las ciencias humanas como la filosofía, la psicología, la administración...

Es importante mencionar aquí, que la aplicación de los conceptos de Lógica Matemática ha

cambiado nuestro mundo; hay otras aplicaciones como son los circuitos lógicos y por lo tanto a
todos los sistemas digitales.

La electrónica ha tomado los conceptos de la Lógica Matemática para desarrollar las tecnologías
digitales que tanto nos gustan.

Mediante los circuitos lógicos se hacen representaciones gráficas de las funciones Lógicas
Simplificadas. Es decir, un circuito lógico es un diagrama que facilita la comprensión del flujo de
las señales lógicas.

De esta manera, podremos encontrar un equivalente circuital a una expresión del lenguaje
natural.

Entre las siguientes opciones elige la correspondiente a la afirmación correcta:

Los circuitos lógicos se basan en el cálculo y no en la lógica

Los circuitos Lógicos están directamente relacionados con la Lógica Matemática.
Los circuitos Lógicos no permiten hacer representaciones gráficas de las expresiones dadas en
lenguaje natural.
La lógica sólo tiene aplicaciones en las ciencias humanas

Su respuesta :
Los circuitos Lógicos están directamente relacionados con la Lógica Matemática.

ES CORRECTA

Los circuitos lógicos son representaciones de las funciones lógicas.

Esta es una lección de 7 puntos. Usted ha obtenido 7 punto(s) sobre 9 hasta ahora.
Texto 6. Reconocimiento de conjuntos numéricos
Finalmente, revisaremos algunos conceptos de los conjuntos numéricos. Como parte de la fase
de reconocimiento del curso, te invitamos a revisar detenidamente el siguiente gráfico, el cual te
ayudará a recordar la relación entre los diferentes conjuntos numéricos:

Conjuntos numéricos:

con a y b pertenecientes al conjunto de los números reales.

Un número complejo, es la suma de un número imaginario y un número real

Todos los números son complejos
Los imaginarios y los Reales tienen elementos comunes
Los Reales pertenecen a los complejos

En el texto de introducción al curso de la página anterior, se planearon ejemplos de aplicación

de la lógica Matemática correspondientes a varios de los temas tratados en el módulo, excepto
al tema de:

Teoría de conjuntos
 Mapas de Karnaguh Lógicos
Leyes lógicas básicas
Conectivos Lógicos

Su respuesta :
Mapas de Karnaguh Lógicos

ES CORRECTA

Felicitaciones, has realizado una lectura consciente de la introducción al curso. En ésta no se

plantearon ejemplos de aplicación para el tema de Mapas de Karnaguh.

Los mapas de K son una aplicación para la simplificación de funciones lógicas pero no se
plantearon ejemplos de este tema en la lectura.

De acuerdo a la lectura sobre las inferencias lógicas, entre las siguientes opciones, elige la
correcta:

Las inferencias lógicas no permiten desarrollar las habilidades de la argumentación.

Una tabla de verdad es un instrumento que podemos utilizar para identificar una inferencia
lógica, pero ésta no la define completamente.
El estudio de las inferencias lógicas, nos permitirá comprender mejor las operaciones entre
conjuntos.
No todas las inferencias lógicas generan una tautología.

Su respuesta :
Una tabla de verdad es un instrumento que podemos utilizar para identificar una inferencia
lógica, pero ésta no la define completamente.

ES CORRECTA

Una inferencia Lógica no es una tabla de verdad.

Texto 7. Preparándonos para las preguntas de análisis de relación
En la siguiente página se propone un tipo de pregunta denominado análisis de relación.

Es importante que te vayas familiarizando con este tipo de pregunta. Es un tipo de pregunta que
está dividida en dos partes separadas por la palabra PORQUE, en la primera parte hay una
afirmación, y en la segunda se propone una razón para la misma:

Pregunta sobre conjuntos numéricos:

Los números naturales pertenecen a los números racionales, PORQUE los números naturales se
definen como el cociente entre dos enteros, a/b, con b diferente de cero.

La Afirmación y la Razón son verdaderas, pero la Razón NO es una explicación CORRECTA de la

Afirmación.

La Afirmación es Verdadera, pero la Razón es una proposición FALSA.

La Afirmación y la Razón son Verdaderas y la Razón es una explicación CORRECTA de la

afirmación.

La Afirmación es Falsa, pero la Razón es una proposición verdadera.

Su respuesta :
La Afirmación es Verdadera, pero la Razón es una proposición FALSA.

ES CORRECTA.

Felicitaciones, has concluido con éxito la primera lección evalualtiva para el reconocimiento del
curso.

Te invitamos a continuar participando con tus compañeros en el foro de la actividad 2 al igual

que continuar con el estudio del módulo y del material de apoyo.

Recuerda tener presente siempre la agenda del curso y visitar siempre las noticias del aula.

En sentido amplio, se llama número racional a todo número que puede representarse como el
cociente de dos enteros con denominador distinto de cero (una fracción común). El término
racional alude a ración o parte de un todo, y no al pensamiento o actitud racional.

Representación gráfica de las fracciones cuyo divisor es 4.En sentido estricto, número racional es
el conjunto de todas las fracciones equivalentes a una dada; de todas ellas, se toma como
representante canónico de dicho número racional a la [fracción irreducible].
Definimos un número racional como un decimal finito o infinito periódico (por ejemplo, el
número decimal finito 0,75 es la representación decimal del número racional 3/4. El número
decimal infinito periódico 0,333... es la representación decimal del número racional 1/3). El
número racional permite resolver ecuaciones del tipo ax = b, cuando a y b son números enteros
(con «a» distinto de cero).

El conjunto de los números racionales se denota por , que significa «cociente» (Quotient en
varios idiomas europeos). Este conjunto de números incluye a los números enteros y es un
subconjunto de los números reales. Las fracciones equivalentes entre sí –número racional– son
una clase de equivalencia, resultado de la aplicación de una relación de equivalencia al conjunto
de números fraccionarios.

Los números racionales cumplen la propiedad arquimediana o de densidad, esto es, para
cualquier pareja de números racionales existe otro número racional situado entre ellos,
propiedad que no estaba presente en los números enteros, por lo que los números racionales
son densos en la recta de los números reales.

Act. 1: Revisión de Presaberes

Esta es una lección de 11 puntos. Usted ha obtenido 11 punto(s) sobre 11 hasta ahora.
¿Cuál es mi calificación en una lección configurada para tomar la nota promedio?
¿Cuál es mi calificación en una lección configurada para tomar la nota promedio entre varios
intentos?

Si he desarrollado esta tipo de lección dos veces, y en la primera obtengo una nota de 6/8 (75%)
y en la segunda de 8/8 (100%) y la actividad es de 10 puntos, entonces debo calcular mi nota así:

-Primero sacamos el promedio:

(75% +100%) / 2 = 175%/2 = 87.5%

-Luego hacemos una regla de tres:

Si 100% equivale a 10 puntos, 87.5% equivale a:
(87.5% x 10puntos)/100%=8.75= 8.8 puntos

ó en puntos:

(6+8) / 2 = 14/2 = 7
Si 8 preguntas son 10 puntos, 7 preguntas buenas a cuantos puntos equivale?
= (7 x 10puntos ) / 8 = 8.75 = 8.8 puntos

Si Juan obtuvo:
¿5/8 y 8/8 en sus dos intentos, en calificaciones aparecerá una nota de?

Respuesta: 8.1 puntos