U1. Lógica de Enunciados o de Proposiciones

Lgica Matemtica
Unidad 1. Lgica de enunciados o de proposiciones
Universidad Abierta y a Distancia de Mxico
Licenciatura en Matemticas
10 cuatrimestre
Lgica Matemtica
Clave:
05941040
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas
Lgica Matemtica
ndice
Unidad 1. Lgica de enunciados o de proposiciones. ........................................................... 3
Presentacin de la unidad ........................................................................................................ 3
Propsitos de la unidad ........................................................................................................... 3
Competencia especfica ........................................................................................................... 3
1.1. El lenguaje de la lgica de enunciados. ........................................................................... 3
1.1.1. Introduccin a los lenguajes formales. ...................................................................... 4
1.1.2. Smbolos de la lgica de enunciados. ....................................................................... 6
1.1.3. Reglas de formacin de frmulas. ............................................................................. 8
1.1.4. Principio de induccin. ............................................................................................. 10
1.2. Asignacin de verdad. ..................................................................................................... 11
1.2.1. Implicacin tautolgica. ............................................................................................ 13
1.2.2. Equivalencia tautolgica. .......................................................................................... 14
1.2.3. Tablas de verdad. ...................................................................................................... 14
1.2.4. Tautologas. ............................................................................................................... 15
Actividad 1. Introduccin a los lenguajes formales. Del espaol al formal y asignaciones
de verdad ................................................................................................................................. 16
1.3. Induccin y recursin. ..................................................................................................... 17
1.3.1. Teoremas generales de induccin y recursin. ...................................................... 17
1.3.2. Unicidad de lectura.................................................................................................... 23
1.4. Conectivos lgicos. ......................................................................................................... 27
1.4.1. Funciones booleanas ................................................................................................ 28
1.4.2. Conjuntos de conectivos completos........................................................................ 33
1.4.3. Conjuntos de conectivos incompletos. ................................................................... 35
Actividad 2. Problemas de aplicacin de principios de induccin, recursin y uso de
conectivos ............................................................................................................................... 35
1.5. Compacidad y efectividad. .............................................................................................. 36
1.5.1. Teorema de compacidad. .......................................................................................... 36
1.5.2. Efectividad y calculabilidad. ..................................................................................... 38
1.5.3. Decidibilidad y ejemplos de enunciados. ................................................................ 39
Actividad 3. Propiedades de conjuntos de frmulas............................................................ 42
Evidencia de Aprendizaje ....................................................................................................... 42
Autorreflexiones ..................................................................................................................... 43
Cierre de la unidad.................................................................................................................. 43
Para saber ms ....................................................................................................................... 43
Referencias Bibliogrficas ..................................................................................................... 44
Lgica Matemtica
Unidad 1. Lgica de enunciados o de proposiciones.
Presentacin de la unidad
En esta unidad se introducir el concepto de lenguajes formales, smbolos de lgica de
enunciados, reglas y el principio de induccin, que permitirn generar procesos lgicamente
estructurados en la bsqueda de soluciones de problemas en distintas reas, para lo cual
contaremos con las herramientas, el lenguaje y el pensamiento lgico. Para determinar si un
enunciado o solucin est estructurado correctamente y por lo tanto si es vlido.
Propsitos de la unidad
Usar procesos lgicos para comprender los lenguajes formales

Utilizar los smbolos de la lgica para formar enunciados
Utilizar la lgica matemtica en frmulas conocidas
Utilizar el principio de induccin para validar enunciados
Competencia especfica
Aplicar el lenguaje de la Lgica de proposiciones mediante el clculo proposicional para
comprender el concepto de sistema formal.
1.1. El lenguaje de la lgica de enunciados.

La lgica de enunciados o de proposiciones, permite traducir proposiciones enunciadas en
lenguaje natural a smbolos lgicos o matemticos para analizarlas y asignarles un valor de
verdad o falsedad.
En la lgica de enunciados (o lgica proposicional), se estudia la composicin de enunciados
mediante los conectivos (y, o, si, entonces, etc.), y se fundamenta en el principio de
bivalencia, en el cual todo enunciado en el lenguaje natural tiene un valor de verdad bien
definido, de verdadero o falso pero no ambos a la vez.
Para empezar, considera que cada proposicin tiene una forma lgica a la que se le da un
nombre, unas se denominan proposiciones atmicas y otras proposiciones moleculares.
Proposicin atmica, es una proposicin simple sin trminos de enlace
Proposicin molecular, se forma de una o varias proposiciones atmicas y trminos de
enlace(o conectivos).
Lgica Matemtica
En lo siguiente se definir ms precisamente el lenguaje que se va a usar y cmo se
determinan los valores.
1.1.1. Introduccin a los lenguajes formales.

El uso del lenguaje formal permite escapar de las ambigedades e imprecisiones de los
lenguajes naturales; sin embargo, los lenguajes formales tienen un grado de expresividad
limitado.
A diferencia de los lenguajes naturales (como el espaol o el alemn, por mencionar algunos),
ste ser un lenguaje formal, con reglas de precisin y caractersticas de este lenguaje, para
explicarlo considera el siguiente ejemplo.
Ejemplo
El enunciado Se observaron rastros de potasio se puede traducir al lenguaje formal, usando,
digamos, el smbolo , para el enunciado relacionado, No se observaron rastros de potasio
podemos usar
, el smbolo es el smbolo para la negacin. Para un enunciado que no
est relacionado, La muestra contena cloro, se elige el smbolo , a partir de estos dos
enunciados, es posible definir enunciados compuestos y representarlos de forma simblica de
la siguiente forma:
El enunciado compuesto, Si se observaron rastros de potasio, entonces la muestra no
contena cloro, se puede representar como (
), donde la flecha es traduccin de
si, entonces.
En el enunciado, La muestra contena cloro y se observaron rastros de potasio se usar el
smbolo como traduccin de y, es decir,
En el siguiente enunciado se usar el smbolo para la disyuncin o

