UNIDAD 1. FUNDAMENTOS DE LÓGICA.

MAPA CONCEPTUAL
LÓGICA
MATEMÁTICA

Como

Ciencia de la
razón
Es Aporta

Acción Nuevos
Pedagógica Saberse
Desarrolla Que
Genera desarrollan

Habilidades de
Pensamiento Aprendizaje Autogestión
Autónomo. Formativa

Como Estrategias
Pedagógica
s
Teoría de
Para
Conjuntos
Análisis Comprender

Razonami
Lógica ento
Síntesis
Como

Inducción
Abstracción Inferencia

Deducción
Comparación

Inducción y
deducción
UNIDAD 1. FUNDAMENTOS DE LÓGICA.

Competencias:

· Relacionar e interpretar expresiones del lenguaje simbólico y natural, en la formulación y representación de estructuras lógicas, en términos de
variables y conectores lógicos, siendo estos los elementos estructurales de la lógica proposicional; y de esta manera, articular las diferentes
formas de comunicación en diversos contextos.
· Interpretar e identificar, en forma clara, la estructura y fundamento conceptual de los métodos de inferencia lógica por inducción y deducción, en
formulaciones y demostraciones de razonamientos válidos, en situaciones específicas, derivadas del estudio de contextos, donde es pertinente
su aplicabilidad.

PRINCIPIOS DE LÓGICA.

1.1 CONCEPTO Y PROPÓSITO DE LA DE LÓGICA.

La lógica es la ciencia que expone las leyes, modos, formas y estructuras del conocimiento inferido.1

Permite obtener conclusiones, a partir de proposiciones admitidas como verdaderas, llamadas premisas2. En cuanto al tema de interés, la lógica
Matemática es aquella que opera el conocimiento, utilizando un lenguaje simbólico artificial3 y haciendo abstracción de los contenidos4.

· Conceptos: Pensamientos expresados con palabras

· Juicios: Operación del entendimiento, que consiste en comparar
Las formas del pensamiento son: dos ideas para conocer y determinar sus relaciones.
· Raciocinios: Usar la razón para conocer y juzgar.

1.1.1 La Inferencia lógica

Es el estudio de la validez de los razonamientos. Se dice que es lógica formal porque se ocupa de las formas o estructuras que adopta el raciocinio;
ésta se clasifica en:

·Inferencia deductiva
·Inferencia inductiva

El principal objetivo de la lógica formal es evaluar la fiabilidad de las inferencias, investigar esquemas de razonamiento que llevan, desde las
premisas a la conclusión, en un argumento lógico; para ello, se deben, de manera imprescindible, distinguir dos tipos de inferencia, cada uno de los
cuales tiene unas características especiales y unos criterios de corrección; se distuinguen las inferencias deductivas y las inferencias inductivas.

1 Diccionario Real Academia Española

2 Cada una de las dos primeras proposiciones del silogismo, de donde se infiere y saca la conclusión.
3 Simbología utilizada para representar de manera artificial la lógica en términos matemáticos para su análisis
4 Separar por medio de una operación intelectual las cualidades de un conocimiento para considerarlas aisladamente o para considerar el mismo objeto en su pura esencia o noción.
1.1.1.1 Inferencia deductiva

Es en la que, un argumento asegura que la verdad de sus premisas, garantiza la verdad de su conclusión. El razonamiento deductivo proporciona
criterios de corrección muy altos.

La inferencia deductiva logra su objetivo cuando sus premisas proporcionan un apoyo completo e indudable para la conclusión a la que se llega, o
sea que es inconsistente o absurdo, suponer que de manera simultanea, la verdad de unas premisas y la falsedad de la conclusión.

Cualquier argumento que se analice o cumple con este criterio, o no lo cumple; la validez de la inferencias deductivas es un asunto de todo o nada;
no pude ser a medias. La inferencia deductiva, permite determinar conclusiones seguras, yendo de lo general a lo particular.

1.1.1.2 Inferencia inductiva

Se dice que hay inferencia inductiva cuando un argumento únicamente asegura que la verdad de sus premisas hace más probable que la
conclusión sea verdadera. Un argumento inductivo tiene éxito cuando las premisas proporcionan alguna evidencia que apoye la verdad de su
conclusión. La inferencia inductiva va de lo particular hacia lo general.

“Para saber si está ante un argumento deductivo o inductivo, existe una clave; si el argumento posee un tipo de inferencia en la que se garantiza
la verdad de la conclusión, a partir de la verdad de las premisas, o no se garantiza, éste será deductivo; de lo contrario, es inductivo.

Un argumento es inductivo cuando posee un tipo de inferencia, la cual sólo asegura la verdad de la conclusión, a partir de la verdad de las
premisas.
1.2. HISTORIA Y CLASIFICACIÓN.

1.2.1. Historia

Periodo 1 (Lógica Clásica, tradicional o ­ Principio de la identidad

Aristotélica) Siglo IV a.C. Hasta mediados ­ La no contradicción
Siglo XIX. Sistematizada por Aristóteles. Se ­ La exclusión
plantearon las tres leyes del pensamiento:
Historia y
Clasificación
de la Periodo 2 (Lógica simbólica, matemática o ­ Algebra de Boole
Lógica moderna) Siglo XIX, 1850 hasta nuestros ­ Leyes de Morgan
días. Siendo sus representantes más ­ Representación lógica del
sobresalientes George Boole, August Morgan, Conocimiento en estructuras
G. Frege, Bertrand Russell, A. Whithehead y Simples
Kart Godel. Y sus principales aportes son: ­

1.2.2. Clasificación de la lógica

Representación del Conocimiento

Lógica

Clasificación Características
en la

Tradicional Formal o Simbólica Precisión Claridad Generalidad

