UNIDAD 1. FUNDAMENTOS DE LGICA.

MAPA CONCEPTUAL
LGICA
MATEMTICA

Com o
Ciencia de la
razn

Es

Aporta
Nuevos
Saberse

Accin

Desarrolla

Pedaggica

Que
desarrollan

Genera
Habilidades de
Pensamiento

Aprendizaje

Autogestin
Formativa

Autnomo.

Como

Estrategias
Pedaggica
Para

Teora de
Conjuntos
Anlisis

Comprender
Sntesis

Razonami
ento

Lgica
Com o
Induccin

Abstraccin

Inferencia
Deduccin
Comparacin

Induccin y
deduccin

UNIDAD 1. FUNDAMENTOS DE LGICA.

Competencias:

Relacionar e interpretar expresiones del lenguaje simblico y natural, en la formulacin y representacin de estructuras lgicas, en trminos
de variables y conectores lgicos, siendo estos los elementos estructurales de la lgica proposicional y de esta manera, articular las
diferentes formas de comunicacin en diversos contextos.
Interpretar e identificar, en forma clara, la estructura y fundamento conceptual de los mtodos de inferencia lgica por induccin y deduccin,
en formulaciones y demostraciones de razonamientos vlidos, en situaciones especficas, derivadas del estudio de contextos, donde es
pertinente su aplicabilidad.

PRINCIPIOS DELGICA.
1.1 CONCEPTO YPROPSITO DELA DELGICA.

La lgica 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 inters, la lgica
Matemtica es aquella que opera el conocimiento, utilizando un lenguaje simblico artificial3 y haciendo abstraccin de los contenidos4.
Conceptos: Pensamientos expresados con palabras
Juicios: Operacin del entendimiento, que consiste en comparar

Las formas del pensamiento

dos ideas para conocer y determinar sus relaciones.
son: Raciocinios: Usarla razn para conoceryjuzgar.
1.1.1

La Inferencia lgica

Es el estudio de la validez de los razonamientos. Se dice que es lgica 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 lgica formal es evaluar la fiabilidad de las inferencias, investigar esquemas de razonamiento que llevan, desde las
premisas a la conclusin, en un argumento lgico para ello, se deben, de manera imprescindible, distinguir dos tipos de inferencia, cada uno de los
cuales tiene unas caractersticas especiales y unos criterios de correccin se distuinguen las inferencias deductivas y las inferencias inductivas.

1 Diccionario

Real Academia Espaola

una de las dos primeras proposiciones del silogismo, de donde se infiere y saca la conclusin.
3 Simbologa utilizada para representar de manera artificial la lgica en trminos matemticos para su anlisis
4 Separar por medio de una operacin intelectual las cualidades de un conocimiento para considerarlas aisladamente o para considerar el mismo objeto en su pura esencia o nocin.
2 Cada

1.1.1.1 Inferencia deductiva

Es en la que, un argumento asegura que la verdad de sus premisas, garantiza la verdad de su conclusin. El razonamiento deductivo proporciona
criterios de correccin muy altos.
La inferencia deductiva logra su objetivo cuando sus premisas proporcionan un apoyo completo e indudable para la conclusin 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 conclusin.
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 ms probable que la
conclusin sea verdadera. Un argumento inductivo tiene xito cuando las premisas proporcionan alguna evidencia que apoye la verdad de su
conclusin. La inferencia inductiva va de lo particular hacia lo general.
Para saber siest ante un argumento deductivo o inductivo, existe una clave; sielargumentoposee un tipo de inferencia enla que se garantiza

la verdadde la conclusin, apartir de la verdadde laspremisas, o no segarantiza, ste ser deductivo; de lo contrario, es inductivo.

Un argumento es inductivo cuandoposee un tipo de inferencia, la cual slo asegura la verdadde la conclusin, apartirde la
verdadde las premisas.

1.2. HISTORIA YCLASIFICACIN.

1.2.1. Historia

Historia y
Clasificacin
de la
Lgica

Periodo 1 (Lgica Clsica, tradicional o

Aristotlica) Siglo IV a.C. Hasta mediados
Siglo XIX. Sistematizada por Aristteles. Se
plantearon las tres leyes del pensamiento:

Principio de la identidad
La no contradiccin
La exclusin

Periodo 2 (Lgica simblica, matemtica o

moderna) Siglo XIX, 1850 hasta nuestros
das. Siendo sus representantes ms
sobresalientes George Boole, August Morgan,
G. Frege, Bertrand Russell, A. Whithehead y
Kart Godel. Y sus principales aportes son:

Algebra de Boole
Leyes de Morgan
Representacin lgica del
Conocimiento en estructuras
Simples

1.2.2. Clasificacin de la lgica