No se observaron rastros de potasio, o la muestra no contena cloro
(
En el siguiente enunciado hay dos formas alternativas para la traduccin del enunciado que en
el lenguaje natural son entendidas como lo mismo.
Ni la muestra contena cloro, ni se observaron restos de potasio
(
) o bien (
Lgica Matemtica
Un aspecto importante de la descomposicin de los enunciados compuestos es que sabiendo
la verdad o falsedad de las partes atmicas, podemos saber la verdad o falsedad del
compuesto. Considera entonces la siguiente situacin: el qumico sale de su laboratorio y
anuncia que observ rastros de potasio pero que la muestra no contena cloro; entonces
puedes saber la verdad o falsedad respectivamente de los cuatro enunciados mencionados
anteriormente, es posible construir la siguiente tabla
para ejemplificar los cuatro
resultados experimentales posibles, la descripcin de este mtodo se dar ms adelante.
Tabla 1
Generalmente se incluyen tres tipos de datos en la descripcin de un lenguaje formal:

1.
Especificar el tipo de smbolos (el alfabeto) en la lgica de enunciado. Algunos smbolos

son
2.
Especificar las reglas de formacin para la sucesiones finitas de smbolos gramaticalmente

correctas tales sucesiones se llaman frmulas . Por ejemplo
Las sucesiones de smbolos (
no lo es.
) es una frmula, mientras que
3.
Indicar las traducciones permisibles entre el espaol y el lenguaje formal. Los smbolos
pueden ser traducciones de enunciados declarativos del espaol.
La tercera parte, es en la que se da significado a las frmulas. Este proceso de asignacin de

significado es lo que motiva a hacer todo esto. Aunque tambin es posible que se realicen
manipulaciones en las frmulas sin tomar en cuenta cualquier significado posible. Si una
persona slo estuviera al tanto de los dos primeros datos de la descripcin del lenguaje, puede
que realice cualquiera de las cosas que se harn, pero esto no tendra ningn sentido para ella.
Brevemente se examinan algunas clases de lenguajes formales con una importancia muy
grande en la vida moderna.
Una clase de lenguaje formal de inters generalizado hoy en da, son los usados por las
computadoras digitales (o que al menos estn en conexin con ellas), existen muchos de estos
lenguajes, una frmula tpica en uno de ellos es
En otro, una frmula tpica es
Lgica Matemtica
Un lenguaje de programacin muy conocido es C++ que tiene frmulas como sta
En cada lenguaje formal, existe un procedimiento para traducir las frmulas al espaol y (para
una clase restringida de oraciones del espaol) un procedimiento para traducir del lenguaje
natural al lenguaje formal.
1.1.2. Smbolos de la lgica de enunciados.

Se asume que se tiene una sucesin infinita de objetos distintos llamados smbolos, y a los
cuales se les da nombre en la tabla siguiente (basada en la que se encuentra en A
Mathematical Introduction to Logic, pag. 14). Asume tambin que ninguno de estos smbolos es
una sucesin finita de otros smbolos.
Tabla #
Smbolo
Nombre largo
Parntesis izquierdo
Parntesis derecho
Smbolo de negacin
Smbolo de conjuncin
Smbolo de disyuncin
Smbolo condicional
Smbolo bicondicional
Primer smbolo de enunciado
Segundo smbolo de enunciado
Observaciones
Puntuacin
Puntuacin
Espaol: no
Espaol: y
Espaol: o (inclusivo)
Espaol: si ___, entonces __
Espaol: si y slo si
Ensimo smbolo de enunciado

Considera las siguientes observaciones:
1. Los smbolos
son llamados conectivos de enunciados. La forma en que se
usan es sugerida por la traduccin que se presenta en la tabla. Los conectivos, junto con
los parntesis, son smbolos lgicos. Los smbolos de enunciado son los parmetros
(o smbolos no lgicos), su traduccin no est fija; ms bien estar abierta a
interpretacin.
2. Se introdujeron una cantidad numerable de smbolos de enuncuado. La mayor parte de
las cosas que se presentan en este tema se aplican bien si se considera un conjunto
arbitrario de smbolos de enunciado.
Lgica Matemtica
3. Algunos autores prefieren llamar a
el ensimo smbolo de proposicin (y hablar de
lgica proposicional). Esto porque se quiere que la palabra enunciado se refiera a un
tipo particular de oracin y que una proposicin sea lo que un enunciado afirma.
4. Se denomin smbolos, pero esto es siendo neutrales acerca del status ontolgico de
los smbolos. Por ejemplo
es un smbolo, a saber el cuadragsimo tercer smbolo de
enunciado, (por otra parte,
es el nombre de dicho smbolo. El smbolo condicional
puede o no tener la propiedad geomtrica de estar conformado como una flecha,
aunque su nombre s la tiene). Los smbolos pueden ser conjuntos, nmeros,
canicas u objetos pertenecientes a un universo de objetos lingsticos. En este ltimo
caso, se puede tener que sean de hecho las mismas cosas que los nombres que
usamos para ellos. Otra posibilidad, es que los smbolos de enunciados sean frmulas
de otro lenguaje.
5. Al suponer que ningn smbolo es una sucesin finita de otros smbolos se tiene que los
. El
smbolos de la lista son distintos (por ejemplo:
) y se exige que
propsito de esta descomposicin es asegurar que las sucesiones finitas de smbolos
tengan una descomposicin nica. Es decir, si
con
smbolos, entonces
Una expresin es una sucesin finita de smbolos. Podemos especificar una expresin
. Esta notacin
concatenando los nombres de los smbolos; as
es la sucesin
se extiende: Si y son sucesiones de smbolos, entonces
es la sucesin que consiste en
los smbolos de la sucesin seguidos de los smbolos de la sucesin . Por ejemplo, si y
son las expresiones dadas por las ecuaciones
entonces la expresin
es la expresin (
).
A continuacin se presentan dos ejemplos de traducciones de enunciados del lenguaje natural

a expresiones del lenguaje formal. Sean
los primeros 27 smbolos de enunciado.
1. Espaol: El sospechoso debe ser liberado. Traduccin: .
Espaol: La evidencia obtenida es admisible. Traduccin: .
Espaol: La evidencia obtenida es inadmisible. Traduccin:
.
Espaol: La evidencia obtenida es admisible y el sospechoso puede no ser liberado.
Traduccin: (
).
Espaol: La evidencia obtenida es admisible o el sospechoso debe ser liberado (o
posiblemente ambas cosas). Traduccin:
.
Lgica Matemtica
Espaol: O bien la evidencia obtenida es admisible, o el sospechoso debe ser liberado, pero
no ambas cosas. Traduccin: (
(
)). Siempre se usar el smbolo como
traduccin de la palabra o en su sentido inclusivo y/o.
Espaol: La evidencia obtenida es inadmisible pero el sospechoso puede no ser liberado.
Traduccin: (
). Por otra parte, la expresin (
) se traduce al espaol
como: La evidencia obtenida es inadmisible, o el sospechoso puede no ser liberado.
2. Espaol: Si mi abuela tuviera ruedas, sera bicicleta. Traduccin:
Espaol: Mi abuela tiene ruedas si y slo si es bicicleta. Traduccin:
.
.
Con este respecto ten mucho cuidado, no debes confundir un enunciado del lenguaje natural
(Las rosas son rojas) con una traduccin de dicho enunciado al lenguaje formal (por ejemplo )
pues son diferentes; el enunciado en espaol es presuntamente verdadero o falso, pero la
expresin formal es slo una sucesin de smbolos (si bien es posible darle interpretacin sta
depende del contexto).
Tambin considera que algunas expresiones no se pueden obtener como traducciones de
ningn enunciado en lenguaje natural, tal como
A continuacin se ver cmo hacer que una formula est bien estructurada, o tenga sentido
para lo que se est haciendo.
1.1.3. Reglas de formacin de frmulas.

Las reglas de formacin, permiten definir frmulas que son expresiones gramaticalmente
correctas, excluyendo aquellas que no tienen sentido
La definicin para la formacin de frmulas tendr las siguientes consecuencias:
(a) Todo smbolo de enunciado es una frmula.
(b) Si y son frmulas, entonces tambin lo son
(c) Ninguna expresin es frmula a menos que (a) y (b) obliguen a ello
Se quiere precisar la tercera propiedad. Una frmula bien formada es una expresin que se
construye a partir de smbolos de enunciados y de la aplicacin, un nmero finito de veces, de
las operaciones de construccin de frmulas (sobre las expresiones) definidas por las
ecuaciones.
Lgica Matemtica
Por ejemplo, la siguiente expresin es una formula, que se construye a partir de cuatro smbolos
de enunciados aplicando cinco veces operaciones de construccin de frmulas:
(
))
El rbol muestra cmo se construye la expresin.
))
Se puede desarrollar la idea de construccin como sigue: Defina una sucesin de

de expresiones tal que, para cada
construccin como una sucesin finita
tiene al menos uno de los siguientes hechos:
, se
es un smbolo de enunciado
( ) para algn
(
) para algunos
Donde es uno de los conectivos binarios

. Entonces las frmulas pueden
caracterizarse como las expresiones tales que alguna sucesin de construccin termina con
. Puedes pensar a como la expresin en el estado del proceso de construccin.
Por ejemplo, para la expresin
(
))
Se obtiene una sucesin de construccin al comprimir su rbol genealgico en un orden lineal.

Una caracterstica en este tipo de construccin es que genera un tipo de induccin.
Lgica Matemtica
1.1.4. Principio de induccin.
1.1.4.1. Definicin.
Un conjunto es cerrado bajo una funcin de dos argumentos si cada vez que
entonces
, y anlogamente para funciones de un argumento, etc
1.1.4.1. Teorema. Principio de induccin

Si es un conjunto de frmulas que contiene todos los smbolos de enunciado y es cerrado
bajo las cinco operaciones de construccin de frmulas, entonces es el conjunto de todas las
frmulas.
Primera demostracin.
Sea una frmula cualquiera luego entonces se construye mediante smbolos de enunciados
al aplicar un nmero finito de veces las operaciones de construccin de frmulas.
Si se explora el rbol genealgico hacia arriba, se encontrara que cada expresin que existe en
el rbol pertenece a , despus de un nmero finito de pasos encontraremos en la punta del
rbol que
.
Segunda demostracin.
Se usa la misma idea que en la primera demostracin, solo que no se usarn los rboles.
Considrese una formula cualquiera, entonces es el ltimo miembro de alguna sucesin de
, por induccin numrica fuerte ordinaria sobre el nmero se observa
construccin
que cada
, para
Es decir, supngase como hiptesis de induccin que
para toda
. Entonces se
verifica que
, considerando los diferentes casos. As, por induccin fuerte sobre , se sigue
que
para cada
En particular el ltimo miembro pertenece a
El principio de induccin permite saber si ciertas expresiones no son frmulas.

Ejemplo
Ninguna expresin con ms parntesis izquierdos que parntesis derechos es una frmula.
Demostracin.
La idea es que al comenzar a construir frmulas, se empieza con smbolos de enunciados (que
tienen cero parntesis izquierdos y cero parntesis derechos), luego aplicando las operaciones
de construccin de frmulas, las cuales agregan parntesis slo por parejas, uno izquierdo y
uno derecho. El argumento se puede reformular de la siguiente manera: El conjunto de las
frmulas balanceadas (las que tienen igual nmero de parntesis izquierdos que derechos)
tiene como elementos a todos los smbolos de enunciado y es cerrado bajo las operaciones de
construccin de frmulas. Es decir, el conjunto de frmulas balanceadas es inductivo. El
principio de induccin nos asegura, entonces, que todas las formulas son balanceadas.
10
Lgica Matemtica
Una caracterstica especial de las operaciones de construccin de frmulas particulares es que
construyen hacia arriba y nunca hacia abajo. Esto es las expresiones
siempre incluyen
la sucesin completa (y la sucesin completa ) ms otros smbolos. Por ende es ms largo
que y .
Esta caracterstica especial simplifica el problema de determinar, para cada frmula , cmo
fue construida exactamente.
Todos los bloques de construccin, por decirlo as, estn incluidos como segmento en la
sucesin de construccin de .
1.2. Asignacin de verdad.

Se quiere definir lo que significa que una frmula del lenguaje se siga lgicamente de otras
frmulas. Por ejemplo,
deber seguirse de
, pues independiente de cmo se
traduzcan los parmetros
y
al espaol, si la traduccin de
es verdadera,
entonces la traduccin de
debe ser verdadera. Pero la nocin de todas las posibles
traducciones al espaol es demasiado vaga, sin embargo, es posible expresar esta idea en una
forma simple y precisa.
Se fija un conjunto {
} de valores de verdad que consta de dos puntos distintos
Al fijar este conjunto no importa qu sean estos puntos, tambin podran ser, por ejemplo,
nmeros
. Entonces una asignacin de verdad para un conjunto de smbolos enunciados
es una funcin:
{
que asigna a cada smbolo en . Estas asignaciones de verdad se usarn en vez de las
traducciones al lenguaje natural.
Con lo anterior se est diciendo que se usar una lgica bivalente, por supuesto esto deja la
idea de poder usar tres valores verdad, o quiz un conjunto ms grande de 1000 valores de
verdad,
valores de verdad o tomar como conjunto de valores de verdad el intervalo [ ],
todo lo anterior es posible, sin embargo, la lgica bivalente es la que siempre ha sido de mayor
significacin y en este curso ser nuestro objeto de estudio.
Sea el conjunto de las frmulas generado a partir de por las cinco operaciones de
construccin de frmulas. Se quiere una extensin de ,
11
Lgica Matemtica
que asigne el valor correcto de verdad a cada frmula de y debe satisfacer las siguientes
condiciones:
a) Para cualquier
b) Para cualesquiera
,
y en :
1.
2.
3.
4.
5.
Como ejemplo de la forma de calcular , sea