Permite Permite Mediante Fácil Us

Interpretar y Investiga, Uso de Familiarización Lenguaje

signos de elementos
distinguir el desarrolla y simbólico
razonamiento establece reglas

REPRESENTACIÓN DE LA LÓGICA

2.1 LENGUAJES LÓGICOS.

Un lenguaje es un conjunto de símbolos, denominados alfabetos, que sirven para representar y expresar una idea (latin, mandarin, árabe) y reglas
con las que se administra y se ordena para que tengan sentido.

Lenguajes
Son

y
Símbolos Reglas

Ordenados
Que

y
Representan Expresan
.
una

Idea

Existen dos clases de lenguajes, los lenguajes naturales (el francés, inglés, el castellano y otros) y los lenguajes formales (el de las matemáticas, la
lógica, la programación)
 Clasificación Lenguajes

Nat ur ales For males

No construidos Son construidos

No Artificiales Son artificiales

Son
Son
Utilizados para comunicación, Se definen totalmente

No definidos por su complejidad Son precisos

No se pueden formalizar Pueden formalizarse

.

2.1.1 LENGUAJE NATURAL

Un lenguaje es natural cuando no es un lenguaje construido o artificial; es un lenguaje creado por la necesidad humana de comunicarse.

Un ejemplo es el lenguaje ingles o el español, los cuales son un conjunto de todas las oraciones en ingles o en español; dichas oraciones se crean
de forma natural, a partir de la experiencia y práctica del hombre y tienen consistencia y coexistencia con él; son organizadas automáticamente,
conforme a la necesidad de comunicarse de éste.

2.2.1 Propiedades

Las principales propiedades de los lenguajes naturales son:

1. Enriquecer progresivamente al ser humano, con el objeto de que éste se comunique y exprese sus ideas y raciocinios.
2. Son de carácter expresivo, debido a la riqueza del componente semántico que tienen. Una evidencia de esto, son los muchos lenguajes
existentes (español, ingles, francés, alemán, etc.)
3. No pueden ser formalizados completamente.

2.1.2 Lenguaje Formal

Un lenguaje es formal cuando tiene reglas y axiomas de formación, y dan lugar al lenguaje artificial. Un lenguaje formal es un conjunto de oraciones,
llamadas fórmulas o expresiones bien formadas (fbfs), las cuales se pueden obtener de la aplicación de leyes.

Una de sus características es el poder ser definido completamente, sin que haya necesidad de darle interpretación alguna. Son exactos en lo que
quieren representar; un ejemplo de ésto es el lenguaje para representar la matemática, la lógica o la programación de computadores.

Para definir un lenguaje formal se requiere:

· Establecer el conjunto de símbolos del lenguaje.

· Establecer las reglas de formación que determinan qué secuencias de símbolos lenguaje serán fórmulas bien formadas (fbfs).
 · Denominar los conjuntos de símbolos y de reglas, sin recurrir a interpretaciones de cualquier tipo.

Luego de definirlo se debe:

· Establecer la noción de interpretación del lenguaje.

· Especificar para el lenguaje, un mecanismo de deducción o demostración del mismo.

Ejemplo 1:

El lenguaje A se define de la siguiente forma:

Alfabeto: ab

Fbf: toda cadena de símbolos del alfabeto A que comience

con 'a' es una fbfs. A es un lenguaje formal.

Cuáles de las siguientes fórmulas son fbfs:

a) aaaa b) abbb c) baaa d) f e) abacd

Respuesta: a) Si, Porque cumple con la regla para la fbfs ya que sus
elementos son de A

b) Si, cumple con la regla para la fbfs sus elementos hacen parte de A

c) No, No cumple con la regla para que sea una fbfs del alfabeto A, se
aclara que sus elementos pertenecen a A.

d) No, los elementos de la fórmula no pertenecen a A.

e) No, Aunque cumple con la regla para ser un fbfs, algunos elementos no
pertenecen a A.

Propiedades

Una palabra en un lenguaje formal mantiene en todo momento el mismo significado, sin importar el contexto o su uso; el cual es determinado por la
sintaxis. Las relaciones =, , , , ,>, <; los conectivos lógicos , , , ↔ y los operadores algebraicos , , mantienen un significado
especial y permiten escribir fórmulas. Las propiedades de los lenguajes formales son:

1. Desarrollan una teoría preestablecida

2. Poseen un componente semántico mínimo.
3. Se puede aumentar el componente semántico, de acuerdo con la teoría a formalizar.
4. La sintaxis produce oraciones no ambiguas.
5. En los lenguajes formales es importante el rol de los números.
6. Están completamente formalizados, y ésto ayuda a la construcción computacional.
2.1.3 Teoría de Modelos

Para interpretar un lenguaje formal, se asignan significados a sus símbolos o a sus fórmulas; y se recurre a la teoría de modelos, la cual permite
interpretar un lenguaje formal, veamos:

Ejemplo 2

Al interpretar el lenguaje formal X de la siguiente forma: ‘&' significa el dígito decimal ‘1' y ‘$' significa el
dígito decimal ‘0'. Cada fórmula corresponderá a una cifra decimal compuesta por unos y ceros,
comenzando siempre en uno.

Si se tiene &&&& interpretado según la teoría de modelos: 1111, ó si se tiene &$$; ésto,
interpretado será 100

2.1.4. Demostración de un Lenguaje Formal

La demostración es la forma por medio de la cual el autor de un lenguaje formal muestra la validez de su lenguaje y su coherencia. Un mecanismo
de deducción esta compuesto por:

· Axiomas y reglas de inferencia

· Por sólo de axiomas
· Por sólo de reglas de inferencia.