Lgica

Clasificacin

Caractersticas

en

la

Representacin del Conocimiento

Tradicional

Precisin

Formal o Simblica

Claridad

Mediante
Fcil

Permite

Permite

Interpretar y

Investiga,

distinguir el

desarrolla y

Generalidad
Us

Uso de

Familiarizacin

signos

de elementos

Lenguaje
simblico

REPRESENTACIN DE LA LGICA
2.1 LENGUAJES LGICOS.
Un lenguaje es un conjunto de smbolos, 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

Smbolos

Reglas

Ordenados

Que

Representan

Idea

una

Expresan

Existen dos clases de lenguajes, los lenguajes naturales (el francs, ingls, el castellano y otros) y los lenguajes formales (el de las matemticas,
la lgica, la programacin)

Clasificacin Lenguajes

Son

2.1.1 LENGUAJE NATURAL

Naturales

Formales

No construidos

Son construidos

No Artificiales

Son artificiales
Son

Utilizados para comunicacin,

Un lenguaje es natural cuando no es un lenguaje

construido
No definidos
por suocomplejidad
artificial es un lenguaje creado por la necesidad humana de
comunicarse.
No se pueden formalizar

Un ejemplo es el lenguaje ingles o el espaol, los cuales son

un conjunto de todas las oraciones en ingles o en espaol
dichas oraciones se crean de forma natural, a partir de la
experiencia y prctica del hombre y tienen consistencia y
coexistencia con l son organizadas automticamente,
conforme a la necesidad de comunicarse de ste.
2.2.1 Propiedades

Las principales propiedades de los lenguajes naturales son:

1.
2.

3.

Enriquecer progresivamente al ser humano, con el

objeto de que ste se comunique y exprese sus ideas
y raciocinios.
Son de carcter expresivo, debido a la riqueza del
componente semntico que tienen. Una evidencia de
esto, son los muchos lenguajes existentes (espaol,
ingles, francs, alemn, etc.)
No pueden ser formalizados completamente.

2.1.2 Lenguaje Formal

Un lenguaje es formal cuando tiene reglas y axiomas de

formacin, y dan lugar al lenguaje artificial. Un lenguaje formal
es un conjunto de oraciones, llamadas frmulas o expresiones
bien formadas (fbfs), las cuales se pueden obtener de la
aplicacin de leyes.
Una de sus caractersticas es el poder ser definido

Se definen totalmente
Son precisos
Pueden formalizarse

completamente, sin que haya necesidad de darle

interpretacin alguna. Son exactos en lo que quieren
representar un ejemplo de sto es el lenguaje para
representar la matemtica, la lgica o la programacin de
computadores.
Para definir un lenguaje formal se requiere:

Establecer el conjunto de smbolos del lenguaje.

Establecer las reglas de formacin que determinan
qu secuencias de smbolos lenguaje sern frmulas
bien formadas (fbfs).

Denominar los conjuntos de smbolos y de reglas, sin recurrir a interpretaciones de cualquier tipo.
Luego de definirlo se debe:

Establecer la nocin de interpretacin del lenguaje.

Especificar para el lenguaje, un mecanismo de deduccin o demostracin del mismo.

Ejemplo 1:

El lenguaje A se define de la siguiente forma:

Alfabeto: ab
Fbf: toda cadena de smbolos del alfabeto A que comience

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

Cules de las siguientes frmulas 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 deA
c)

No, No cumple con la regla para que sea una fbfs del alfabeto
A, se
aclara que sus elementos 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 lgicos , ,
, y los operadores algebraicos
,,
mantienen un significado
especial y permiten escribir frmulas. Las propiedades de los lenguajes formales son:
1.
2.
3.
4.
5.
6.

Desarrollan una teora preestablecida

Poseen un componente semntico mnimo.
Se puede aumentar el componente semntico, de acuerdo con la teora a formalizar.
La sintaxis produce oraciones no ambiguas.
En los lenguajes formales es importante el rol de los nmeros.
Estn completamente formalizados, y sto ayuda a la construccin computacional.

2.1.3 Teora de Modelos

Para interpretar un lenguaje formal, se asignan significados a sus smbolos o a sus frmulas y se recurre a la teora de modelos, la cual permite
interpretar un lenguaje formal, veamos:
Ejemplo 2

Al interpretar el lenguaje formal X de la siguiente forma: &' significa el dgito decimal 1' y $' significa el
dgito decimal 0'. Cada frmula corresponder a una cifra decimal compuesta por unos y ceros,
comenzando siempre en uno.
Si se tiene &&&& interpretado segn la teora de modelos: 1111, si se tiene &$$ sto,
interpretado ser 100