((
y sea
la frmula
)
la asignacin de verdad para {
Se quiere calcular
))
} tal que
. Mira el siguiente rbol que muestra la construccin de :

((
(
)
)
))
(
Si te desplazas de abajo hacia arriba puedes asignar a cada vrtice

Escribiendo esto de manera ms concisa y en una sola lnea:
del rbol el valor
De esta forma se tiene una asignacin de verdad a las frmulas de , el siguiente teorema
habla de la unicidad de esta extensin para la funcin asignacin de verdad.
Teorema.
12
Lgica Matemtica
Si es una asignacin de verdad para el conjunto , entonces existe una nica funcin
} que satisface las condiciones anteriores en los incisos a) y b).
{
Este teorema se sigue del teorema de recursin que se dar en temas siguientes y del teorema
de unicidad de la lectura de frmulas, pero te debe parecer claro despus del ejemplo. Al
demostrar la existencia de , el punto importante es, esencialmente, la unicidad de los rboles
mencionados en el ejemplo.
Se dice que una asignacin de verdad satisface sii
. Evidentemente esto significa
que todos los smbolos de enunciado de deben pertenecer al dominio de .
1.2.1. Implicacin tautolgica.

Considera ahora un conjunto
la posible conclusin.
de frmulas, que juegan el papel de hiptesis, y otra frmula ,
1.2.1.1. Definicin.
implica tautolgicamente a
ssi (si y slo si) toda asignacin de verdad para los
smbolos de enunciado que ocurren en y en , que satisfaga a todos los elementos de
tambin satisface .
Esta definicin est relacionada con la idea que se tiene de que una conclusin se sigue de un
conjunto de hiptesis, que si se suponen verdaderas y esto garantiza la verdad de la
conclusin.
Se mencionan ahora algunos casos especiales de concepto de implicacin tautolgica. Primero
considera el caso especial en el que es el conjunto . En este caso se tiene que es cierto por
vacuidad que toda asignacin de verdad satisface a todos los elementos de (esto puedes
verlo preguntndote Cmo podra ser esto falso? La respuesta es que existiera algn
elemento en que no satisfaga la propiedad, lo cual es absurdo). Por tanto se tiene:
ssi
toda asignacin de verdad (para los smbolos de enunciado que ocurren en ) satisface . En
este caso se dice que es tautologa
, En el ejemplo que se present antes, la frmula
((
))
se satisface con cualquiera de los ocho posibles valores de verdad para {

sin importar los valores de verdad que se le asignen a los elementos de {
enunciado siempre es verdadero, por tanto es una tautologa.
}, es decir,
} el
Otro caso especial es aquel en que ninguna asignacin de verdad satisface a todos los
elementos de . Entonces, para toda es cierto por vacuidad que
. Por ejemplo, considera
{
}
Se presenta el siguiente ejemplo sobre implicacin tautolgica.
13
Lgica Matemtica
Ejemplo
}
}.
Considera {
. Existen cuatro posibles asignaciones de verdad para {
Puedes verificar, calculando los valores de verdad de cada parte, que slo una de estas cuatro
posibilidades satisface tanto a como a
, esta es, la para la cual
.Y
claramente esta tambin satisface .
{ }, entonces se escribe
Si es un conjunto unitario de la frmula ,

{ }
.
en lugar de
1.2.2. Equivalencia tautolgica.

1.2.2.1 Definicin.
Si a la vez
y
, entonces y se llaman tautolgicamente equivalentes
Por ejemplo, cuando se tenan las frmulas (
)y(
) como traducciones
equivalentes de una oracin en espaol, se afirma que entonces son tautolgicamente
equivalentes.
Se puede enunciar sin demostracin por ahora un hecho realmente importante y no trivial.
1.2.2.1. Teorema. (Teorema de Compacidad)

Sea un conjunto infinito de frmulas tal que para todo subconjunto finito
de existe una
asignacin de verdad que satisface a todos los elementos de . Entonces existe una
asignacin de verdad que satisface a todos los elementos de .
Se puede reformular el teorema anterior de una manera ms sencilla como sigue: Si todo
subconjunto finito de es satisfactible, entonces es satisfactible.
1.2.3. Tablas de verdad.

Existe un procedimiento sistematico para verificar, dadas las frmulas
y , si
{
}
o no. En particular, cuando
, el procedimiento decidir, dada una frmula, si
es tautologa o no. Como primer ejemplo, se ver que
(
}, puedes ver que para un

Para esto, consiera todas las asignaciones de verdad para {
conjunto de smbolos hay
asignaciones de verdad, las cuatro asignaciones en este caso se
pueden escribir en una tabla:
14
Lgica Matemtica
Esta tabla se puede extender para que incluya a: (

)y(
). Para cada
frmula se calcula los valores de y como antes se dijo, escribiendo el valor de verdad
debajo de la conectiva correcta, esto se presenta en la siguiente tabla:
(
Puedes ver que todas las asignaciones de verdad que satisfacen a (

tambien satisfacen a (
), y que son tres,
). Tambin es cierta la conversa y, por tanto, son
tautolgicamente equivalentes, (
).
Para probar que (

) (
) puedes construir una tabla de la misma manera.
Pero slo una lnea de la tabla es necesaria para establecer que realmente existe una
asignacion de verdad que satisface a (
) y que no satisface a(
).
Este mtodo suele ser aplicable pero puede ser un procedimiento poco eficiente pues, para
probar una frmula con varios smbolos, la cantidad de renglones en la tabla crece demasiado.
Pero haciendo observaciones puedes reducir el nmero de operaciones que debes hacer, pues
existen algunos valores de verdad para los smbolos que dominan los valores del resto de la
frmula. Como ejemplo de lo anterior, considera
((
))
1.2.4. Tautologas.
A continuacin se presenta una lista de las tautologas comunes y tiles en demostraciones.
1. Leyes asociativas y conmutativas para
15
Lgica Matemtica
2. Leyes distributivas:
((
))
((
))
3. Negacin:
((
((
((
((
))
)
)))
4. Leyes de De Morgan:
5. Otras
Tercero excluido: (
((
))
((
))
).
Contradiccin: ( (
)).
Contraposicin: (
Exportacin: ((
)).
(
)).
Actividad 1. Introduccin a los lenguajes formales. Del espaol al formal y

asignaciones de verdad
A travs de sta actividad, podrs comparar resultados dentro del foro para representar
enunciados de espaol a un lenguaje formal. Para ello:
1.
Descarga el documento Act. 1. Foro introduccin a los lenguajes formales.
2.
Resuelve los ejercicios que se presentan en el documento descargable
3.
Ingresa al foro y representa tus conclusiones dentro de ella
4.
Revisa la aportacin de tres de tus compaeros, aceptando o rechazando sus

aportaciones
Consulta la rbrica general de la participacin en foros que se encuentra en la seccin
16
Lgica Matemtica
Material de apoyo
1.3. Induccin y recursin.

A continuacin se presentaran dos mtodos de construccin usados en la lgica y en varias
reas de la matemtica que son de vital importancia por presentar una manera de obtener, en
un principio, conjuntos que cumplen ciertas propiedades, estos mtodos son: Induccin y
Recursin. Debes tener cuidado pues aunque los nombres de estos mtodos de construccin
son conocidos fuera del contexto matemtico, el significado aqu es distinto al usual.
1.3.1. Teoremas generales de induccin y recursin.

Induccin
Hay un tipo especial de construccin que es usando en la lgica y en otras reas de las
matemticas. Se puede querer construir un cierto subconjunto de un conjunto empezando
con algunos elementos iniciales de y aplicando ciertas operaciones una y otra vez. El
conjunto buscado ser el ms pequeo que contenga a los elementos iniciales y sea cerrado
bajo las operaciones. Los elementos sern elementos de que puedan ser construidos por los
elementos iniciales aplicando las operaciones algn nmero finito de veces.
En particular cuando es el conjunto de las expresiones, los elementos iniciales son los
smbolos de enunciado y las operaciones , , etc. El conjunto resultante es el conjunto de
las frmulas. Se encontrarn posteriormente otros casos especiales, ser de ayuda estudiar de
manera abstracta esta construccin.
Para simplificar la discusin, considera un conjunto inicial
slo dos elementos y , donde
y una clase
de funciones con
As, es una operacin binaria en y es una operacin unaria (por el momento est
siendo considerada finita pero esto no es necesario y se ver porque el argumento puede ser
extendido a una situacin ms general).
Si y pertenecen a , entonces el conjunto
elementos
(
que se quiere construir tendr, por ejemplo, los

)
( (
))
Por supuesto, estos elementos pueden no ser distintos

Al definir
ms formalmente, se puede escoger entre dos definiciones como sigue:
17
Lgica Matemtica
1. De arriba hacia abajo: Se dice que un subconjunto de es cerrado bajo y sii
siempre que los elementos , pertenezcan a , entonces tambin
y
pertenecen a . El conjunto inductivo sii
y es cerrado bajo y . Sea
la
interseccin de todos loa subconjuntos inductivos de ; as
sii pertenece a todo
subconjunto inductivo de . Se puede ver que
es inductivo, y que
es el conjunto
inductivo ms pequeo, pues esta contendido en todos los dems conjuntos inductivos.
2. De abajo hacia arriba: Esta definicin es equivalente a la primera. En este caso se
quiere que los elementos de sean todas las cosas que pueden ser alcanzadas desde
aplicando y un nmero finito de veces. Se define una sucesin de construccin
de elementos de tales que para cada
como una sucesin finita
se
cumple por lo menos una de las siguientes condiciones:
(
) para algunos
( ) para algn
En otras palabras, cada miembro de la sucesin est en , o resulta de los elementos
anteriores aplicando o .
Sean el conjunto de todos los puntos tales que alguna sucesin de construccin termina
con y
el conjunto de todos los puntos tales que alguna sucesin de construccin de
longitud termina con . Entonces
,
Por ejemplo,
( (
)) pertenece a
y por lo tanto a
, como puedes ver
en el siguiente rbol:
( (
(
))
)
Al aplanar este rbol hasta convertido en un orden lineal se obtiene una sucesin de
construccin de
( (
)).
Ejemplo
1. Los nmeros naturales.
18
Lgica Matemtica
{ }. Considera una operacin
Sea el conjunto de todos los nmeros reales y sea

(sucesor) , donde
. Entonces
{
El conjunto de los nmeros naturales tiene como elementos exactamente aquellos nmeros
que se pueden obtener a partir de aplicando repetidamente la operacin sucesor.
2. Los enteros.
Sean el conjunto de todos los nmeros reales y
sucesor y la operacin predecesor :
Ahora
{ }. Esta vez considera las operaciones
es el conjunto de todos los enteros,

{
En este caso observa que para este caso es posible obtener el

(
( ( (
como elemento de
, ya que
))).
3. Las frmulas.
Sea el conjunto de todas las expresiones y sea el conjunto de los smbolos de enunciado.
Sea el conjunto de las operaciones
y
. Entonces es el conjunto de todas
las frmulas.
Ahora se va a verificar que las dos definiciones son equivalentes, es decir que
Para empezar se va a demostrar que

y para ello slo se necesita verificar que es
inductivo, es decir, que
y que es cerrado bajo las funciones. Claramente
.
Si
estn en , entonces es posible concatenar sus sucesiones de construccin y agregar al
final
para obtener una sucesin de construccin que coloca a
en y de la misma
forma es cerrado bajo .
Finalmente, para probar que
considera un elemento de y una sucesin de
para l. Por induccin, como la que comnmente has usado, sobre , se
construccin
puede ver que
, si
. En primer lugar,
. Para el paso inductivo se usa el
hecho de que
es cerrado bajo las funciones. De esta manera se tiene que
19
Lgica Matemtica
Como
, se denomina a este conjunto simplemente, y se refiere a l como el conjunto
generado a partir de por las funciones que pertenecen a . A continuacin se presenta un
resultado muy utilizado para demostraciones de muchos teoremas:
1.3.1.1. Teorema. [Principio de Induccin]
Sea el conjunto generado a partir de por las funciones que pertenecen a . Si es un
subconjunto de que contiene a y es cerrado bajo las funciones en , entonces
.
Demostracin.
es inductivo, por lo que
. La otra contencin se tiene en las hiptesis.
El caso espacial que es de inters por esta ocasin, es el que se presenta en el punto 4 del
Ejemplo, donde es la clase de las frmulas generadas a partir del conjunto de los smbolos de
enunciado por las operaciones de construccin de frmulas.
Recursin.
Se presenta ahora de nuevo el caso abstracto, considera un conjunto (como el conjunto de
todas las expresiones), un subconjunto de (como el conjunto de los smbolos de enunciado)
y dos funciones y , donde
es el conjunto generado a partir de
por
y .
Ahora se quiere definir recursivamente una funcin en . Esto es, suponiendo que han sido
dadas
1. Reglas para calcular
para
2. Reglas para calcular:
a. (
y
) usando
b. (
) usando .
.
.
No es difcil ver que a lo ms puede haber una funcin en

condiciones dadas.
que satisfaga todas las
Pero es posible que no exista tal funcin, por ejemplo, al usar reglas contradictorias. Para ver
esto considera:
{ }
20
Lgica Matemtica
En este caso es el conjunto de los nmeros naturales. Supngase que se imponen las
siguientes condiciones a :
1.
2.
a. (
b. (
)
)
Entonces no puede existir una tal funcin

Se dice que est libremente generado a partir de por y sii adems de las condiciones
para que est generado se tiene (considerando
las restricciones de y a C):
1. y
son uno a uno y
2. El rango de , el rango de
y el conjunto son ajenos dos a dos.
1.3.1.2. Teorema [de la Reclusin]

Supngase que el subconjunto de
Supngase que
es un conjunto y
Entonces existe una nica funcin
i.
ii.
Para
,
a. (
(
)
b. (
est libremente generado a partir de
por
y , donde
son funciones tales que
tal que
Analizando esto desde el lgebra moderna, la conclusin del teorema dice que cualquier
funcin de en se puede extender a un homomorfismo de (con las operaciones y )
en (con las operaciones y ).
Para comprender un poco ms cmo funciona este teorema, considera nuevamente los
ejemplos que se presentaron anteriormente para la induccin:
21
Lgica Matemtica
Ejemplo (condiciones en el teorema de Recursin)
1.
{ } con la operacin de sucesor . Entonces es el conjunto de los nmeros

naturales. Como la operacin sucesor es uno a uno, esto se presenta en los axiomas
de Peano, es libremente generado a partir de { } por . Por lo tanto, por el teorema
de recursin, dado cualquier conjunto , cualquier
, y cualquier
existe
una nica
tal que
y (
( ) para cada
. Por ejemplo,
)
existe una nica
tal que
valor en los nmeros pares y el valor
. Esta funcin toma el

y (
)
en los nmeros impares.
2. Los nmeros enteros estn generados a partir de { } por las operaciones de sucesor y
predecesor, pero no libremente.
3. Las frmulas estn libremente generadas a partir de los smbolos de enunciado por las
cinco operaciones de construccin de frmulas, en el subtema se ver a fondo esta
afirmacin. Se sigue de esto, por ejemplo, que hay una nica funcin definida en el
conjunto de las frmulas tal que
si es un smbolo de enunciado,
(
)
(
y similarmente para
)
. Esta funcin da la longitud de cada frmula.
,y
Demostracin del teorema de recursin. La idea es construir como la unin de muchas

funciones que aproximan cada vez ms lo que se quiere lograr. Por el momento considera una
funcin que va de un subconjunto en , que sea aceptable si satisface las condiciones i. y
ii. que se impusieron a . Ms precisamente, es aceptable sii el dominio de es un
subconjunto de , su rango un subconjunto de y
i'.
ii'.
Si
Si
(
Sea
, entonces
, entonces
). Si
tambin pertenecen a
, entonces tambin
,y (
,y (
)
)
).
la coleccin de todas las funciones aceptables, y sea la unin de . Por lo tanto
A continuacin se presentan algunas ideas de la demostracin, los detalles debes resolverlos

considerando ideas conjuntistas y de lgebra previos a este curso.
1. Se tiene que es una funcin. Sea
22
Lgica Matemtica
{
{
}
para a lo ms una
todas las funciones aceptables definidas en coinciden}
Usando las condiciones i. y ii. puedes ver que el conjunto

es una funcin.
es inductivo, por lo tanto
2. Se tiene tambin que

; es decir, que es una funcin aceptable. Esto se sigue de la
definicin de y el hecho de que es funcin.
3. Se tiene que est definida en todo . Basta probar que el dominio de es inductivo. Esto
se sigue de la hiptesis de que es libremente generado. Por ejemplo, un caso es el
siguiente: Supn que est en el dominio de . Entonces
( ) es aceptable. Se
requiere la libertad en la generacin para probar que es una funcin. En consecuencia,
pertenece al dominio de .
4. Se afirma que es nica. Dadas dos funciones que cumplen las condiciones, sea
conjunto en el que coinciden. Entonces es inductivo, y por lo tanto igual a .
el
La demostracin, si bien aqu se presenta a grandes rasgos, deja algunas ideas que permiten
comprender un poco ms las condiciones y conclusin del teorema. A manera de ampliar la
visin del teorema se presentar una manera de describir la demostracin del teorema de
recursin, presentando la funcin como el conjunto de parejas generado a partir de un
conjunto por ciertas operaciones. Sean
un subconjunto de
De modo que es la operacin binaria en que se obtiene como el producto cartesiano de las
operaciones y . Sea el subconjunto de generado a partir de por y . Entonces se
puede verificar que tiene las propiedades que se requieren y es necesaria la libertad para
probar que es funcin.
1.3.2. Unicidad de lectura.

En el subtema anterior se us, en particular en la demostracin del teorema de recursin, que el
conjunto de las frmulas est libremente generado por las cinco operaciones a partir del
conjunto de smbolos de enunciado, a continuacin se probarn algunos resultados al respecto.
23
Lgica Matemtica
Para empezar, se va a demostrar que se han usado suficientes parntesis para eliminar
cualquier ambigedad al analizar las frmulas, esto considerando que la extencin de
depende de esta falta de ambigedad. Para empezar, considera qu puede pasar cuando no se
introducen parntesis, la ambigedad que resulta se ilustra en la siguientefrmula
que se puede formular de dos maneras, correspondientes a (

(
). Si
tratar de calcular
)ya
, entonces hay un conflicto irresoluble que surge al

.
Se debe probar que con los parntesis este tipo de ambigedad no surge, sino que al contrario,
toda frmula se forma de manera nica. Hay un sentido en el que este hecho no tiene
importancia: si fallara, simplemente se cambia de notacion hasta que fuera cierto. Aunque
existen mtodos ms limpios en la construccin de las frmulas que evitan la ambigedad, se
ver que no son necesarios pues basta con lo que se ha hecho. Para esto se presentan los
siguientes lemas.
1.3.2.1. Lema.
Toda frmula tiene el mismo nmero de parntesis izquierdos que de derechos.
La demostracin de este lema se basa en lo visto en el subtema 1.1.
1.3.2.2. Lema.
Cualquier segmento inicial propio de una frmula tiene un exceso de parntesis izquierdos; as
ningn segmento inicial propio de una frmula puede ser a su vez una frmula.
Demostracin.
Se probar que el conjutno de frmulas con la propiedad de que sus segmentos iniciales
propios tienen ms parntesis izquierdos, es inductivo. Una frmula que consista en un solo
smbolo de enunciado no tiene segmentos iniciales propios y por lo tanto esta en por
vacuidad. Para verificar que es cerrado bajo , considera dos elementos y de . Los
segmentos iniciales propios son:
1.
2.
3.
4.
5.
6.
, donde
es un segmento inicial propio de ,
,
,
, donde
es un segmento inicial propio de ,
Aplicando la hiptesis inductiva de que
estn en , se tiene la conclusin.
24
Lgica Matemtica
1.3.2.3. Teorema [de Unicidad de la Lectura de Frmulas].
Las cinco operaciones de construccin de frmulas, restringidas al conjunto de frmulas,
a) Tienen rangos disjuntos entre s y disjuntos del conjunto de los smbolos de enunciado, y
b) son inyectivas.
(es decir, como se mencion antes, el conjunto de las frmulas es libremente generado)
Demostracin.
Para probar que la restriccin de
es inyectiva, supn que
Borrando el primer smbolo se tiene que
Entonces se debe tener que

, a menos que uno de ellos sea un segmento inicial propio del
otro, lo que contradice al lema 1.3.2.2. Y entonces se sigue que
. De manera similar, este
argumento se aplica a
y .
Para demostrar que las operaciones tienen rangos disjuntos considera, por ejemplo, si
donde
y son frmulas, entonces, de forma similar a lo anterior, se tiene
. Pero
esto implica que
, lo cual contradice lo que se plante sobre los smbolos desde un inicio,
siendo que stos son distintos. Por lo tanto
y
restringidas a las frmulas tienen rangos
disjuntos. De manera similar sucede para las otras parejas binarias.
Para los casos restantes considera lo siguiente: Si, por ejemplo,
, entonces
comienza con , lo cual contradice que es una frmula. Adems los rangos de las
operaciones son disjuntos del conjunto de smbolos de enunciado, ya que ningn smbolo de
enunciado es una sucesin de smbolos que comienza por .
Regresando al problema de definir una extensin de una asignacin de verdad a . Considera

primero el caso en el que es una asignacin de verdad para el conjunto de todos los smbolos
de enunciado. Entonces aplicando el teorema de unicidad de lectura y el teorema de recursin
presentado en el subtema 1.3.1, se concluye que existe una nica extensin al conjunto de
todas las frmulas con las propiedades que se requieren.
De manera general considera una asignacin de verdad para un conjunto de smbolos de
enunciado. El conjunto generado a partir de por las cinco operaciones de construccin de
frmulas est libremente generado, esto por el teorema de unicidad de lectura. Entonces, por el
25
Lgica Matemtica
teorema de Recursin, existe una nica extensin de
que se piden.
a ese conjunto con las propiedades
Algoritmo.
La demostracin del teorema de unicidad de la lectura se puede convertir de una prueba en un
algoritmo que, dada una frmula, producir su nico rbol genealgico. Pero si le asigna una
expresin que no es frmula detecta este hecho.
Si se da una expresin, inicialmente ella es el nico vrtice del rbol y por lo tanto el mnimo,
pero mientras continua el procedimiento el rbol bajar a partir de la expresin dada.
1. Si todos los vrtices minimales tienen smbolos de enunciado, entonces el procedimiento
ha terminado. De otra forma, se escoge un vrtice minimal que tenga alguna expresin
que no sea un smbolo de enunciado.
2. El primer smbolo debe ser (, de no ser as no es una frmula. Si el segundo smbolo es
el smbolo de negacin, se va al paso 4.
3. Se recorre la expresin desde la izquierda hasta llegar a , donde es una expresin
con igual nmero de parntesis izquierdos que de derechos, en el caso en que se llegue
al final de la expresin antes de encontrar este entonces la expresin original no era
una frmula. Entonces es el primer componente. El siguiente smbolo debe ser
o y es la conectiva principal. El resto de la expresin, , debe consistir en una
expresin y un parntesis derecho o de manera similar a como sucede en 2. no sera
una frmula. El segundo componente es . Esto completa la descomposicin de la
expresin elegida; entonces se regresa al paso 1.
4. Si el segundo smbolo es el smbolo de negacin, entonces sa es la conectiva principal.
El resto de la expresin, , debe consistir en una expresin y un parntesis derecho.
es el componente. Esto completa la descomposicin de la expresin elegida; se
regresa al paso 1.
Existen algunas observaciones respecto del algoritmo que se deben hacer:
a) Dada cualquier expresin el procedimiento termina despus de un nmero finito de
pasos. Esto es porque cualquier vrtice contiene una expresin ms corta que la que
est arriba de l, y as la profundidad del rbol est acotada por la longitud de la
expresin dada.
b) El procedimiento es nico. Por ejemplo, en el paso 3 se llega a una expresin , no es
posible usar menos de como componente, ya que no habra un balance entre
parntesis derechos e izquierdos, no se puede usar ms de porque esto contendra el
26
Lgica Matemtica
segmento inicial propio que estaba balanceado. Por lo tanto slo es posible usar a .
Y entonces la eleccin de la conectiva principal es inevitable.
c) Si la expresin dada es tal que el procedimiento no la rechaza. Entonces, recorriendo el
rbol de abajo hacia arriba, se tiene inductivamente que todo vrtice tiene una frmula,
incluyendo al vrtice superior (que tiene la expresin dada).
d) Tambin se puede usar el rbol para ver cmo se obtiene
. Para cualquier frmula
existe un nico rbol que la construye. Recorriendo este rbol de abajo hacia arriba se
llega sin ambigedades al valor de
.
En adelante, por notacin, al nombrar frmulas, no se mencionarn necesariamente todos los
parntesis. Para establecer una notacin ms compacta, se adoptan las siguientes
convenciones:
i)
El primer y ltimo parntesis no necesitan ser mencionados. Por ejemplo, cuando

escribas
nos referimos a
.
ii)
El smbolo de negacin se aplica a la menor cantidad de smbolos como sea posible.

Por ejemplo,
es
, de acuerdo a lo anterior esto es (
); que no
es lo mismo que(
iii)
).
La conjuncin y la disyuncin se aplican a tan poco como sea posible, siempre y

cuando se observe la condicin 2. Por ejemplo,
es (
iv)
))
Cuando se usa repetidamente un smbolo de conectiva, la agrupacin es hacia la