2.1.5. La Semiótica y su Importancia dentro de la Lógica

Recuerde que los lenguajes están constituidos por un conjunto de símbolos y otro de reglas; su estudio lo hace la ciencia de la semiótica, la cual se
divide en tres ramas:

“ La Sintaxis: estudia las relaciones de los símbolos entre sí, independientemente de los objetos que ellos puedan designar; es, en consecuencia,
la teoría de la construcción del lenguaje”. 5

En el contexto del trabajo sintáctico, está asociado con lenguajes formales o con sistemas formales, sin una referencia esencial a su interpretación.

“ La Semántica: estudia las relaciones entre los signos y los objetos que ellos designan.” 6 Para efectos de este objetivo, se asocia semántica con
la interpretación de los lenguajes formales, o sea con la teoría de modelos.

“ La Pragmática: estudia las relaciones entre los símbolos y los sujetos que los utilizan”. 7

5 Diccionario Real Academia Española

7 ­ 7 Diccionario Real Academia Española
A continuación aparece un ejemplo de cómo funciona la semiótica:

Ejemplo 3 (Tomado de Curso Lógica matemática http://docencia.udea.edu.co/cen/logica/ Lic. Alberto Jaramillo Atehortúa)

1. En el lenguaje ordinario, una regla de la sintáctica del lenguaje castellano, prohíbe que
cualquier palabra comience con rr.

2. El enunciado (a+b) / c indica que luego de sumar a y b se debe dividir este resultado por b.
Rta. Este caso corresponde a la pragmática.

3. Que una fórmula denote números. Rta. Es una propiedad Semántica: La expresión ‘que una
fórmula denote números' puede sustituirse mediante la expresión que pueda interpretarse que una
fórmula denota un número.

4. Que una fórmula sea verdadera. Rta. Es una propiedad semántica ya que puede sustituirse
mediante la expresión que puede interpretarse que una fórmula exprese algo verdadero

2.1.6 Metateoría de la Lógica

En síntesis, es la teoría que estudia los lenguajes o sistemas formales y sus interpretaciones. Su objetivo es estudiar los problemas de
consistencia8, completitud9, decidibilidad10 e independencia de conjuntos de fórmulas. La teoría de modelos y la teoría de la demostración
pertenecen a la metateoría.

2.1.7 Uso y Mención dentro del Lenguaje

Antes de empezar seriamente el estudio de la lógica, se debe tener claro la diferencia entre las palabras ‘uso' y ‘mención' , ejemplo:

Ejemplo 4

1. ¨Bogotᨠes una palabra aguda.

2. Bogotá es una ciudad.

En el ejercicio 1, se dice que la palabra ‘Bogotá' ha sido mencionada. Y en el ejercicio 2,

se dice que la palabra ‘Bogotá' ha sido usada.

Se hace mención de un objeto enunciando, algo acerca de él. Hay varias formas para indicar que se menciona un objeto: encerrando el objeto
entre comillas o subrayándolo. Se usa un objeto o palabra, cuando éste se incorpora a una oración, dando su significado o representando una
situación sobre el objeto.

Al lenguaje utilizado para describir los lenguajes objeto, se le designa metalenguaje 11

8 Solidez y coherencia entre los elementos de un lenguaje, visto este como un conjunto.
9 Se refiera a lo completo que es un lenguaje, en términos de su estructura
10 Característica de un lenguaje de permitir formar juicios definitivos sobre algo dudoso o contestable

11 Lenguaje utilizado para describir un sistema de lenguaje de programación. || Lenguaje que se usa para hablar del lenguaje.
Diccionario Real Academia Española
2.1.8 Demostración de Lenguajes Formales

A una cadena de fórmulas de un lenguaje formal que satisfacen ciertos requisitos sintácticos y que no posee significado alguno, se le denomina
demostración. Esta es una parte o fragmento de símbolos, que representan y significan algo, y que se expresan en metalenguaje, con el fin de
justificar un enunciado y darle validez.

Un teorema de un lenguaje formal es una fórmula que satisface ciertos requisitos sintácticos y que no tiene significado alguno, mientras que un
teorema acerca de un lenguaje formal (metateorema), es un enunciado verdadero, acerca del sistema. expresado en el metalenguaje.

2.2 SIMBOLIZACIÓN: PROPOSICIONES.

El área que estudia las proposiciones y sus operaciones se denomina Cálculo Proposicional.

La simbolización o representación de la lógica, requiere de un lenguaje preciso, que estructura, de manera dinámica, rigurosa y a prueba de
inconsistencias, los procesos y operaciones de la lógica matemática.

2.2.1 El lenguaje

Es un conjunto de elementos de esencial importancia para el ser humano, el lenguaje es el medio para enunciar hechos o describir situaciones;
ésto lo hace complejo.

El Lenguaje

Sirve para

Hacer preguntas Hacer afirmaciones Hacer solicitudes

Expresar ideas Dar órdenes

Las proposiciones son frases que son verdaderas o falsas; razón por la cual, las preguntas no tienen sentido si son verdaderas o falsas. Veamos
unos ejemplos:
 Ejemplo 5

Alguien desea apoyar la causa que busca paz entre los colombianos?

El color rojo es mejor que el color azul?

Cuando será la tutoría de lógica?

Las preguntas antes planteadas no son ni verdaderas ni falsas. Veamos otros ejemplos:

¡Quédese ahí quieto!

¡No lo quiero ver ahi!

Las proposiciones surgen de las afirmaciones que se hacen y del interrogante de si son o no verdaderas. Recuerde que la lógica se ocupa de los
procesos que buscan la verdad o falsedad de las afirmaciones que se hacen; razón por la cual, la lógica estudia enunciados, a fin de determinar su
validez y crear, a partir de estos nuevos enunciados, para construir el conocimiento.

Una proposición o enunciado lógico, es una frase u oración hecha en modo indicativo y que puede ser verdadera o falsa. A los valores que
puede tomar, se les llama valores de verdad (verdadero (V) o el boléanos (1) y falso (F) o (0))

Ejemplo 6

· La frase "5=5" es un enunciado, ya que, o es falso o es verdadero. Al ser un enunciado verdadero, su valor de
verdad es V.
· "Lloverá mañana", es una proposición. Es falsa o verdadera, dependiendo de lo que pase mañana.
· "Si soy Simón Bolívar, entonces no soy Simón Bolívar". Este enunciado, como se verá más adelante, equivale al
enunciado "No soy Simón Bolívar". Como el hablante no es Simón Bolívar, es un enunciado verdadero.
· "Haz los ejercicios de lógica", no es un enunciado, puesto que no se le puede asignar ningún valor de verdad
(Está en modo imperativo, es una orden, y no una frase declarativa)
· "Haz el amor y no la guerra" tampoco es un enunciado, puesto que no se le puede asignar ningún valor de verdad
(También está en modo imperativo, es una orden, y no una frase declarativa)
· El perro" no es una proposición, puesto que no es ni siquiera una frase completa (al menos en este contexto).,

El objetivo del razonamiento es generar una conclusión a partir de unas premisas (proposiciones), utilizando reglas de inferencia; y la lógica se
ocupa de la validez de los razonamientos, no de la verdad o falsedad de éstos. Todo razonamiento tiene un contenido, y éste tiene forma,
veamos:
 Ejemplo 7

Si la mañana es muy fría, entonces no entrenaré.

Si estudio la lógica, entonces no tendré problemas para desarrollar mis ideas.

Estas son 2 proposiciones de contenidos diferentes. Pero forma es la misma. Y su estructura se representa:
Si ______, entonces no _____

Si se diligencian los espacios vacíos con letras mayúsculas en el ejemplo anterior, dichas letras representarán el contenido de las proposiciones y
la expresión quedará:

Si P entonces no Q

La lógica sólo analiza la forma de los razonamientos y se le denomina lógica formal o ciencia de las formas válidas del razonamiento; para
representarla y trabajar con ella, se utiliza el cálculo proposicional.

2.2.2. Calculo Proposicional

Sirve para representar la lógica formal y realizar las operaciones de las proposiciones, a fin devalidarlas. No olvide que cada proposición tiene una
forma lógica a la cual se le da un nombre.

Simples: cuando en ellas no interviene ninguna

conectiva lógica o término de enlace (y, o, no, si...
Las proposiciones se clasifican en: entonces..., si y sólo si)
Compuesta: Si se juntan una o varias proposiciones
simples con un término de enlace

Los términos de enlace12 son:

"y" Y se usan para ligar dos
"o" proposiciones, en cambio el
"si...entonces" término de enlace "no" se agrega a
Veamos el siguiente ejemplo: "si y sólo si" una sola proposición.

Ejemplo 8

Estamos en el mes de diciembre

Se va a celebrar la navidad

Ambas proposiciones son simples. Y con estas proposiciones se pueden construir proposiciones compuestas:

Estamos en el mes de diciembre y se va a celebrar la navidad.

Estamos en el mes de diciembre o se va a celebrar la navidad.
Si estamos en el mes de diciembre, entonces se va a celebrar la navidad.
No estamos en el mes de diciembre.

12 Son aquellas letras o símbolos que permiten unir dos o más proposiciones sin perder el sentido lógico.
La forma de una proposición compuesta se determina según el término de enlace utilizado. En una proposición compuesta las proposiciones
simples se pueden sustituir por otras proposiciones simples y si se conserva.

Para representar una proposición, se utilizan letras mayúsculas ( P, Q, R, etc). Veamos el ejemplo 10:

Ejemplo 9

P: Estamos en el mes de diciembre.

Q: Se va a celebrar la navidad.

La proposición: Estamos en el mes de diciembre y se va a celebrar la navidad

Se simboliza así: PyQ

También se usan símbolos para representar los términos de enlace:

Conectivo o término de Enlace Símbolo que lo

representa
Para la "y" ^
Para la "o" v
Para el "no" Se utiliza el ~ó¬
Para el "si ... entonces ..." símbolo →
Para el "si y sólo si" ↔

Las proposiciones compuestas básicas son:

· La conjunción, la cual se da cuando el término de enlace es “y”.

· La disyunción dada cuando el término de enlace es “o”.
· La implicación o condicional dada cuando el término de enlace es “si… entonces”.
· La equivalencia ó bicondicional dada cuando el termino de enlace es “si y solo si”.
· La disyunción exclusiva dada cuando el conectivo es “o pero no ambas”.

Conectivo o término de Enlace Símbolo que lo Lectura Proposición

representa Compuesta
"y" Conjunción
"o" Disyunción
"no" ~ó¬ Negación
"si ... entonces ..." → Condicional
"si y sólo si" ↔ Bicondicional
" o pero no ambas" Å Disyunción exclusiva

Cuando las proposiciones tienen más de un término de enlace, hay que indicar la manera de agruparlas, ya que cada forma de agrupación, tiene su
propio significado. En lógica, la agrupación se hace con paréntesis o corchetes. Veamos:
 Ejemplo 10

Si el equipo de football tiene delanteros regulares, o si el rival tiene buena defensa, entonces el equipo no marcara un gol.

Este texto se simboliza de la siguiente forma: P: el equipo de football tiene delanteros regulares

Q: el rival tiene buena defensa.

R: el equipo no marcara un gol.

La proposición compuesta es: P v (Q → R) ‐ La cual tiene un sentido distinto de la proposición (P v Q) → R)