2.1.4. Demostracin de un Lenguaje Formal

La demostracin 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
deduccin esta compuesto por:

Axiomas y reglas de inferencia

Por slo de axiomas
Por slo de reglas de inferencia.

2.1.5. La Semitica y su Importancia dentro de la Lgica

Recuerde que los lenguajes estn constituidos por un conjunto de smbolos y otro de reglas su estudio lo hace la ciencia de la semitica, la cual se
divide en tres ramas:

La Sintaxis: estudia las relaciones de los smbolos entre s, independientemente de los objetos que e los puedan designar; es,

en consecuencia, la teora de la construccin del lenguaje . 5

En el contexto del trabajo sintctico, est asociado con lenguajes formales o con sistemas formales, sin una referencia esencial a su interpretacin.

La Semntica: estudia las relaciones entre los signosylos objetos que e los designan. 6 Para efectos de este objetivo, se asocia
semntica con la interpretacin de los lenguajes formales, o sea con la teora de modelos.
La Pragmtica: estudia las relaciones entre los smbolos y los sujetos que los utilizan. 7

Diccionario Real Academia Espaola

Diccionario Real Academia Espaola

7 7

A continuacin aparece un ejemplo de cmo funciona la semitica:

Ejemplo 3 (Tomado de Curso Lgica matemtica http://docencia.udea.edu.co/cen/logica/ Lic. Alberto Jaramillo Atehorta)

1.

En el lenguaje ordinario, una regla de la sintctica del lenguaje castellano, prohbe 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 pragmtica.

3.

Que una frmula denote nmeros. Rta. Es una propiedad Semntica: La expresin que una
frmula denote nmeros' puede sustituirse mediante la expresin que pueda interpretarse que una
frmula denota un nmero.

4.

Que una frmula sea verdadera. Rta. Es una propiedad semntica ya que puede sustituirse
mediante la expresin que puede interpretarse que una frmula exprese algo verdadero

2.1.6 Metateora de la Lgica

En sntesis, es la teora 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 frmulas. La teora de modelos y la teora de la demostracin
pertenecen a la metateora.
2.1.7 Uso y Mencin dentro del Lenguaje

Antes de empezar seriamente el estudio de la lgica, se debe tener claro la diferencia entre las palabras uso' y mencin' , ejemplo:

Ejemplo4

1. Bogot es una palabra aguda.

2. Bogot es una ciudad.

En el ejercicio 1, se dice que la palabra Bogot' ha sido mencionada. Yen el ejercicio 2,

Se hace mencin de un objeto enunciando, algo acerca de l. Hay varias formas para indicar que se menciona un objeto: encerrando el objeto
entre comillas o subrayndolo. Se usa un objeto o palabra, cuando ste se incorpora a una oracin, dando su significado o representando una
situacin sobre el objeto.
Al lenguaje utilizado para describir los lenguajes objeto, se le designa metalenguaje11

8 Solidez

y coherencia entre los elementos de un lenguaje, visto este como un conjunto.

refiera a lo completo que es un lenguaje, en trminos de su estructura
10 Caracterstica de un lenguaje de permitir formar juicios definitivos sobre algo dudoso o contestable
9 Se

11 Lenguaje

utilizado para describir un sistema de lenguaje de programacin. || Lenguaje que se usa para hablar del lenguaje.
Diccionario Real Academia Espaola

2.1.8 Demostracin de Lenguajes Formales

A una cadena de frmulas de un lenguaje formal que satisfacen ciertos requisitos sintcticos y que no posee significado alguno, se le denomina
demostracin. Esta es una parte o fragmento de smbolos, que representan y significan algo, y que se expresan en metalenguaje, con elfin de
justificar un enunciado y darle validez.
Un teorema de un lenguaje formal es una frmula que satisface ciertos requisitos sintcticos 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 SIMBOLIZACIN: PROPOSICIONES.

El rea que estudia las proposiciones y sus operaciones se denomina Clculo Proposicional.
La simbolizacin o representacin de la lgica, requiere de un lenguaje preciso, que estructura, de manera dinmica, rigurosa y a prueba de
inconsistencias, los procesos y operaciones de la lgica matemtica.

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
Hacer preguntas

Expresar ideas

Sirve para
Hacer afirmaciones

Hacer solicitudes

Dar rdenes

Las proposiciones son frases que son verdaderas o falsas razn 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 tutora de lgica?

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

Qudese 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 lgica se ocupa de los
procesos que buscan la verdad o falsedad de las afirmaciones que se hacen razn por la cual, la lgica estudia enunciados, a fin de determinar
su validez y crear, a partir de estos nuevos enunciados, para construir el conocimiento.
Una proposicin o enunciado lgico, es una frase u oracin 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 bolanos (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 maana", es una proposicin. Es falsa o verdadera, dependiendo de lo que pase maana.
"Si soy Simn Bolvar, entonces no soy Simn Bolvar". Este enunciado, como se ver ms adelante, equivale al
enunciado "No soy Simn Bolvar". Como el hablante no es Simn Bolvar, es un enunciado verdadero.
"Haz los ejercicios de lgica", no es un enunciado, puesto que no se le puede asignar ningn 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 ningn valor de verdad
(Tambin est en modo imperativo, es una orden, y no una frase declarativa)
El perro" no es una proposicin, puesto que no es ni siquiera una frase completa (al menos en este contexto).,

El objetivo del razonamiento es generar una conclusin a partir de unas premisas (proposiciones), utilizando reglas de inferencia y la
lgica 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 maana es muy fra, entonces no entrenar.
Si estudio la lgica, 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 vacos con letras maysculas en el ejemplo anterior, dichas letras representarn el contenido de las proposiciones y
la expresin quedar:
Si Pentonces no Q

La lgica slo analiza la forma de los razonamientos y se le denomina lgica formal o ciencia de las formas vlidas del razonamiento para
representarla y trabajar con ella, se utiliza el clculo proposicional.

2.2.2. Calculo Proposicional

Simples: cuando en ellas no interviene ninguna

Las proposiciones se clasifican en:

conectiva lgica o trmino de enlace (y, o, no, si...

entonces..., si y slo si)
Compuesta: Si se juntan una o varias proposiciones
simples con un trmino de enlace

Los trminos de enlace12 son:

Veamos el siguiente ejemplo:

"y "
"o "
"si...entonces"
"si y slo si"

Y se usan para ligar dos

proposiciones, en cambio el
trmino de enlace "no" se agrega a
una sola proposicin.

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 yse va a celebrar la navidad.
Estamos en el mes de diciembre ose va a celebrar la navidad.

Sirve para representar la lgica formal y realizar las operaciones de las proposiciones, a fin devalidarlas. No olvide que cada proposicin tiene una
forma lgica a la cual se le da un nombre.
12

Son aquellas letras o smbolos que permiten unir dos o ms proposiciones sin perder el sentido lgico.

La forma de una proposicin compuesta se determina segn el trmino de enlace utilizado. En una proposicin compuesta las proposiciones
simples se pueden sustituir por otras proposiciones simples y si se conserva.
Para representar una proposicin, se utilizan letras maysculas ( 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 proposicin: Estamos en el mes de diciembreyse va a celebrar la navidad

Se simboliza as:

PyQ

Tambin se usan smbolos para representar los trminos de enlace:

Conectivo o trmino de Enlace

Parala "y"
Parala"o"
Para el "no"
Para el "si ... entonces ..."
Para el "si y slo si"

Se utiliza el
smbolo

Smbolo que lo
representa
A
v
~

Las proposiciones compuestas bsicas son:

La conjuncin, la cual se da cuando el trmino de enlace es y.
La disyuncin dada cuando el trmino de enlace es o.
La implicacin o condicional dada cuando el trmino de enlace es si... entonces.
La equivalencia bicondicional dada cuando el termino de enlace es si y solo si.

La disyuncin exclusiva dada cuando el conectivo es o pero no ambas.

Conectivo o trmino de Enlace

"y"
"o"
"no"
"si ... entonces ..."
"si y slo si"
" o pero no ambas"

Smbolo que lo
representa
~

Lectura Proposicin
Compuesta

Conjuncin
Disyuncin
Negacin
Condicional
Bicondicional
Disyuncin exclusiva

Cuando las proposiciones tienen ms de un trmino de enlace, hay que indicar la manera de agruparlas, ya que cada forma de agrupacin, tiene
su propio significado. En lgica, la agrupacin se hace con parntesis 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:
La proposicin compuesta es:

el equipo no marcara un gol.

P v (Q R) La cual tiene un sentido distinto de la proposicin (P v Q) R)

Ingrese a la pgina Web http://www.cibernous.com/logica/ All encontrara un simulador que le permitir ingresar y ver el resultado de esta

proposicin (Su tabla de verdad y el tipo de funcin que es)

La dominancia u orden de los diversos conectivos es la siguiente la condicional y el bicondicional ( y ) dominan a la conjuncin disyuncin,
disyuncin 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 proposicin especial es la negacin dada por el no y representada por P sta se utiliza para negar proposiciones simples y compuestas, y
Sirven para

Unir

Relacionar

Operacionalizar

las

cambia el valor de verdad de la proposicin. P ^ Q su negacin es (P ^ Q)

Trminos de Enlace o Conectivos Lgicos
Proposiciones
Y son

Siy Solo Si

Si ... Entonces

2.2.3. Signos definidos

Cuando ya se han establecido las reglas de formacin de las frmulas se pueden agregar abreviaciones para simplificar su escritura. Unas de las
abreviaciones existentes son los signos definidos, los cuales por demostracin, son equivalentes con la frmula que abrevian:

La conjuncin lgica: la frmula ( R v S) se denota abreviadamente como R ^ S y se llama conjuncin lgica de R y S y se lee "R y S".

El condicional: la frmula R v S se denota como R S y se llama condicional de R y S. La figura lgica del condicional, responde a conectar dos
proposiciones mediante el esquema "si ... entonces ". Para leer una

proposicin de la forma R S, se dice: Si R entonces S. La frmula R se denomina antecedente, y la S, consecuente. Cuando el condicional es
lgicamente verdadero, existe implicacin y se lee R implica S, la cual se denota R S

El bicondicional: la frmula (RS) ^ (SR) se denota por R S y se llama bicondicional de R y S. Esta expresin se lee R si y slo si S

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

TABLA DE SIMPLIFICACIN, UTILIZANDO SIGNOS DEFINIDOS
Nombre

Conjuncin lgica
Condicional
Bicondicional

Estructura definida
-' ( -' R v -' S)
-' R v S
(R S ) ^ (S R)

Simplificacin
R^S
RS
RS

Nota: Se debe tener presente que el nombre de signos definidos, se les ha dado porque a toda frmula que tenga dicha estructura, se le podr de

inmediato, aplicar la simplificacin correspondiente. Veamos un par de ejemplos:

Ejemplo 11 (Tomado de Curso Lgica matemtica http://docencia.udea.edu.co/cen/logica/ Lic. Alberto Jaramillo Atehorta)
Analizar la siguiente frmulafrmula y por medio de signos definidos, simplificarla:

(((XA) v (XB))) v (X AB)

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 conjuncin lgica -' ( -' R v -' S) y se puede simplificar,
quedando de la siguiente manera: (XA) ^ (XB). De manera completa quedara:
((XA) ^ (XB)) v (XAB)
Y si analiza esta frmulafrmula, tiene laforma de la condicional: -' R v S. Aplicando esta simplificacin se tendra:
((XA) ^ (XB)) (XAB)

Signos Definidos

Abreviar

Usados para

Simplificar

Frmulas de la Lgica Formal

Sus formas son

en R^S

2.3 TABLAS DE VERDAD.

La Conjuncin Lgica, que simplifica la forma (R vS)

El Condicional, que simpifica la forma R v S en R S

Son la forma de representar y de validar la

veracidad de una o ms proposiciones, segn
los valores de verdad posibles. Los valores de
verdad son binarios, ya que slo pueden ser
de tipo positivo o negativo, Verdadero o falso,
Si o No, 1 o 0.
2.3.1 Interpretacin en el lenguaje ordinario
de las tablas de Verdad

Para construir e interpretar las tablas

de verdad, se analizan los conectivos
o trminos de enlace o signos lgicos
(Negacin, Y, O, Si... Entonces y Si y
Slo Si (, v,^,,).
Se puede establecer correspondencia entre
los resultados de las tablas de verdad y los
procesos de la deduccin en lgica
matemtica,. haciendo que las tablas de
verdad sean un mtodo de decisin que
permite validar si una proposicin 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)

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

0
No

2.3.2. Funciones lgicas y su

representacin en tablas de verdad
La Negacin (No): cuyo valor corresponden al

valor contrario de la proposicin negada. Se

escribeP ~P y se lee: Negacin de P,
veamos su tabla de verdad:

1
0
0
1

Disyuncin (o v): Denominada OR, su valor es negativo o falso slo cuando el valor de las proposiciones o frmulas 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

PvQ

1
1
0
0

1
0
1
0

1
1
1
0

Disyuncin Exclusiva (e): Denominada XOR, su valor es negativo o falso, slo silas proposiciones o frmulas valoradas tienen el mismo valor de

verdad, o bien, ambas falsas o ambas verdaderas. Su tabla de verdad queda:

P

P Q

1
1
0
0

1
0
1
0

0
1
1
0

Conjuncin (y ^) : Denominada AND, su valor es positivo o verdadero solamente cuando el valor de las proposiciones o frmulas valoradas es
Verdadero. Se escribe: P ^ Q y se lee: P y Q. La tabla de verdad queda as:
P

P^Q

1
1
0
0

1
0
1
0

1
0
0
0

Implicacin o Condicional (Si... Entonces ): Su valor solamente es falso cuando la primera proposicin o frmula, denominada antecedente o
hiptesis es verdadera y la segunda proposicin o frmula denominada, consecuente o tesis es falsa. Se escribe: PQ y la leemos: P implica Q
Si P, entonces Q. Su tabla de verdad es la siguiente:
Antecedente o Hiptesis

is

PQ

1
1
0
0

1
0
1
0

1
0
1
1

Equivalencia o Bicondicional (Si y solo si ): Su valor es verdadero cuando ambas proposiciones o frmulas valoradas tienen el mismo valor de
verdad o bien, ambas falsas o ambas verdaderas. Se escribe: P Q y se lee: P si y slo si Q P es necesario y suficiente para Q . Su tabla de

verdad queda:
P

PQ

1
1
0
0

1
0
1
0

1
0
0
1

Son

Formas de representar

Y validar la veracidad

Proposiciones

Negacin

Simples
Clases

Compuesta

Disyuncin
Disyuncin Exclusiva
Conjuncin
Implicacin
Equivalencia
Tablas de Verdad
Las

Operaciones con

Proposiciones

Proposiciones Compuestas

Tautolgicas

Contradicciones

Contingencias

Valor siempre Verdadero

Valor siempre Falso

Valor Verdadero y Falso

2.3.3. Funciones o proposiciones compuestas

Tautologas: Si son proposiciones cuyo valor siempre es verdadero para cualquier valor de verdad de las proposiciones simples o frmulas. Por
tanto, la ltima columna de la tabla de verdad estar formada nicamente por unos. Una tautolgica es una identidad lgica, o sea que siempre es

verdadera.

Contradicciones: si son la negacin de las tautologas, luego son proposiciones falsas, cualquiera que sea el valor de verdad de las proposiciones

simples o frmulas. Concluyendo la ltima columna de la tabla de verdad de una contradiccin, 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 ecuacin lgica stas adquieren su valor de verdad para determinadas combinaciones de valores de verdad de las
proposiciones simples o frmulas.

2.4 RAZONAMIENTOS.

Uno de los propsitos ms importantes del desarrollo de este curso es aprender y practicar el proceso de razonamiento deductivo en el desarrollo
del pensamiento lgico matemtico de los participantes, debido a que la vida de hoy exige ser analticos, investigativos y por ende, constructores
de nuevo conocimiento. A continuacin aparecen algunos conceptos que permiten comprender este tema.
2.4.1. Teora deductiva

La teora 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.
2.
3.
4.
5.

Aprender a enunciar con claridad los trminos iniciales, con los cuales se pretende definir los trminos de la teora.
Aprender a enunciar claramente las relaciones iniciales, con las que se busca definir las dems relaciones por lo general, son relaciones
en las que los seres humanos fundamentamos nuestro conocimiento.
Aprender a detallar con claridad las proposiciones iniciales (simples), con las que nos proponemos demostrar las dems proposiciones
de la teora. Comnmente sw denominan Axiomas y su objetivo es relacionar los trminos iniciales y las relaciones iniciales.
Todas las relaciones enunciadas entre los trminos deben ser relaciones lgicas, y deben permanecer independientes del sentido
concreto o la interpretacin que se le de a los trminos.
En las demostraciones slo deben intervenir relaciones enunciadas.

Cuando se dan estas condiciones, la teora 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 construccin una teora de axiomas debemos partir de un conjunto de axiomas, que sean compatibles, suficientes, e independientes. Veamos
que significa cada una de estas caractersticas:
Compatibilidad: Dos axiomas nopueden frmular en elos, niproducir en sus resultados derivados, relaciones contradictorias 15 .
Suficiencia: Todaproposicin verdadera hade ser deducible dentro del sistema16.
Independencia: Ningn axioma ha depoderse deducirde otros 17 .
2.4.3. La demostracin

Consiste en probar algo, a partir de verdades universales y evidentes, las cuales no son ms que proposiciones se denominan premisas y
permiten llegar a otra proposicin denominada conclusin. Para probarlas, se aplican las reglas lgicas 18 . Ver capitulo 2 Leccin 3. Los pasos
para demostrar o probar una proposicin en la teora deductiva son:
1. Enunciar con claridad los axiomas de la teora.
13 Proposicin

que expone con claridad y exactitud los caracteres genricos y diferenciales de algo. Real Academia Espaola
de algo, partiendo de verdades universales y evidentes. Comprobacin, por hechos ciertos o experimentos repetidos, de un principio o de una teora. Fin y trmino
del procedimiento deductivo. Real Academia Espaola
15 17 18 . Definicin tomada del Libro Matemtica Digital. Edit. McGraw Hill. 1999. Pg. 53. Carlos Barco Gmez y otros.
14 Prueba

18 Conjunto

de operaciones que deben llevarse a cabo para realizar una inferencia o deduccin correcta. Real Academia Espaola

2. Establecer las reglas para validar el proceso de demostracin a estas reglas se les denomina reglas de validez bsicamente son tres:
1:

Todo axioma puede ser utilizado en cualquier paso del proceso de demostracin.

2:

Si P Q aparecen en una demostracin y P tambin aparece en la misma demostracin, se puede concluir Q en la demostracin. Esta
es una regla universal y se conoce como Modus Ponendo Ponens o Modus Ponens. Ir al capitulo 2 leccin 3 para profundizar.

3:

Cuando dos proposiciones son equivalentes, es posible sustituir una por la otra, en cualquier parte de la demostracin. Regla
denominada sustitucin por equivalencia.

3. Realizar la demostracin de una proposicin especfica, es obtener la proposicin final en el proceso demostrativo por aplicacin reiterada
de las reglas de validez 1, 2 y 3.
En nuestro lenguaje tendemos a confundir cierto con verdadero. En lgica, 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 vlido. En lgica se debe distinguir entre conclusiones verdaderasy argumentaciones correctas o vlidas.
Cuando un razonamiento es correcto o vlido se le llama validez del razonamiento. Cuando la argumentacin se apoya en argumentos vlidos
en todos sus pasos, toma el nombre de deduccin.

2.4.4. Reglas de inferencia bsicas

Para garantizar que una conclusin es vlida en el diseo de pruebas, se deben emplear las leyes de la lgica a estas leyes se les conoce como
reglas deinferencia. Estas sirven para probar que, a partir de premisas, es posible demostrar la validez de una conclusin. 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 bsicas su objetivo es facilitar la identificacin de las equivalencias bsicas en el
clculo proposicional y se deben utilizarlas cuando se hacen demostraciones se recomienda tener muy presente este cuadro.

Leyes de Identidad

Leyes de dempotencia

1. P v P 4- P
2. P ^ P 4- P

Leyes Asociativas

1. (PvQ)vR4-Pv(QvR)
2. (P ^ Q) ^ R4- P ^ (Q ^ R)
Leyes Conmutativas

1. P v Q 4- Q v P
2.P ^ Q 4- Q ^ R Leyes
Distributivas

1. P v (Q ^ R) 4- (P v Q) ^ (P v R)
2. P ^ (Q v R) 4- (P ^ Q) v (P ^ R)

2.4.6. Mtodos de demostracin

2.5.6.1. Mtodo directo o Mtodo de la
hiptesis auxiliar

Si se tiene un conjunto de premisas en una

teora, partiendo del supuesto que una
proposicin P es verdadera y haciendo uso
de las premisas disponibles, es posible
demostrar que una proposicin Q es
verdadera, dando como conclusin que P
Q es verdadero.
Proceso de demostracin:

Para demostrar que la proposicin P Q

es teorema se debe:
1.
2.

3.

Suponer que antecedente P es

verdadero. Esta es la hiptesis
auxiliar.
Luego, con esta hiptesis, se
disea la argumentacin lgica,
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.
Finalmente, se concluye la prueba
y se establece la validez de P Q.

Sintetizando la demostracin de la
proposicin P Q, utilizando el mtodo
directo, se desarrollara de la siguiente
forma:
Suponer que P
es verdadera (A
sto se le llama hiptesis auxiliar)
Aplicar
argumentacin
lgica
(Demostracin
subordinada)
Q

1. P v 04-P P ^ 1 4- P
2. P ^ 1 4- P P ^ 0 4-0

Leyes del complemento

1. P v P 4- 1 , P ^ P 4- 0
2. ( P)4- P i 1 4- 0 1, 0 4-1
Leyes DMorgan

1. (P v Q) 4- P ^ Q
2. ~(P ^ Q) 4- P v Q

PQ

Conclusin
2.4.6.2. Mtodo del contrarrecproco

Este parte del teorema con su mismo

nombre, el cual dice que la proposicin de
la forma (P Q) ( Q P), da lugar a
una variante del mtodo directo.
Para su desarrollo se parte del supuesto
que se quiere demostrar la proposicin P
Q, la cual es un teorema y que no es posible
obtener la conclusin deseada por medio
del mtodo directo. Debido a sto,
demostrar, con el mtodo directo, la
contrarrecproca 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 sustitucin por
equivalencia.

Proceso de demostracin

Para hacer la demostracin que la proposicin P Q es un teorema se debe:

1. Tomar como hiptesis auxiliar Q.
2. Disear la argumentacin lgica que permita concluir P
3. Concluir, utilizando el mtodo directo que ( Q P) es un teorema.
4. Aplicar la regla de validez 3, para concluir que P Q es vlida, mediante la equivalencia del contrarrecproco.
En sntesis, la demostracin de la proposicin P Q por este mtodo, se hace bajo la siguiente forma:
Suponer que

es la hiptesis auxiliar. Aplicar argumentacin lgica

P
QP

Mtodo Directo

PQ

Por contrareciproco

2.4.6.3. Mtodo de demostracin por contradiccin

Para entender este mtodo, es necesario aclarar los conceptos de, Contradiccin: es aquella proposicin que corresponde a la conjuncin entre
una proposicin y su negacin.
Este mtodo se fundamenta en la condicin de no contradiccin para una teora, y supone, de manera explcita, la negacin de la proposicin a
demostrar. De manera ms simple, se dice 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. Veamos el siguiente ejemplo para explicar mejor lo anterior:

Ejemplo 12 (Tomado de Curso Lgica matemtica http://docencia.udea.edu.co/cen/logica/ Lic. Alberto Jaramillo Atehorta)

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 Negacin
4. Q v Q
5. P

Teorema del medio excluido

Modus Ponens de paso 4) y 3).

Ingrese ala pgina Web http://www.cibernous.com/logica/ All encontrar un simulador que le permitir ingresar y ver el resultado de esta proposicin

(Su tabal de vendad y el tipo de funcin que es)

Proposiciones
Son

Trminos de enlace

Se

Expresiones

Son

Clasifican

lingsticas

en

Simples

Se

Letras o smbolos que

permiten
unir

Clasifican

proposiciones sin perder

el sentido lgico

en

O=Disyuncin

Compuestas

Son

No=Negacin

Son

Las que tienen sentido

completo y su valor es
falso o Verdadero

Unin entre dos o ms

proposiciones simples
a
trminos
de
travs de
enlace

Si ... entonces=
Condicional
Si y solo Si=
Bicondicional

Razonamiento

Lenguaje

Un

Un

Proceso que permite establecer conclusiones de

acuerdo a proposiciones
Se clasifica en

Inductivo
Se
Establece un
principio
general
basado
en
experiencias

Analgico

Es

Es

particular

Sistema de signos que expresan ideas a fin de

establecer comunicacin
Se clasifica en

Deductivo

El ideal por
excelencia y
parte de lo
general
hacia
lo

Y=Conjuncin

El que traslada
las propiedades
de un objeto ya
conocido a otro
semejante

Natural
Nace
Capacidades
lingsticas de una
comunidad

Artificial
Es
Aquel que utiliza
signos para obtener
una comunicacin
ms precisa y clara

Glosario de trminos

Para dar inicio a este curso debemos recordar los siguientes conceptos y familiarizarnos con ellos ya que estaremos utilizndolos muy a menudo:
Axioma: Proposicin tan clara y evidente que se admite sin necesidad de demostracin.
Conocimiento: Averiguar por el ejercicio de las facultades intelectuales la naturaleza, cualidades y relaciones de las cosas
Deduccin: Sacar consecuencias de un principio, proposicin o supuesto.
Inferir: Sacar una consecuencia o deducir algo de otra cosa
Pragmtica: Rama de la semitica que estudia las relaciones entre los smbolos y los sujetos que los utilizan.
Proposicin: Es un enunciado o frase a la cual puede asignrsele uno de los dos valores de verdad.
Razonar: Discurrir, ordenando ideas en la mente para llegar a una conclusin.
Razonamiento: Serie de conceptos encaminados a demostrar algo o a persuadir o mover a oyentes o lectores
Semitica: Ciencia que se dedica al estudio del lenguaje o sea el estudio de los sistemas de signos, compuesta por 3 ramas: Sintaxis,

Semntica y Pragmtica.
Sintaxis: estudio de las relaciones entre los smbolos entre s, independientemente de los objetos que ellos puedan designar es, en
consecuencia, la teora de la construccin del lenguaje.
Semntica: Rama de la semitica que estudia las relaciones entre los signos y los objetos que ellos designan.
Teoremas: Proposicin demostrable lgicamente partiendo de axiomas ya demostrados, mediante reglas de inferencia aceptadas.
Valor de verdad: Unidades para validacin de los procesos de la lgica, 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:
1998
Libro:
Paginas Web:

Matemtica Digital, Gmez Carlos, Gmez German, Botero William.

Lgica Matemtica, Galindo Patio Nubia Janeth. Lgica matemtica.

Editorial Universidad Abierta y A Distancia. Bogot. 2001

http://docencia.udea.edu.co/cen/logica/
Fundamentos de lgica y teora de conjuntos. Universidad de Antioquia.
Compendiados por el Lic. Alberto Jaramillo Atehortua. (Ejercicios 15, 16)

Editorial McGraw Hill. Bogot.