derecha:
Estas convenciones facilitan mucho la escritura de las frmulas, y es que ahora en especial no
se necesita nombrar expresiones que no sean frmulas.
1.4. Conectivos lgicos.

Hasta ahora solo se han usado cinco smbolos de conectivas para la construccin de las
frmulas. An en ausencia de una definicin general de conectiva, est claro que las cinco
conectivas familiares no son las nicas posibles. En este punto podras preguntarte si se
obtendra algo ms si se aumenta el nmero de conectivas al lenguaje o por el contrario si
27
Lgica Matemtica
podra perderse algo al omitir alguno de ellos. Ahora se hacen precisas estas preguntas y se
dan algunas respuestas.
1.4.1. Funciones booleanas.

Primero considera un ejemplo informal, para empezar agranda el lenguaje mediante un smbolo
de conectiva de tres lugares, , llamado el smbolo de mayora. Ahora se permitir que la
expresin sea una frmula cuando
y son frmulas. En otras palabras, agregamos una
sexta operacin de construccin de frmulas:
Ahora se debe dar la interpretacin de este smbolo. Esto es, se debe decir cmo calcular
(
y . Se elige la definicin siguiente

), dados los valores
(
) coincide con la mayora de
Lo que aqu se afirma es que esta extensin no ha aportado algo, en el siguiente sentido
preciso: Para toda frmula del lenguaje extendido existe en el lenguaje original, una frmula
tautolgicamente equivalente. (Por otro lado, la frmula del lenguaje original puede ser mucho
ms larga que la frmula del lenguaje extendido.) Se probar esto (en una situacin mucho ms
general) ms adelante; aqu slo se har notar que es tautolgicamente equivalente a
A manera de argumento, recuerda que el valor de (

) debe ser calculable a partir de