Ingrese a la página Web http://www.cibernous.com/logica/ Allí encontrara un simulador que le permitirá ingresar y ver el resultado de esta proposición
(Su tabla de verdad y el tipo de función que es)

La dominancia u orden de los diversos conectivos es la siguiente; la condicional y el bicondicional (↔ y →) dominan a la conjunción disyunción,
disyunción exclusiva (^, v, Å ); lo cual indica que primero se resuelve ya sea a la derecha o izquierda de los conectivos (↔ y →) y luego se
resuelven estos conectivos como tal.

La otra proposición especial es la negación dada por el “no” y representada por ¬P; ésta se utiliza para negar proposiciones simples y
compuestas, y cambia el valor de verdad de la proposición. P ^ Q su negación es ¬ (P ^ Q)

Términos de Enlace o Conectivos Lógicos

Sirven para

Unir Relacionar Operacionalizar

las

Proposiciones
Y son

Y Si y Solo Si Si … Entonces O

2.2.3. Signos definidos

Cuando ya se han establecido las reglas de formación de las fórmulas se pueden agregar abreviaciones para simplificar su escritura. Unas de las
abreviaciones existentes son los signos definidos, los cuales por demostración, son equivalentes con la fórmula que abrevian:

• La conjunción lógica: la fórmula ¬ ( ¬ R v ¬ S) se denota abreviadamente como R ^ S y se llama conjunción lógica de R y S y se lee "R y S".