ya que esto juega un papel definitivo. En el lenguaje coloquial hay operadores

unarios como es posible que o creo que. Es posible aplicar uno de estos operadores a un
enunciado, produciendo otro enunciado cuya verdad o falsedad no se puede determinar
solamente con base en la verdad o falsedad del enunciado original.
Al generalizar el ejemplo anterior, el lenguaje formal ser ms un obstculo que una ayuda. Es
posible reformular el problema usando slo funciones.
1.4.1.1. Definicin.
Una funcin booleana de
variables es una funcin de {
} en {
}.
Una funcin booleana es entonces cualquier funcin booleana de variables para alguna .
Esto se ampla un poco permitiendo que y sean funciones booleanas de cero variables.
Como ejemplos de funciones booleanas se tienen las definidas por las ecuaciones siguientes
(donde
{
}):
28
Lgica Matemtica
A partir de una frmula se puede obtener una funcin booleana. Por ejemplo, si es la
frmula
, entonces puedes hacer una tabla, la Tabla siguiente. Los
renglones de la
tabla corresponden a las
asignaciones de verdad para {
}. Para cada una de las
igual al valor que recibe cuando se les dan a sus smbolos de
parejas , se hace
enunciado los valores indicados por .
Tabla
En general, supondrs que

.
es una frmula cuyos smbolos de enunciado estn entre
1.4.1.2. Definicin.
Se define una funcin booleana de
En otras palabras:
para la cual
. As
variables
, la funcin booleana realizada por , como
, donde es la asignacin de verdad para {

surge de considerar
como una funcin de , con
}
fija.
Por ejemplo, las funciones booleanas mencionadas anteriormente se pueden obtener de esta
manera:
A partir de estas funciones se pueden componer otras. Por ejemplo,
29
Lgica Matemtica
( (
))
En resultados siguientes se llegar a la cuestin de si toda funcin booleana se puede obtener