• El condicional: la fórmula ¬ R v S se denota como R → S y se llama condicional de R y S. La figura lógica del condicional, responde a conectar
dos proposiciones mediante el esquema "si ... entonces ". Para leer una
proposición de la forma R → S, se dice: Si R entonces S. La fórmula R se denomina antecedente, y la S, consecuente. Cuando el condicional es
lógicamente verdadero, existe implicación y se lee R implica S, la cual se denota R → S

• El bicondicional: la fórmula (R→S) ^ (S→R) se denota por R ↔ S y se llama bicondicional de R y S. Esta expresión se lee R si y sólo si S

Cuando el bicondicional es verdadero, hay equivalencia. Se lee: R equivale a S. Denota R ↔ S

TABLA DE SIMPLIFICACIÓN, UTILIZANDO SIGNOS DEFINIDOS

Nombre Estructura definida Simplificación

Conjunción lógica ¬ ( ¬ R v ¬ S) R ^S
Condicional ¬R vS R→S
Bicondicional (R → S ) ^ (S → R) R↔S

Nota: Se debe tener presente que el nombre de signos definidos, se les ha dado porque a toda fórmula que tenga dicha estructura, se le podrá de
inmediato, aplicar la simplificación correspondiente. Veamos un par de ejemplos:

Ejemplo 11 (Tomado de Curso Lógica matemática http://docencia.udea.edu.co/cen/logica/ Lic. Alberto Jaramillo Atehortúa)

Analizar la siguiente fórmulafórmula y por medio de signos definidos, simplificarla:

­(­(­(XЄA) v –(XЄB))) v (X Є A∩B)

Para resolver este ejercicio, Identifique si la estructura corresponde a alguno de los signos definidos:

Si analiza la parte a la izquierda del “o”, tiene la forma de la conjunción lógica ¬ ( ¬ R v ¬ S) y se puede simplificar,
quedando de la siguiente manera: (XЄA) ^ (XЄB). De manera completa quedaría:

­((XЄA) ^ (XЄB)) v (XЄA∩B)

Y si analiza esta fórmulafórmula, tiene la forma de la condicional: ¬ R v S. Aplicando esta simplificación se tendría:
((XЄA) ^ (XЄB)) →(XЄA∩B)

Ingrese a la página Web http://www.cibernous.com/logica/ Allí encontrará un simulador que le permitirá ingresar y ver el resultado de esta proposición
(Su tabla de verdad y el tipo de función que es)
 Signos Definidos

Usados para
Abreviar Simplificar

Fórmulas de la Lógica Formal

La Conjunción Lógica, que simplifica la forma ¬ ( ¬ R v ¬ S) en R ^ S

Sus formas son
El Condicional, que simplifica la forma ¬ R v S en R → S

El bicondicional, que simplifica la forma (R → S) ^ (S → R) en R ↔ S

2.3 TABLAS DE VERDAD.

Son la forma de representar y de validar la veracidad de una o más proposiciones, según los valores de verdad posibles. Los valores de verdad son
binarios, ya que sólo pueden ser de tipo positivo o negativo, Verdadero o falso, Si o No, 1 o 0.

2.3.1 Interpretación en el lenguaje ordinario de las tablas de Verdad

Para construir e interpretar las tablas de verdad, se analizan los conectivos o términos de enlace o signos lógicos (Negación, Y, O, Si…
Entonces y Si y Sólo Si (¬, v, ^,→,↔).

Se puede establecer correspondencia entre los resultados de las tablas de verdad y los procesos de la deducción en lógica matemática,. haciendo
que las tablas de verdad sean un método de decisión que permite validar si una proposición es o no un teorema. Veamos las equivalencias de
los dos valores posibles:

Valor de Verdad Equivalencia Binaria Equivalencia lenguaje natural

Verdadero (V) 1 Si
Falso (F) 0 No

2.3.2. Funciones lógicas y su representación en tablas de verdad

La Negación (No): cuyo valor corresponden al valor contrario de la proposición negada. Se escribe ¬P ó ~P y se lee: Negación de P, veamos su
tabla de verdad:

P ¬Q
1 0
0 1
Disyunción (o ­ v): Denominada OR, su valor es negativo o falso sólo cuando el valor de las proposiciones o fórmulas valoradas es Falso. Se
escribe: P v Q y se lee como: P o Q, su tabla de verdad queda de la siguiente manera:

P Q PvQ
1 1 1
1 0 1
0 1 1
0 0 0

Disyunción Exclusiva (Å): Denominada XOR, su valor es negativo o falso, sólo si las proposiciones o fórmulas valoradas tienen el mismo valor de
verdad, o bien, ambas falsas o ambas verdaderas. Su tabla de verdad queda:

P Q P ÅQ
1 1 0
1 0 1
0 1 1
0 0 0

Conjunción (y ­ ^ ) : Denominada AND, su valor es positivo o verdadero solamente cuando el valor de las proposiciones o fórmulas valoradas es
Verdadero. Se escribe: P ^ Q y se lee: P y Q. La tabla de verdad queda así:

P Q P^ Q
1 1 1
1 0 0
0 1 0
0 0 0

Implicación o Condicional (Si… Entonces ­ →): Su valor solamente es falso cuando la primera proposición o fórmula, denominada antecedente o
hipótesis es verdadera y la segunda proposición o fórmula denominada, consecuente o tesis es falsa. Se escribe: P→Q y la leemos: P implica Q ó
Si P, entonces Q. Su tabla de verdad es la siguiente:

Antecedente o Hipótesis

Consecuente o tesis
P Q P→Q
1 1 1
1 0 0
0 1 1
0 0 1

Equivalencia o Bicondicional (Si y solo si ­ ↔): Su valor es verdadero cuando ambas proposiciones o fórmulas valoradas tienen el mismo valor
de verdad o bien, ambas falsas o ambas verdaderas. Se escribe: P ↔ Q y se lee: P si y sólo si Q ó P es necesario y suficiente para Q. Su tabla
de verdad queda:

P Q P↔Q
1 1 1
1 0 0
0 1 0
0 0 1
 Tablas de Verdad
Son

Formas de representar Y validar la veracidad

Las

Pr oposiciones Simples
Clases
Negación Compuesta

Disyunción
Operaciones
con
Proposiciones Disyunción Exclusiva

Conjunción

Implicación

Equivalencia

2.3.3. Funciones o proposiciones compuestas

Tautologías: Si son proposiciones cuyo valor siempre es verdadero para cualquier valor de verdad de las proposiciones simples o fórmulas. Por
tanto, la última columna de la tabla de verdad estará formada únicamente por unos. Una tautológica es una identidad lógica, o sea que siempre es
verdadera.

Contradicciones: si son la negación de las tautologías, luego son proposiciones falsas, cualquiera que sea el valor de verdad de las proposiciones
simples o fórmulas. Concluyendo la última columna de la tabla de verdad de una contradicción, estará formada únicamente por ceros.

Contingencias: si son proposiciones cuyo valor final está compuesto por valores de verdad falsos y verdaderos, la última columna de su tabla de
verdad estará formada por ceros y unos.

Una Contingencia es una ecuación lógica; éstas adquieren su valor de verdad para determinadas combinaciones de valores de verdad de las
proposiciones simples o fórmulas.

Proposiciones Compuestas

Tautológicas Contradicciones Contingencias

Valor siempre Verdadero Valor siempre Falso Valor Verdadero y Falso

2.4 RAZONAMIENTOS.

Uno de los propósitos más importantes del desarrollo de este curso es aprender y practicar el proceso de razonamiento deductivo en el desarrollo
del pensamiento lógico matemático de los participantes, debido a que la vida de hoy exige ser analíticos, investigativos y por ende, constructores de
nuevo conocimiento. A continuación aparecen algunos conceptos que permiten comprender este tema.

2.4.1. Teoría deductiva

La teoría deductiva es la que se fundamenta en los principios de las definiciones 13 y las demostraciones14.

Para desarrollarla se deben cumplir las siguientes condiciones:

1. Aprender a enunciar con claridad los términos iniciales, con los cuales se pretende definir los términos de la teoría.
2. Aprender a enunciar claramente las relaciones iniciales, con las que se busca definir las demás relaciones; por lo general, son relaciones
en las que los seres humanos fundamentamos nuestro conocimiento.
3. Aprender a detallar con claridad las proposiciones iniciales (simples), con las que nos proponemos demostrar las demás proposiciones de
la teoría. Comúnmente sw denominan Axiomas y su objetivo es relacionar los términos iniciales y las relaciones iniciales.
4. Todas las relaciones enunciadas entre los términos deben ser relaciones lógicas, y deben permanecer independientes del sentido concreto
o la interpretación que se le de a los términos.
5. En las demostraciones sólo deben intervenir relaciones enunciadas.

Cuando se dan estas condiciones, la teoría deductiva se da gracias a que presenta contenidos que conservan su sentido y su verdad derivados de
la experiencia.

2.4.2. Axiomas o postulados

Son proposiciones primitivas o iniciales, las cuales se admiten como ciertas desde el comienzo.

Al construcción una teoría de axiomas debemos partir de un conjunto de axiomas, que sean compatibles, suficientes, e independientes. Veamos
que significa cada una de estas características:

“ Compatibilidad: Dos axiomas no pueden fórmular en ellos, ni producir en sus resultados derivados, relaciones contradictorias15.

Suficiencia: Toda proposición verdadera ha de ser deducible dentro del sistema16.

Independencia: Ningún axioma ha de poderse deducir de otros” 17.

2.4.3. La demostración

Consiste en probar algo, a partir de verdades universales y evidentes, las cuales no son más que proposiciones; se denominan premisas y
permiten llegar a otra proposición denominada conclusión. Para probarlas, se aplican las reglas lógicas 18. Ver capitulo 2 Lección 3. Los pasos
para demostrar o probar una proposición en la teoría deductiva son:

1. Enunciar con claridad los axiomas de la teoría.

13 Proposición que expone con claridad y exactitud los caracteres genéricos y diferenciales de algo. Real Academia Española
14 Prueba de algo, partiendo de verdades universales y evidentes. Comprobación, por hechos ciertos o experimentos repetidos, de un principio o de una teoría. Fin y término del
procedimiento deductivo. Real Academia Española
15 17 18 . Definición tomada del Libro Matemática Digital. Edit. Mc Graw Hill. 1999. Pág. 53. Carlos Barco Gómez y otros.

18 Conjunto de operaciones que deben llevarse a cabo para realizar una inferencia o deducción correcta. Real Academia Española
 2. Establecer las reglas para validar el proceso de demostración; a estas reglas se les denomina reglas de validez; básicamente son tres:

1: Todo axioma puede ser utilizado en cualquier paso del proceso de demostración.

2: Si P → Q aparecen en una demostración y P también aparece en la misma demostración, se puede concluir Q en la demostración.
Esta es una regla universal y se conoce como Modus Ponendo Ponens o Modus Ponens. Ir al capitulo 2 lección 3 para profundizar.

3: Cuando dos proposiciones son equivalentes, es posible sustituir una por la otra, en cualquier parte de la demostración. Regla
denominada sustitución por equivalencia.

3. Realizar la demostración de una proposición específica, es obtener la proposición final en el proceso demostrativo por aplicación reiterada de
las reglas de validez 1, 2 y 3.

En nuestro lenguaje tendemos a confundir cierto con verdadero. En lógica, la certeza es subjetiva, y dice que la correspondencia de un enunciado
con lo que sucede en la realidad, debe resultar igual para todos los sujetos que investiguen la verdad de dicho enunciado. De igual forma, a diario
se confunde verdadero con correcto o válido. En lógica se debe distinguir entre conclusiones verdaderas y argumentaciones correctas o válidas.

Cuando un razonamiento es correcto o válido se le llama validez del razonamiento . Cuando la argumentación se apoya en argumentos válidos en
todos sus pasos, toma el nombre de deducción.

2.4.4. Reglas de inferencia básicas

Para garantizar que una conclusión es válida en el diseño de pruebas, se deben emplear las leyes de la lógica; a estas leyes se les conoce como
reglas de inferencia. Estas sirven para probar que, a partir de premisas, es posible demostrar la validez de una conclusión. Su principal objetivo es
abreviar las demostraciones, utilizando las leyes de algebra de proposiciones y sus equivalencias.

2.4.5. Leyes de Algebra de proposiciones y Equivalencias Fundamentales

En el siguiente cuadro se observan las leyes de inferencia básicas; su objetivo es facilitar la identificación de las equivalencias básicas en el cálculo
proposicional y se deben utilizarlas cuando se hacen demostraciones; se recomienda tener muy presente este cuadro.
 Leyes de Ídempotencia Leyes de Identidad
1. PvP↔P 1. P v 0↔P P ^ 1 ↔ P
2. P^P↔P 2. P ^ 1 ↔ P P ^ 0 ↔0
Leyes Asociativas
1. (P v Q) v R ↔ P v (Q v R) Leyes del complemento
2. (P ^ Q) ^ R ↔ P ^ (Q ^ R) 1. Pv¬P↔1,P^¬P↔0
Leyes Conmutativas 2. ¬ (¬ P)↔ P i ¬1 ↔ 0 1, ¬ 0 ↔1
1. PvQ↔QvP
2. P^Q↔Q^R Leyes D´Morgan
Leyes Distributivas 1. ¬(P v Q) ↔ ¬ P ^ ¬ Q
1. P v (Q ^ R) ↔ (P v Q) ^ (P v R) 2. ~(P ^ Q) ↔ ¬ P v ¬ Q
2. P ^ (Q v R) ↔ (P ^ Q) v (P ^ R)

2.4.6. Métodos de demostración

2.5.6.1. Método directo o Método de la hipótesis auxiliar

Si se tiene un conjunto de premisas en una teoría, partiendo del supuesto que una proposición P es verdadera y haciendo uso de las premisas
disponibles, es posible demostrar que una proposición Q es verdadera, dando como conclusión que P → Q es verdadero”.

Proceso de demostración:

Para demostrar que la proposición P → Q es teorema se debe:

1. Suponer que antecedente P es verdadero. Esta es la hipótesis auxiliar.

2. Luego, con esta hipótesis, se diseña la argumentación lógica, haciendo uso de axiomas y teoremas demostrados, a fin de obtener, por
medio de las reglas de validez y de inferencia de la validez de Q.
3. Finalmente, se concluye la prueba y se establece la validez de P → Q.

Sintetizando la demostración de la proposición P → Q, utilizando el método directo, se desarrollaría de la siguiente forma:

Suponer que P es verdadera (A ésto se le llama hipótesis auxiliar)

Q Aplicar argumentación lógica (Demostración subordinada)

P → Q Conclusión

2.4.6.2. Método del contrarrecíproco

Este parte del teorema con su mismo nombre, el cual dice que la proposición de la forma (P → Q) ↔ (¬ Q → ¬ P), da lugar a una variante del
método directo.

Para su desarrollo se parte del supuesto que se quiere demostrar la proposición P → Q, la cual es un teorema y que no es posible obtener la
conclusión deseada por medio del método directo. Debido a ésto, demostrar, con el método directo, la contrarrecíproca de P → Q, (¬ Q → ¬ P);
al lograr este objetivo, se establece la validez de si se consigue este objetivo, entonces queda establecida la validez de P → Q, haciendo usos de
la sustitución por equivalencia.
Proceso de demostración

Para hacer la demostración que la proposición P → Q es un teorema se debe:

1. Tomar como hipótesis auxiliar ¬ Q.

2. Diseñar la argumentación lógica que permita concluir ¬ P
3. Concluir, utilizando el método directo que (¬ Q → ¬ P) es un teorema.
4. Aplicar la regla de validez 3, para concluir que P → Q es válida, mediante la equivalencia del contrarrecíproco.

En síntesis, la demostración de la proposición P → Q por este método, se hace bajo la siguiente forma:

Suponer que ¬Q es la hipótesis auxiliar. Aplicar argumentación lógica

¬P

¬Q→¬P Método Directo

P→Q Por contrareciproco

2.4.6.3. Método de demostración por contradicción

Para entender este método, es necesario aclarar los conceptos de, Contradicción: es aquella proposición que corresponde a la conjunción entre
una proposición y su negación.

Este método se fundamenta en la condición de no contradicción para una teoría, y supone, de manera explícita, la negación de la proposición a
demostrar. De manera más simple, se dice que la teoría con ese supuesto es inconsistente y, en consecuencia, tal hipótesis es falsa, o lo que es
equivalente: que su negación es verdadera, quedando validada la proposición inicial. Veamos el siguiente ejemplo para explicar mejor lo anterior:

Ejemplo 12 (Tomado de Curso Lógica matemática http://docencia.udea.edu.co/cen/logica/ Lic. Alberto Jaramillo Atehortúa)

Demostrar que si ¬ P → (Q ^ ¬ Q) es verdadera, entonces P es verdadera.

1. ¬ P → (Q ^ ¬ Q) Premisa

2. ¬ (Q ^ ¬ Q) → P Regla de validez 3 de paso 1 ( Contrareciproco)

3. ¬ (¬ Q v Q) → P Regla de validez de paso 2) Ley D ´Morgan. Doble Negación

4. ¬QvQ Teorema del medio excluido

5. P Modus Ponens de paso 4) y 3).