de esta manera.
Como afirma el teorema siguiente, al cambiar la atencin de las frmulas a las funciones
booleanas que realizan, quedan identificadas entre s las frmulas tautolgicamente
equivalentes. Ordenando el conjunto {
} definiendo
. (Usualmente se considera
, entonces ste es el orden natural.
1.4.1.1. Teorema.
Sean
frmulas cuyos smbolos de enunciado estn entre
}
a)
ssi para toda {
( )
( ).
b)
c)
ssi
ssi
. Entonces
.
es la funcin constante con valor .
Demostracin.
De (a)
ssi para todas las asignaciones de verdad para
, tales que
, tambin
. (Esto es cierto an si los smbolos de enunciado de y no incluyen a todos los

smbolos
, considera hacer esto como ejercicio) Por lo tanto
ssi para todas las asignaciones ,
ssi para todas las -adas , ( )
ssi para todas las -adas ,
donde
( )
( )
( )
Adems de identificar frmulas tautolgicamente equivalentes, te has librado del lenguaje

formal. Ahora existe cierta libertad de considerar cualquier funcin booleana, sea o no realizada
por alguna frmula. Pero esta libertad es slo aparente:
1.4.1.2. Teorema.
Sea una funcin booleana de variables, con
que
, es decir, dicha realiza la funcin .
Demostracin.
. Es posible encontrar una frmula
Caso I: Si es la funcin constante con valor , considera

.
Caso II: De otra forma existen puntos en los cuales tiene el valor , con
tal
. Sea
30
Lgica Matemtica
una lista de dichos puntos.

Sean
{
Se afirma que
Para comprender un poco mejor la razn de estas construcciones considera el siguiente

ejemplo. Sea la siguiente funcin booleana de tres variables.
Entonces la lista de ternas en las cuales
toma el valor
tiene cuatro elementos:
A la derecha de cada terna se han escrito la conjuncin correspondiente

frmula
Se tiene que
da una lista explcita de las ternas en las cuales
. Entonces
es la
toma el valor V.
Regresando a la demostracin, observa que

para
; esto porque la
asignacin de verdad correspondiente a satisface y por lo tanto satisface a . Por otra
} satisface , de donde slo asignaciones
parte, slo una asignacin de verdad para {
31
Lgica Matemtica
pueden satisfacer a . Por lo tanto
los casos se tiene ( )
.
para las dems
-adas . As para todos
En el teorema anterior se ha visto que cualquier funcin booleana es realizable, pero esta
realizacin no es necesariamente nica, pues cualquier frmula tautolgicamente equivalente
tambin realiza a , para el ejemplo dentro de la demostracin la formula
realiza
a .
Como corolario del teorema anterior, se puede concluir que se tienen suficientes conectivas. En
efecto, si se extiende el lenguaje agregndole algunas conectivas nuevas cualquier frmula
de este lenguaje extendido realiza alguna funcin . Por el teorema anterior se tiene una
frmula del lenguaje original tal que
. Por tanto y son tautolgicamente
equivalentes, por el Teorema 1.4.1.1.
La demostracin del teorema prueba que la forma de
es la llamada forma normal disyuntiva. Esto es,
incluye slo las conectivas
; sta
donde
y cada
es un smbolo de enunciado o la negacin de un smbolo de enunciado. As se tiene
el siguiente corolario:
1.4.1.3. Corolario
Para cualquier frmula , es posible encontrar una frmula tautolgicamente equivalente
forma normal disyuntiva.
en
Para cada existen

funciones booleanas de variables. Por lo tanto, si se identifica cada
conectiva con su funcin booleana, se tiene que hay
conectivas -arias. Ahora se presenta
una clasificacion con
.
Conectivos -arias.
Existen dos funciones de variables, y . Como smbolos de conectiva correspondientes se
han tomado y . Ahora una conectiva -aria se combina con frmulas para producir una
nueva frmula. Cuando
, se tiene que es por s mismo una frmula. Difiere de los
smbolos de enunciado en que
para toda , es decir, es un smbolo lgico al que
siempre se le asigna el valor de . Similarmente es una frmula y
para toda . Por
ejemplo
e suma frmula, tautologicamente equivalente a
.
Conectivas unarias.
Hay cuatro conectivas unarias: la negacin, la identidad, y las dos funciones constantes.
32
Lgica Matemtica
Conectivas binarias.
Hay diecisis conectivas binarias, pero slo las ltimas diez que aparecen en la tabla siguiente
son binarias.
Smbolo Equivalentes
Observaciones
Constante de dos variables, escencialmente -aria
Constante de dos variables, escencialmente -aria
Proyeccin, esencialmente unaria
Proyeccin, esencialmente unaria
Negacin, esencialmente unaria
Negacin, esencialmente unaria
Si
y
, entonces sta es la multiplicacin
en el campo { }
O
Condicional
Bicondacional
Condicional invertido
O exclusivo
Nor, no ni
Nand, el smbolo se llama la raya de Sheffer
El orden usual
El orden usual
Conectivas ternarias.
Hay
conectivas ternarias: 2 esencialmente -arias, son esencialmente unarias,
son
esencialmente binarias y
son realmente ternarias. Hasta ahora se ha trabajado con la
conectiva mayora .
1.4.2. Conjuntos de conectivos completos.

}
{
}
De acuerdo a los teoremas del subtema anterior dado que toda funcion {
para cada
puede ser realizada por una frmula que usa solo los smbolos de conectiva
}, se dice que el conjunto {
} es completo. Ser completo es en realidad
del conjutno {
propiedad de las funciones booleanas asociadas a esos smbolos.
Los siguientes teoremas exponen conjuntos de conectivos que son completos, es decir, para
cualquier frmula es posible construir una frmula que use slo las conectivas del conjunto y
} se puede mejorar:
que realice , entonces
. La completud de {
1.4.2.1. Teorema
{
}y{
} son ambos completos.
33
Lgica Matemtica
Demostracin.
Se debe demostrar que cualquier funcin booleana puede ser realizada por una frmula que
}. Sea que use {
} y realice , basta encontrar
use nicamente, en el primer caso, {
}. De acuerdo a la ley de
una frmula tautlogicamente equivalente
que use solamente {
De Morgan que esta en la lista de tautologias anteriormente:
Aplicando esta ley repetidamente, es posible eliminar por completo
de .
De manera formal, es posible demostrar por induccion sobre que existe una
tautolgicamente equivalente en la que slo ocurren las conectivas
. Los dos casos no
triviales en el paso inductivo son:
Caso : Si
Caso : Si
Como
, considera
, se hace
.
.
son tautolgicamente equivalentes a
respectivamente, entonces
1.4.2.2. Teorema
Los conjuntos siguientes son completos:
a) { }
b) { }
}
c) {
{
}
d)
Demostracin.
Se presenta la demostracin de { }, de manera similar se procede para el resto de los
conjuntos y puedes hacerlo como ejercicio.
} es completo y
Como {
completo.
se pueden simular usando solamente , entonces { } es
34
Lgica Matemtica
Con respecto al inciso c) se puede notar que de las 10 conectivas realmente binarias que se
mostraron en la tabla que aparece en el tema anterior, 8 de ellas forman un conjunto completo
al agregarle el smbolo , las que no cumplen esto son y .
1.4.3. Conjuntos de conectivos incompletos.

Demostrar que un conjunto dado de conectivos no es completo es, generalmente, ms dfcil
que demostrar que uno s es completo. El mtodo consiste primero en demostrar, generalmente
por induccin, que para toda frmula que use slo esas conectivas la funcin
tiene una
peculiaridad, y despues probar que alguna funcin booleana carece de dicha peculiaridad.
Considera el siguiente ejemplo para entender cmo demostrar ese tipo de peculiaridad.
1.4.3.1. Proposicin.
{
} no es completo.
Demostracin.
En este caso con estas conectivas, si se asigna a los smbolos de enunciado, entonces toda
frmula recibe el valor . En particular, no se tiene nada tautolgicamente equivalente a
.
De manera detallada, es posible probar por induccion que para cualquier frmula que use
slo estas conectivas y que tenga como nico smbolo de enunciado, se tiene que
, en
trminos de funciones se tiene que
.
Para reforzar los temas anteriores resuelve la siguiente actividad.
Actividad 2. Problemas de aplicacin de principios de induccin, recursin

y uso de conectivos
A travs de esta actividad, resolvers ejercicios relacionados a principios de induccin,
recursin y conectivos
Instrucciones:
1.
Descarga el documento Act. 2. Problemas de aplicacin de principios de