Ingrese a la página Web http://www.cibernous.com/logica/ Allí encontrará un simulador que le permitirá ingresar y ver el resultado de esta proposición
(Su tabal de vendad y el tipo de función que es)
 Proposiciones Términos de enlace

Son Se Son Se

Expresiones Clasifican Letras o símbolos que Clasifican

lingüísticas permiten unir
proposiciones sin perder
en el sentido lógico en
Y=Conjunción

Simples Compuestas O=Disyunción

Son Son No=Negación

Las que tienen sentido Unión entre dos o más Si … entonces=

completo y su valor es proposiciones simples a Condicional
falso o Verdadero través de términos de
enlace Si y solo Si=
Bicondicional

Razonamiento Lenguaje
Un
Un
Proceso que permite establecer conclusiones de
acuerdo a proposiciones Sistema de signos que expresan ideas a fin de
establecer comunicación
Se clasifica en
Se clasifica en

Inductivo Deductivo Analógico Natural Artificial

Se Es Es Nace Es

Establece un El ideal por El que traslada Capacidades Aquel que utiliza

principio excelencia y las propiedades lingüísticas de una signos para obtener
general parte de lo de un objeto ya comunidad una comunicación
basado en general conocido a otro más precisa y clara
experiencias hacia lo semejante
particular
Glosario de términos

Para dar inicio a este curso debemos recordar los siguientes conceptos y familiarizarnos con ellos ya que estaremos utilizándolos muy a menudo:

Axioma: Proposición tan clara y evidente que se admite sin necesidad de demostración.
Conocimiento: Averiguar por el ejercicio de las facultades intelectuales la naturaleza, cualidades y relaciones de las cosas
Deducción: Sacar consecuencias de un principio, proposición o supuesto.
Inferir: Sacar una consecuencia o deducir algo de otra cosa
Pragmática: Rama de la semiótica que estudia las relaciones entre los símbolos y los sujetos que los utilizan.
Proposición: Es un enunciado o frase a la cual puede asignársele uno de los dos valores de verdad.
Razonar: Discurrir, ordenando ideas en la mente para llegar a una conclusión.
Razonamiento: Serie de conceptos encaminados a demostrar algo o a persuadir o mover a oyentes o lectores
Semiótica: Ciencia que se dedica al estudio del lenguaje o sea el estudio de los sistemas de signos, compuesta por 3 ramas: Sintaxis,
Semántica y Pragmática.
Sintaxis: estudio de las relaciones entre los símbolos entre sí, independientemente de los objetos que ellos puedan designar; es, en
consecuencia, la teoría de la construcción del lenguaje.

Semántica: Rama de la semiótica que estudia las relaciones entre los signos y los objetos que ellos designan.

Teoremas: Proposición demostrable lógicamente partiendo de axiomas ya demostrados, mediante reglas de inferencia aceptadas.

Valor de verdad: Unidades para validación de los procesos de la lógica, puede ser Verdadero y/o Falso ó en su defecto Si y/o No ó 1 y/o
0.

BIBLIOGRAFIA

Nota: Los ejercicios desarrollados como ejemplos para ilustrar los conceptos, son tomados de las siguientes fuentes:

Libro: Matemática Digital, Gómez Carlos, Gómez German, Botero William. Editorial Mc Graw Hill. Bogotá.
1998
Libro: Lógica Matemática, Galindo Patiño Nubia Janeth. Lógica matemática.
Editorial Universidad Abierta y A Distancia. Bogotá. 2001
Paginas Web: http://docencia.udea.edu.co/cen/logica/
Fundamentos de lógica y teoría de conjuntos. Universidad de Antioquia.
Compendiados por el Lic. Alberto Jaramillo Atehortua. (Ejercicios 15, 16)