induccin, recursin y uso de conectivos.
2.
Lee las instrucciones y resuelve los problemas que se plantean, tomando en

cuenta el contenido de la unidad.
3.
Guarda tu documento con la siguiente nomenclatura MLMA_U1_A2_XXYZ
35
Lgica Matemtica
4.
Enva tu documento a tu docente y espera su retroalimentacin
Nota: no olvides consultar la Escala de evaluacin para conocer los criterios con que ser
evaluado tu trabajo.
1.5. Compacidad y efectividad.

Para empezar, se dar la prueba del teorema 1.2.2.1. que se present anteriormente, pues ya
se tienen las herramientas necesarias para esto y adems se plantea un aspecto muy
interesante respecto al mtodo que se dio anteriormente para evaluar una frmula, el de las
tablas de verdad, pues ya que ste existe vale la pena preguntar si se podra tener un mtodo
ms eficaz, es decir, que lleve a fin con el uso de menos recursos.
1.5.1. Teorema de compacidad.

Se dir satisfactible a un conjunto de frmulas ssi existe una asignacin de verdad que
satisface a todos los elementos de . As es posible replantear el teorema 1.2.2.1. de la
siguiente forma.
1.5.1.1. Teorema [Teorema de Compacidad]
Un conjunto de frmulas es satisfactible ssi todos sus subconjuntos finitos son satisfactibles.
Por el momento considera que es finitamente satisfactible ssi todo subconjunto finito de
es satisfactible. El teorema de compacidad dice que esta nocin coincide con la de
satisfactibilidad. Las primeras observaciones que se hacen con respecto al teorema son:
a) Si es satisfactible, entonces automticamente es finitamente satisfactible.
b) Si es finito, la conversa es trivial.
c) La parte no trivial consiste en probar que si un conjunto infinito es finitamente
satisfactible, entonces es satisfactible.
Demostracin del teorema de compacidad.
La demostracin se har en dos partes. En la primera parte se toma el conjunto finitamente
satisfactible y se extender a un conjunto finitamente satisfactible maximal . Para la segunda
parte se usa para construir una asignacin de verdad que satisfaga a .
Parte 1.
Sea
una enumeracin fija de las frmulas, esto es posible porque el conjunto de los
smbolos de enunciado, y por lo tanto las expresiones, es numerable. Por recursin sobre los
nmeros naturales se define:
{
36
Lgica Matemtica
Donde se tiene que
puedes verificarlo. Sea
{
}. Por tanto cada
, el lmite de las .
es finitamente satisfactible, esto
Se cumplen entonces las siguientes propiedades:

1)
,
2) Para toda frmula , se tiene que
o
,
3)
es finitamente satisfactible, pues todo subconjunto finito de
alguna
y es, por tanto, satisfactible.
es subconjunto finito de
Esto completa la primera parte que se dijo en la demostracin. El conjunto que se cre en
general no es nico, pero existe al menos uno.
Parte 2.
Para esta parte se va a definir una asignacin de verdad
smbolos de enunciado:
para el conjunto de todos los
para cualquier smbolo de enunciado . Entonces se tiene que para toda frmula
Esto se demuestra por induccin sobre . Como

elementos de .
1.5.1.2. Corolario.
Si
, entonces existe un subconjunto finito
Demostracin.
Se hace uso del hecho de que
ssi
debe entonces satisfacer a todos los
tal que
es insatisfactible.
De hecho, se tiene que el corolario anterior es equivalente al teorema de compacidad, esto se

deja como ejercicio en la Actividad 3.
37
Lgica Matemtica
1.5.2. Efectividad y calculabilidad.
Ya se dijo antes que la existencia del mtodo de las tablas de verdad tiene conclusiones
teoricas interesantes. Para empezar considera que se tiene un conjunto de frmulas y el
problema es saber si existe un procedimiento efectivo que, dada una frmula , decida s o no
. Por supuesto hay que decir de manera slo un poco ms estructurada qu significa que
algo sea efectivo, as un procedimiento es efectivo cuando satisface las siguientes
condiciones:
1. Se deben tener instrucciones exactas (es decir, un programa), de longitud finita, que
expliquen cmo ejecutar el procedimiento. Estas instrucciones no deben exigir ningn
ingenio de parte de la persona (o mquina) que haya de seguirlas. La idea es que se
pueda ejecutar el procedimiento siguiendo mecnicamente las instrucciones.
2. Deben ser instrucciones que puedan ser mecnicamente implementadas. El
procedimiento debe evitar medios aleatorios, o cualquier medio tal que, en la prctica
slo se puede aproximar.
3. En el caso de un procedimiento de decisin, como el mencionado en el problema que se
est considerando, dada una frmula , el procedimiento debe producir una respuesta
de s o no despus de un nmero finito de pasos (esto es, el procedimiento debe ser un
algoritmo para determinar la respuesta).
Por otro lado, no hay cotas sobre el tiempo o el nmero de pasos que ese requiere para que se
llegue a la respuesta, mientras stos sean finitos. Estas dependern entre otras cosas de la
entrada . No es permitido hacer un nmero infinito de pasos y despus dar la respuesta.
Para las personas enfocadas a la computacin o en general trabajos con mquinas la
efectividad se alcanza cuando es posible tener la respuesta en un periodo razonable de
tiempo. Donde la idea de razonable depende de las situaciones.
La definicin que se present difcilmente puede ser precisa, en lo siguiente se usar la palabra
efectiva en un sentido intuitivo e informal. En lo siguiente se trata de trabajar con la idea de
efectivo como ya se dijo desde un punto de vista emprico, de que cuando un procedimiento
parece efectivo para algunos en general lo es. Las ideas intuitivas funcionan en buena manera
porque se est considerando que s este proceso efectivo. Debido a que se est tomando el
concepto de manera informal, las definiciones y teoremas que la usen se sealan con el
siguiente teorema*.
*1.5.2.1. Teorema.
Existe un procedimietno efectivo que, dada cualqueir expresin , decide si es una frmula.
Demostracin.
38
Lgica Matemtica
Esta basada en el algoritmo presentado cuando se presenta la unicidad de lectura y las
observaciones en este.
1.5.3. Decidibilidad y ejemplos de enunciados.

Del ltimo teorema del subtema anterior y su demostracin puedes notar que se requera que
una expresin dada fuera sometida al algoritmo, sin embargo dado que se tiene un lenguaje
con una cantidad infinita de smbolos, podras preguntar la forma en que se tiene dada la
frmula . Para empezar podras imaginar que esto es porque alguien pudo escribir los
smbolos de , uno despus del otro. Es imposible que una persona escriba una cantidad infinita
de smbolos. Para evitar esto, se considera el siguiente formato de entrada y salida. En lugar
de escribir por ejemplo , se usa
, una cadena de cinco smbolos. As el nmero total de
smbolos en el alfabeto es slo 9:
(Si se identifican estos nueve smbolos con los dgitos 1-9, se obtienen expresiones que
parecen particularmente familiarizados en los entornos computacionales. Puedes tomar el dgito
0 para las expresiones de separacin.)
El siguiente teorema establece que el conjunto de las frmulas es decidible en el sentido de la
definicin a continuacin.
*1.5.3.1. Definicin. [Decidible]
Un conjunto de expresiones es decidible si y slo si existe un procedimiento eficaz que, dada
una expresin , decidir si
o
.
Por ejemplo, cualquier conjunto finito es decidible. (Las instrucciones pueden simplemente listar
los elementos del conjunto. Entonces el algoritmo puede comprobar la entrada contra cada
miembro de la lista). Algunos conjuntos infinitos son decidibles, pero no todos. Por un lado, hay
conjuntos de expresiones no mumerables ( ). Por otro lado, slo puede haber una cantidad
numerable de procedimientos eficaces. Esto es porque el procedimiento est completamente
determinado por sus intrucciones, las cuales son slo un nmero finito. Slo hay
sucesiones
finitas de letras; y las instruccines, cuando se escriben hacia fuera, forman una sucesin finita
de letras.
*1.5.3.1. Teorema
Hay un procedimiento efectivo que, dado un conjunto
de frmulas, decidir si
o no.
Demostracin
39
Lgica Matemtica
El procedimiento de tablas de verdad expuesto anteriormente cumple con estos requerimientos.
En este teorema se especifica la finitud de

ya que no se puede tener dado de manera
directa o efectiva la totalidad de un objeto infinito.
*1.5.3.2. Corolario
Dado un conjunto finito , el conjunto de las consecuencias tautolgicas de
particular, el conjunto de las tautologas es decidible.
es decidible. En
Si es un conjunto infinito decidible, entonces por lo general el conjunto de sus consecuencias

tautolgicas no es decidible, esto se ver en temas ms adelante. Pero es posible obtener un
resultado ms dbil, que en cierto sentido da la mitad de la decidibilidad.
1.5.3.2. Definicin [Efectivamente enumerable].
Se llamar a un conjunto de expresiones efectivamente enumerable ssi existe algn
procedimiento efectivo que produce una lista, en algn orden, de los elementos de . (Si A es
infinito, entonces el procedimiento nunca termina. Pero cualquier elemento particular de debe,
despus de un tiempo finito, aparecer en la lista).
A continaucin se presentan un par de resultados con respecto a esta definicin para tenerla un
poco ms clara.
*1.5.3.3. Teorema.
Un conjunto de expresiones es efectivamente enumerable ssi existe un procedimiento
efectivo que, dada cualquier expresin , produce la respuesta s en el caso de que
(Si
procedimiento puede producir la respuesta .no o puede continuar indefinidamente sin
producir ninguna respuesta, pero no debe producir la respuesta s.)
Demostracin.
Si es efectivamente enumerable, entonces dada cualquier es posible examinar la lista de los
elementos de mientras el procedimiento la produce. Y cuando aparezca, se da la respuesta
s. (As si
, no se da ninguna respuesta. Esto es lo que hace que no sea decidible. Si
no ha ocurrido entre los primeros
elementos enumerados de , en general no hay manera
de saber si
, en cuyo caso se debera dejar de buscarlo, o si aparecer justamente en el
siguiente paso.)
Conversamente, supon que se tiene el procedimiento descrito en el teorema. Se quiere crear
una lista de los elementos de . La idea es enumerar todas las expresiones y aplicar el
procedimiento dado a cada una. Pero se debe administrar nuestro tiempo de manera razonable.
Es bastante fcil enumerar efectivamente todas las expresiones:
40
Lgica Matemtica
Luego se procede de la siguiente manera:
1.
Dedicar un minuto a verificar si es elemento de (usando el procedimiento dado).
2.
Dedicar dos minutos a verificar , luego dos minutos a .
3.
Dedicar tres minutos a , luego tres minutos a y tres minutos a .
Etctera. Por supuesto que siempre que el procedimiento produzca un s se coloca la
expresin aceptada en la lista de salida. De esta manera para todo elemento de llegar un
momento en que aparecer en la lista. (Aparecer una infinidad de veces a menos que
modifiquemos las instrucciones anteriores para evitar la duplicacin.)
*1.5.3.4. Teorema.
Un conjunto de expresiones es decidible ssi tanto l como su complemento.(con respecto al
conjunto de todas las expresiones) son efectivamente enumerables.
La demostracin de este teorema se deja como ejercicio en la evidencia de aprendizaje.
Nota que si los conjuntos y son efectivamente enumerables, entonces asimismo lo son
y
. La clase de los conjuntos decidibles tambin es cerrada bajo unin e interseccin
y adems es cerrada bajo complementacin.
Ahora un resultado ms substancial:
*1.5.3.5. Teorema.
Si es un conjunto decidible de frmulas, entonces el conjunto de las consecuencias
tautolgicas de es efectivamente enumerable.
Demostracin
De hecho basta con que
est efectivamente enumerado; considera una enumeracin:
Dada cualquier frmula , es posible verificar (por medio de tablas de verdad) si es que
{ }
{
}
{
}
etctera. Si alguna de estas condiciones es satisfecha, entonces se contesta s. De otra forma,
continua probando. Esto produce una respuesta afirmativa siempre y cuando
, por el
corolario al teorema de compacidad.
41
Lgica Matemtica
Ms tarde, se querr utilizar procedimientos eficaces para calcular funciones. Se tiene que una
funcin es efectivamente computable (o simplemente computable) si y slo si existe un
procedimiento eficaz que, dada una entrada , a su vez producir la salida correcta
.
Hasta aqu se tienen algunos de los temas ms importantes en la lgica de enunciados,
resuelve las actividades a continuacin y considera la seccin para saber ms.
Actividad 3. Propiedades de conjuntos de frmulas.

A travs de esta actividad, Resolvers ejercicios sobre propiedades de conjunto de frmulas
Instrucciones:
1.
Descarga el documento Act. 3. Ejercicios: Propiedades de conjuntos de frmulas.
2.
Lee las instrucciones y resuelve los problemas que se plantean, tomando en cuenta
el contenido de la unidad.
3.
Guarda y enva tu reporte al portafolio de evidencias con la nomenclatura

MLMA_U1_A3_XXYZ.
4.
Enva tu documento a tu docente y espera su retroalimentacin
Nota: no olvides consultar la Escala de evaluacin para conocer los criterios con que ser
Autoevaluacin
Para reforzar los conocimientos relacionados con los temas que se abordaron en esta unidad
del curso, es necesario que resuelvas la autoevaluacin.
Ingresa al Aula virtual para realizar tu actividad.
Evidencia de Aprendizaje
Es momento de realizar tu evidencia de aprendizaje, donde tendrs que aplicar tus
conocimientos sobre aproximacin de funciones continuas.
Instrucciones:
1.
Descarga el documento: EA. Ejercicios de lgica de enunciados.
42
Lgica Matemtica
2.
Lee las instrucciones y resuelve los problemas que se plantean, tomando en cuenta el
contenido de la unidad.
3. .Guarda y enva tu reporte al portafolio de evidencias con la nomenclatura

MLMA_U1_EA_XXYZ.
4.
Enva tu reporte al portafolio de evidencias y espera la retroalimentacin de tu

Facilitador(a). Una vez que la tengas, atiende sus comentarios y reenva la nueva versin
de tu evidencia.
Nota: No olvides consultar la Escala de evaluacin para conocer los criterios con que ser
Autorreflexiones
Como parte de cada unidad, es importante que ingreses al foro Preguntas de autorreflexin y
leas los cuestionamientos que formul tu Facilitador(a), ya que a partir de ellos debes elaborar
tu Autorreflexin y enviarla mediante la herramienta Autorreflexiones. No olvides que tambin
se toman en cuenta para la calificacin final.
Cierre de la unidad
Esta unidad permite tener un pensamiento matemtico, lgico. Las herramientas para
estructurar este pensamiento y el lenguaje para poder expresar este pensamiento lgico, con
lgica matemtica.
Para saber ms
El enfoque que se present desde el inicio en este curso de lgica tiene un enfoque, si bien
apropiado, algo distinta a la forma en que usualmente se presenta en un curso de lgica donde
desde el principio se dan una serie de formalizaciones resultados,. en este curso se dieron solo
ideas intuitivas y bosquejos de muchas demostraciones, para ver una forma alternativa de la
presentacion de la lgica matematica revisa los textos siguientes:
Supper, P., Hill, S., Introduccin a la Lgica Matemtica, Editorial Revert, 2005
Rautenberg, W., A concise introduction to Mathematical Logic, Springer, 2ed, 2006
43
Lgica Matemtica
En ambos considera revisar los temas realcionados a la lgica de enunciados, es decir, el
captulo 1.
Referencias Bibliogrficas
Amor, J. A., Rojas, R., Sistemas Formales, Mxico: Vnculos Maten ticos No. 149,
Facultad de Ciencias UNAM, 1991
Amor, J. A.,(1996 ) Lgica Proposicional dentro de la Lgica de Primer Orden, Mxico:
Vnculos Matemticos No. 113, Facultad de Ciencias UNAM.
Enderton, H., A. (2001) Mathematical Introduction to Logic, Universidad de California. EEUU
Academic Press,.
Kleene, S. C.,( 2002). Mathematical Logic, New York, Dover Publications, Inc.,.
Mendelson, E. (1997), Introduction to Mathematical Logic, EEUU, Chapman & Hall,.
44

U1. Lógica de Enunciados o de Proposiciones

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

U1. Lógica de Enunciados o de Proposiciones

Uploaded by

Copyright:

Available Formats

Lgica Matemtica

Unidad 1. Lgica de enunciados o de proposiciones

Universidad Abierta y a Distancia de Mxico

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Usar procesos lgicos para comprender los lenguajes formales

1.1. El lenguaje de la lgica de enunciados.

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

1.1.1. Introduccin a los lenguajes formales.

En el siguiente enunciado se usar el smbolo para la disyuncin o

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Generalmente se incluyen tres tipos de datos en la descripcin de un lenguaje formal:

Especificar el tipo de smbolos (el alfabeto) en la lgica de enunciado. Algunos smbolos

Especificar las reglas de formacin para la sucesiones finitas de smbolos gramaticalmente

La tercera parte, es en la que se da significado a las frmulas. Este proceso de asignacin de

En otro, una frmula tpica es

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

1.1.2. Smbolos de la lgica de enunciados.

Ensimo smbolo de enunciado

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

A continuacin se presentan dos ejemplos de traducciones de enunciados del lenguaje natural

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

1.1.3. Reglas de formacin de frmulas.

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

El rbol muestra cmo se construye la expresin.

Se puede desarrollar la idea de construccin como sigue: Defina una sucesin de

Donde es uno de los conectivos binarios

Se obtiene una sucesin de construccin al comprimir su rbol genealgico en un orden lineal.

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

1.1.4.1. Teorema. Principio de induccin

El principio de induccin permite saber si ciertas expresiones no son frmulas.

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

1.2. Asignacin de verdad.

} de valores de verdad que consta de dos puntos distintos

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Como ejemplo de la forma de calcular , sea

la asignacin de verdad para {

. Mira el siguiente rbol que muestra la construccin de :

Si te desplazas de abajo hacia arriba puedes asignar a cada vrtice

del rbol el valor

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

1.2.1. Implicacin tautolgica.

de frmulas, que juegan el papel de hiptesis, y otra frmula ,

se satisface con cualquiera de los ocho posibles valores de verdad para {

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Si es un conjunto unitario de la frmula ,

1.2.2. Equivalencia tautolgica.

1.2.2.1. Teorema. (Teorema de Compacidad)

1.2.3. Tablas de verdad.

}, puedes ver que para un

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Esta tabla se puede extender para que incluya a: (

Puedes ver que todas las asignaciones de verdad que satisfacen a (

), y que son tres,

). Tambin es cierta la conversa y, por tanto, son

Para probar que (

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Actividad 1. Introduccin a los lenguajes formales. Del espaol al formal y

Descarga el documento Act. 1. Foro introduccin a los lenguajes formales.

Resuelve los ejercicios que se presentan en el documento descargable

Ingresa al foro y representa tus conclusiones dentro de ella

Revisa la aportacin de tres de tus compaeros, aceptando o rechazando sus

Consulta la rbrica general de la participacin en foros que se encuentra en la seccin

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas