LC2

Lógica matemática y de programación
LÓGICA MATEMÁTICA Y DE PROGRAMACIÓN

Libro de contenido No. 2
Libro de Referentes
Todos los Derechos Reservados © 2010. Propiedad de Compensar Unipanamericana institución universitaria
con apoyo Académico de Mondragon Unibertsitatea (MU).
1
Erika Holguín
Experta en Contenido
Albenis Cortés
Asesora Pedagógica
Hector Jair Neira

Diseñador Gráfico
Juan Carlos Velásquez

Libro de Referentes
Corrector de Estilo
2
TABLA DE CONTENIDO
2 Esquema temático: Lógica de proposiciones ................................................................ 4

2.1 Introducción a las proposiciones compuestas ............................................................ 4
2.2 Expresiones lógicas.................................................................................................... 4
2.3 Análisis de proposiciones compuestas ....................................................................... 8
2.4 Reglas de prioridad .................................................................................................... 9
2.5 Evaluación de expresiones y tablas de verdad ........................................................ 13
2.6 Tautologías y contradicciones .................................................................................. 17
2.7 Álgebra declarativa ................................................................................................... 20
2.8 Implicaciones y derivaciones lógicas ........................................................................ 24
Resumen del Capítulo No. 2.............................................................................................. 29
Enlaces ............................................................................................................................... 29
Bibliografía.......................................................................................................................... 29
Libro de Referentes
3
2. Esquema temático: Lógica de Proposiciones
• Partes de las
Expresiones conexiones
lógicas • Reglas de
prioridad
Análisis de • Diagrama de
proposicion árbol
es
• Tablas de verdad
• Equivalencias lógicas
Tautologias y y su utilización
contradicciones
• Implicaciones y
derivaciones lógicas
2.1 Introducción a las proposiciones compuestas
Como se observó en el capítulo anterior, las proposiciones compuestas nacen de combinar

proposiciones atómicas una o más veces, mediante la utilización de conexiones lógicas.
2.2 Expresiones lógicas
Una proposición puede ser expresada mediante una cadena de caracteres, a la cual se le
conoce como expresión lógica o fórmula. Es decir, si tenemos que p y q son variables
lógicas, de ellas podrían darse algunas expresiones lógicas como:
 p = María termina su trabajo.

 q = María cede su trabajo.
Libro de Referentes
 r = María viaja el martes.


4


Teniendo en cuenta lo anterior, se puede deducir fácilmente que al igual que las
proposiciones, las expresiones lógicas se clasifican en atómicas y compuestas, donde una
expresión lógica atómica consta de una sola variable proposicional (p, q, r), mientras que una
expresión lógica compuesta contiene al menos una conexión y representa proposiciones
compuestas.
El problema en la creación de proposiciones compuestas nace con la posibilidad de

ambigüedad, es decir, con la posibilidad de que una expresión pueda interpretarse de varias
formas. Con el fin de dejar claro este concepto se presenta el siguiente ejemplo:
r: Mariana estudia ingles

q: Mariana aprende italiano
p: Mariana viaja al exterior
La expresión: puede interpretarse como:
Si Mariana estudia inglés o aprende italiano, entonces Mariana viajará al

exterior.
Si Mariana estudia inglés o si Mariana aprende italiano, entonces viajará al

exterior.
Con el fin de evitar ambigüedades, deben darse reglas que muestren la manera de agrupar
Libro de Referentes
diferentes subexpresiones; al mismo tiempo que se necesita la utilización de paréntesis.
5
Éstos evitan malentendidos si se quieren usar proposiciones compuestas como parte de

expresiones lógicas más complejas, y se puede decir que las expresiones resultantes están
completamente entre paréntesis o ecep (expresión completamente entre paréntesis).
Un ecep puede ser fácilmente nombrado con identificadores para trabajar posteriormente con
los mismos, así:
En este punto es de gran importancia tener en cuenta que todas las expresiones que
contienen identificadores que representan otras expresiones, se denominan esquemas. Si A
y B denotan expresiones, se cumplirá lo siguiente:
EXPRESIÓN DENOMINACIÓN
Negación
Conjunción
Disyunción
Condicional
Equivalencia
Así se tiene que cualquier ecep puede ser construido de acuerdo a las reglas de formación
que se describen a continuación:
1. Toda expresión atómica es un ecep

2. Si A es una ecep, también lo es
Libro de Referentes
3. Si A y B son eceps, entonces lo son , , y

4. Ninguna otra expresión es una ecep
6
Las expresiones que se encuentran definidas gracias a reglas de formación explícitas, se

denominan fórmulas bien formadas (fbf), y se tendrá que toda expresión que se encuentre
completamente entre paréntesis es una formula bien formada.
Partes de las diferentes conexiones
Expresión Nombre Símbolos

Símbolo Nombre
Negación ~ Conexión principal
A Alcance o ámbito
Conjunción A Alcance izquierdo
B Alcance derecho
Conexión principal
Disyunción A Alcance izquierdo
B Alcance derecho
Conexión principal
Es importante tener claro que el alcance o los alcances pueden ser compuestos, en cuyo
caso, las conexiones encontradas en los alcances son subconexiones de la expresión en
cuestión.
Ejemplo:
Subconexión
Alcance Alcance
izquierdo Derecho
Conexión
principal
Libro de Referentes
7
2.3 Análisis de proposiciones compuestas
Hasta el momento se analizaron los ecep o expresiones completamente entre paréntesis, sin
embargo, existen otros tipos de posibilidades para representar proposiciones compuestas,
como son las formas gráficas. No importa como esté expresada la proposición, se puede
distinguir entre negaciones, conjunciones, disyunciones, etc., aun cuando estos conectores
conforman subproposiciones y a su vez estas pueden ser identificadas como conjunciones,
disyunciones, entre otras.
Ejemplo:
Se va a analizar la siguiente proposición:
Si la liebre esta alerta y es rápida, entonces ni el zorro ni el lince podrán atraparla.
En primer lugar, se puede notar que la proposición hace referencia a un condicional donde el
alcance izquierdo tiene dos subconexiones, al igual que el alcance derecho.
Realizar el análisis de una proposición consiste en dividirla en sus proposiciones atómicas,

de manera que puedan analizarse una a una, después de este análisis, el resultado puede
expresarse en un árbol de análisis sintáctico, como se muestra en la siguiente figura:
Libro de Referentes
8
Si la liebre está alerta y es rápida, entonces ni el zorro ni el lince podrán atraparla.
La liebre está alerta y es rápida Ni el zorro ni el lince podrán atraparla
El zorro no podrá El lince no podrá

atraparla atraparla
La liebre está La liebre es
alerta rápida
~ ~
El zorro podrá El lince podrá
atraparla atraparla
2.4 Reglas de prioridad
Los árboles de análisis se encuentran construidos de arriba a abajo, de esta manera, se

utiliza la expresión total en el nodo superior, esta se divide en dos nodos y cada uno se
divide nuevamente en dos nodos más, y así sucesivamente, hasta conseguir proposiciones
atómicas, que como se vio anteriormente, no pueden llegar a tener ninguna división.
Una expresión con un árbol de análisis dado, puede ser convertida fácilmente en una
expresión completamente entre paréntesis, así:
r: La liebre está alerta

q: La liebre es rápida
p: El zorro podrá atrapar a la liebre
s: El lince podrá atrapar a la liebre
Libro de Referentes
Si la liebre está alerta y es rápida, entonces, ni el zorro ni el lince podrán atraparla.
9
Si se tiene una expresión compuesta cualquiera que se denomina E, los alcances de la

conexión principal en E son subexpresiones y se denominan subexpresiones inmediatas. En
caso de que estas subexpresiones inmediatas sean a su vez compuestas, las
subexpresiones que las conforman serán también subexpresiones de E.
No siempre se entregan expresiones completamente entre paréntesis, teniendo en cuenta

que muchas veces éstas son largas y con frecuencia se dificulta su lectura, en particular, los
paréntesis externos de una expresión son siempre omitidos.
Sin embargo, se debe ser cauteloso porque nunca se deben omitir los paréntesis cuando la
expresión en cuestión esté formada de varias expresiones compuestas.
Ejemplo:
La expresión:
Puede expresarse como:
Con el fin de interpretar correctamente las expresiones resultantes al omitir algunos

paréntesis, son usadas las reglas de prioridad o precedencia. Generalmente cada conexión
tiene dada una prioridad, las conexiones que presentan más alta prioridad introducen una
unión más fuerte que las conexiones con prioridad más baja.
Libro de Referentes
10
En este orden, la conexión que presenta una más alta prioridad es la negación, es decir, si
tenemos una expresión , esta debe comprenderse como , y no debe
analizarse como .
Si nos referimos a conexiones binarias, el orden de las conexiones se presenta en la

siguiente tabla:
CONEXIÓN SÍMBOLO
Conjunción
Menor
grado
Disyunción
Condicional
Equivalencia
Gracias a esto podemos escribir, sin llegar a tener ambigüedades, una expresión como la
siguiente:
En este punto surgen dos definiciones que serán de gran importancia a lo largo del curso, un
operador binario se denomina asociativo por la izquierda si el operador por la izquierda tiene
prioridad sobre el operador por la derecha.
Igualmente, un operador binario se conoce como asociativo por la derecha si el operador por
la derecha tiene prioridad sobre el operador por la izquierda.
Ejemplo:
Operador asociativo por izquierda

Libro de Referentes
Operador asociativo por derecha
11
Así pues, se establece que todas las conexiones lógicas binarias son asociativas por la
izquierda, por consiguiente, si tenemos la expresión , ésta debe ser interpretada
como ( , esto es consistente con lenguajes de programación tales como BASIC, que
cumplen también con operadores binarios asociativos por la izquierda.
Los operadores igualmente pueden ser clasificados según la posición que ocupen, así:
Posición prefija:
Cuando el operador precede a su operando.
Ejemplo:
Posición infija:
Cuando el operador está insertado entre sus operandos.
Ejemplo:
Posición postfija:
Cuando el operador sigue a sus operandos.
Ejemplo:
Libro de Referentes
12
2.5 Evaluación de expresiones y tablas de verdad
Para encontrar el valor de verdad de expresiones compuestas, es necesario dividir esta

expresión y hallar el valor de verdad de cada una de las expresiones atómicas que la
componen.
Esto se puede desarrollar mediante un árbol de análisis, o se puede trabajar directamente

con la expresión completamente entre paréntesis, que a fin de cuentas va a contener la
misma información. Sin importar el método que se use, el procedimiento va a ser
esencialmente el mismo.
Ejemplo:
Se va a realizar el análisis de la expresión:
Si el equipo gana el primer partido, y no gana el segundo, el equipo no clasificará
Se quiere saber exactamente cuándo es verdadera esta afirmación y cuándo es falsa,

entonces lo primero que se debe hacer es dividirla en cada una de sus partes, así:
Si el equipo gana el primer partido, y no

gana el segundo, el equipo no clasificará
El equipo gana el primer partido y no gana el El equipo no clasifica

segundo
El equipo gana el El equipo no gana el El equipo clasifica

primer partido segundo partido
Libro de Referentes
El equipo gana el
segundo partido
13
Las proposiciones atómicas que se tienen son:
p: El equipo gana el primer partido

q: El equipo gana el segundo partido
r: El equipo clasifica
Utilizando lo anterior, la expresión en cuestión se convierte en:
Aplicando las definiciones de identificador que se vieron con anterioridad, exponemos que:
Tenemos que:
El paso siguiente es iniciar la construcción de la tabla de verdad. Tenemos 3 variables

proposicionales (p, q y r), por lo tanto existirán combinaciones posibles, esto teniendo
en cuenta que generalmente una tabla de verdad con “n” variables proposicionales tiene
asignaciones, luego, a medida que aumenta el valor de “n”, el uso de tablas de verdad se
vuelve inaceptable.
Libro de Referentes
14
La tabla que plantearemos es la siguiente:
p q r D B C A
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Para este caso se explicará la manera de completar la tabla paso a paso y en tablas
separadas, sin embargo, usualmente se muestra solamente la tabla anteriormente expuesta,
sin pasos intermedios.
El primer paso será hallar D, para ello es

necesario recordar la tabla de verdad de
p q r D la negación.
V V V F
V V F F
V F V V
V F F V
F V V F
F V F F
F F V V
F F F V
Pasando a B, es necesario
recordar la tabla de verdad de
la conjunción.
p q r D B
V V V F F
V V F F F
Libro de Referentes
V F V V V
V F F V V
15
F V V F F
F V F F F
F F V V F
F F F V F
En el caso de r, recordamos
de nuevo la tabla de verdad
de la negación, así:
p q r D B C A
V V V F F F
V V F F F V
V F V V V F
V F F V V V
F V V F F F
F V F F F V
F F V V F F
F F F V F V
Finalmente, se desarrolla el
condicional que se
encuentra en la última
columna.
p q r D B C A
V V V F F F V
V V F F F V V
V F V V V F F
V F F V V V V
F V V F F F V
F V F F F V V
F F V V F F V
Libro de Referentes
F F F V F V V
16
Como conclusión de la tabla de verdad se ve que sólo hay una asignación que hace falsa a
A.
2.6 Tautologías y Contradicciones
Por medio de las tablas de verdad, es posible clasificar las expresiones lógicas.
Tautología
Se habla de tautología si una expresión lógica es verdadera para todas las asignaciones
posibles. Este concepto es de gran importancia en la lógica y su símbolo es .
Existen un cierto número de tautologías que son de gran importancia y que al mismo tiempo
son muy sencillas; la primera de estas es la Ley del método excluido, que se caracteriza
por establecer que la conjunción de una proposición con la negación de la misma siempre es
una tautología ( ).
Con el fin de demostrar lo anterior, a continuación se muestra la tabla de verdad

correspondiente:
p ~p
V F V
F V V
Si A es una expresión lógica que contiene a P, entonces, se puede crear una nueva
expresión sustituyendo todas las apariciones de P por una expresión arbitraria que tiene el
mismo valor de verdad, es decir, si A es una tautología, A continúa siéndolo,
independientemente de si P es verdadero o falso, y a su vez, el reemplazar P por cualquier
Libro de Referentes
expresión no la afecta.
17
Basados en lo anterior, se puede incluso reemplazar todas las variables proposicionales de

una tautología por expresiones, para de esta manera convertir la tautología en un esquema.
Ejemplo:
Utilice que:
Para demostrar que: también es una tautología.
Con este fin tomamos dos expresiones, B y C para transformar la proposición, así:
Siendo:
Esto produce:
Que debe también ser una tautología.
Tautologías y su razonamiento válido
Se tiene que un argumento lógico es válido si su conclusión se deduce lógicamente de las

premisas, de manera que si todas sus premisas son verdaderas, la conclusión lógicamente
también lo es.
De esta manera, se debe cumplir que, si la conjunción de las premisas se conoce como A y
Libro de Referentes
la conclusión es C, debe ser verdadera para todas las asignaciones, es decir, debe
ser una tautología.
18
Recordando el capítulo 1, el silogismo disyuntivo indica que siempre que y

sean ambas verdaderas, entonces debe ser verdadera. Es decir,
es siempre verdadera, así:
p q
V V V F F V
V F V F F V
F V V V V V
F F F V F V
De esta manera se concluye finalmente que en todas las tautologías, está permitido
remplazar variables proposicionales por expresiones. Por consiguiente, todo argumento
válido puede ser convertido en un esquema.
Existen dos tipos importantes de tautologías denominadas implicaciones lógicas y

equivalencias lógicas. De estas se hablará con mayor profundidad un poco más adelante.
Contradicciones
Al contrario que las tautologías, una contradicción se presenta si una expresión lógica es
falsa para todas las asignaciones posibles. Están estrechamente relacionadas con las
tautologías, ya que si se dice que es una tautología, es una contradicción.
Las contradicciones pueden utilizarse para demostrar que los argumentos lógicos son
válidos, teniendo en cuenta que un argumento no puede ser válido si todas las premisas son
verdaderas; pero la conclusión es falsa.
Así pues, se tendrá como principal contradicción la expresión y su tabla de verdad

Libro de Referentes
se muestra a continuación:
19
p ~p
V F F
F V F
Es imposible que la negación de la conclusión y de las premisas sean verdaderas

simultáneamente, es decir, si tomamos de nuevo el silogismo disyuntivo, la tabla de verdad
correspondiente nos mostrará que:
V V V F F F F
V F V F F V F
F V V V V F F
F F F V F V F
Finalmente, es importante tener en cuenta el término Contingencia

(causalidad/eventualidad), que básicamente se presenta cuando una expresión lógica no
corresponde a una tautología ni a una contradicción.
2.7 Álgebra declarativa
En el álgebra declarativa se manipulan expresiones lógicas, es decir, expresiones donde las

variables y constantes representan valores de verdad. Si se considera la expresión lógica:
Esta expresión lógica puede simplificarse de manera similar mediante la utilización de los
siguientes esquemas:
Libro de Referentes
20
De esta forma se aplica:
Y se obtiene:
1. Utilizando la ley de contradicción que se expone más adelante se tiene:
2. Utilizando la ley de dominación se tiene:
En álgebra no se diferencia realmente entre una expresión y un esquema, debido a que una
expresión puede expresarse fácilmente en un esquema y viceversa, así que en adelante será
insignificante una discriminación y por lo tanto se usará cualquiera de los dos términos.
Eliminación de condicionales y bicondicionales.
En álgebra declarativa, el manejo de condicionales y bicondicionales dificultan el manejo de

las expresiones que la gran mayoría de veces se torna engorroso; por este motivo,
normalmente se remplazan mediante la utilización de equivalencias lógicas.
Libro de Referentes
A continuación se exponen expresiones comunes que serán de gran utilidad cuando se

quieran eliminar estas condicionales:
21
CONDICIONAL
BICONDICIONAL
Como se observa, la segunda opción que se muestra para remplazar un bicondicional sigue
mostrando condicionales, que de igual manera necesitan ser cambiados, esto da como
resultado la siguiente expresión:
De esta manera, se tienen expresiones cuya aplicación es fácil y permitirá de manera rápida
eliminar los condicionales y bicondicionales, con el fin de facilitar el manejo de las
expresiones.
Ejemplo:
Eliminar los condicionales y bicondicionales de la siguiente expresión:
Recordando que , eliminando el primer condicional se obtiene:
Ahora se buscará eliminar el bicondicional usando la expresión

, así:
Libro de Referentes
22
Se obtiene finalmente una expresión que ya no depende de condicionales ni de

bicondicionales.
Leyes esenciales para el álgebra declarativa
El manejo del álgebra declarativa, al igual que en el álgebra lineal que se utiliza para el
desarrollo de ecuaciones, está delimitado o regido por una serie de leyes esenciales que se
estudiarán en este capítulo. Estas leyes se pueden demostrar, sin dificultad, mediante el
método de la tabla de verdad que se ha venido desarrollando a lo largo del presente curso.
Todas estas leyes permiten en general simplificar una expresión, y suele ser una muy buena
idea su aplicación siempre que sea posible.
Las leyes principales se resumen en la siguiente tabla:
LEYES NOMBRE
Ley del método excluido
Ley de contradicción
Leyes de identidad
Leyes de dominación
Leyes de idempotencia
Ley de doble negación

Leyes conmutativas
Leyes asociativas
Leyes distributivas
Leyes de Morgan
Libro de Referentes
Leyes de absorción
23
Ejemplo:
Demostrar mediante la utilización de las leyes del álgebra declarativa la equivalencia de:
Utilizando la Ley de identidad se obtiene:
Aplicando la Ley distributiva:
Teniendo en cuenta la Ley de dominación, se obtiene:
Por último, aplicando de nuevo la Ley de dominación:
Es decir, mediante todas las leyes que se vieron, finalmente se llegó a demostrar la Ley de
absorción.
2.8 Implicaciones y derivaciones lógicas
Los argumentos no válidos se denominan falacias, y para distinguir entre argumentos válidos
y falacias se utiliza, entre otros, el método de la tabla de verdad.
De igual forma se analizó que cualquier tautología se denomina una implicación

Libro de Referentes
lógica.
24
Con base en lo anterior, se expresa que las equivalencias lógicas crean implicaciones lógicas
que se simbolizan mediante , así:
Suponiendo que C y D son dos expresiones con las cuales se cumple que , se va a
tener entonces que, y .
Para aclarar aún más este concepto, se recuerda el esquema relacionado con el silogismo
hipotético:
Se va a demostrar lo expuesto anteriormente en la siguiente tabla de verdad. Sin embargo de

debe aclarar que se agregaran dos columnas denominadas premisas y válido. Si para una
asignación dada todas las columnas anteriores producen verdadero, esta columna será
verdadera igualmente. La siguiente columna denominada válido, indica si las premisas
implican o no la conclusión:
p q r Premisas Válido
V V V V V V V V
V V F V V F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
Finalmente, se puede apreciar con la tabla de verdad que la conclusión es válida, debido a
Libro de Referentes
que todas las asignaciones posibles conducen a V en la columna de válido.
25
Existe un ejemplo muy famoso que explica con mayor profundidad este tema. Consiste en un
argumento lógico tomado del libro “Un Estudio en Escarlata “de Conan Doyle, y aparece en
un pasaje donde Sherlock Holmes explica al Dr. Watson cómo dedujo el motivo del asesinato
mediante razonamiento lógico. El pasaje es el siguiente:
“Y ahora llegamos a la gran pregunta del porqué. El robo no ha sido el objeto del asesinato,
puesto que nada desapareció. ¿Fue por motivos políticos, o fue una mujer? Ésta es la
pregunta con la que me enfrento. Desde el principio me he inclinado hacia esta última
suposición. Los asesinos políticos se complacen demasiado en hacer sólo su trabajo y huir.
Este asesinato, por el contrario, había sido realizado muy deliberadamente, y quien lo
perpetró ha dejado huellas por toda la habitación, mostrando que estuvo ahí todo el tiempo”.
Para expresar esta cita, utilizamos las siguientes variables proposicionales.
Se buscará demostrar que las premisas establecidas desembocan en la conclusión
Demostración formal Regla Comentario

Premisa Si fue un robo, hubiera
desaparecido algo.
Premisa No desapareció nada.
1,2, MT (Modus tollens) No fue un robo.
Premisa Si no fue un robo, fue algo
político o una mujer.
Libro de Referentes
3,4, MP (Modus ponens) Fue político o fue una mujer.

Premisa Si hubiera sido algo político, el
26
asesino hubiera huido

inmediatamente.
Premisa Si el asesino dejó huellas por
toda la habitación, no pudo
haber huido inmediatamente.
Premisa El asesino dejó huellas por toda
la habitación.
7, 8, MP (Modus ponens) El asesino no huyó
inmediatamente.
6, 9, MT (Modus tollens) No fue político.
5, 10, SD (Silogismo disyuntivo). Por consiguiente, fue una mujer.
Sistemas para derivaciones
Existen diferentes sistemas para hacer derivaciones, sin embargo, todos los sistemas tienen
en común las características que se listan a continuación:
 Existe una lista de argumentos lógicos admisibles llamados reglas de inferencia. Esta
lista se conoce con el nombre de L.
 La derivación por sí misma es una lista de expresiones lógicas. Originalmente esta

lista se vacía, pero se le pueden añadir expresiones si constituyen una premisa o si
pueden obtenerse a partir de expresiones previas, aplicando una de las reglas de
inferencia. Este proceso continua hasta que se alcanza la conclusión.
Si existe una derivación para la conclusión, que para el caso se denominará C, se tienen las
premisas y la lista L es el conjunto de reglas de inferencia admisibles, se puede
escribir:
Libro de Referentes
A continuación se listan las principales reglas de inferencias que se usan en los sistemas de
derivaciones:
27
Ley de combinación
Ley de simplificación
Variante de la ley de simplificación
Ley de adición
Variante de la ley de adición
Modus ponens
Modus tollens
Silogismo hipotético
Silogismo disyuntivo
Variante de silogismo disyuntivo
Ley de casos
Eliminación de la equivalencia
Variante de eliminación de equivalencia
Introducción de la equivalencia
Ley de inconsistencia
La mayoría de estas leyes se han analizado en los temas anteriores, sin embargo, algunas
necesitan la explicación que se da a continuación:
 La ley de los casos se utiliza frecuentemente para dividir un problema en

subproblemas más pequeños que se resuelven independientemente.
 La ley de la inconsistencia se desprende a partir del hecho de que es siempre

F, y , trivialmente verdadero.
Libro de Referentes
28
Resumen del Capítulo No. 2
El manejo y conocimiento de proposiciones compuestas, permite desarrollar la capacidad de

análisis para la correcta asignación de un valor de verdad determinado, a la vez que le
permite al futuro programador el manejo de expresiones más complejas, teniendo presentes
definiciones importantes como las reglas de prioridad, clasificación de operadores, entre
otros .
Enlaces
http://elcentro.uniandes.edu.co/cr/mate/estructural/libro/enero/node3.html
http://www.xtec.es/~lvallmaj/passeig/enunfor2.htm
http://www.scribd.com/doc/3984030/Logica-Proposicional
http://www.dirinfo.unsl.edu.ar/~cur_servicios/fundamentos/02-logica-2007.pdf
http://elsanti.netfirms.com/tablasdeverdad.html
http://www.slideshare.net/AMIGOLUSA/d05-tablasde-verdadde-proposiciones-compuestas
http://www.mitecnologico.com/Main/TautologiasYContradicciones
http://www.slideshare.net/guestd1874f/tautologias-y-contradicciones
Bibliografía
GRASSMANN, Winfried Karl, TREMBLAY. Jean-Paul. Matemática discreta y lógica. Ed

Prentice Hall. Madrid 1996.
JOHNSONBAUGH, Richard. Matemáticas Discretas, 4a ed. Prentice Hall. México 1999.

Libro de Referentes
29

LC2

Cargado por

Copyright:

Formatos disponibles

LC2

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

LC2

Cargado por

Copyright:

Formatos disponibles

Lógica matemática y de programación

LÓGICA MATEMÁTICA Y DE PROGRAMACIÓN

Hector Jair Neira

Juan Carlos Velásquez

2 Esquema temático: Lógica de proposiciones ................................................................ 4

2. Esquema temático: Lógica de Proposiciones

2.1 Introducción a las proposiciones compuestas

Como se observó en el capítulo anterior, las proposiciones compuestas nacen de combinar

2.2 Expresiones lógicas

 p = María termina su trabajo.

 r = María viaja el martes.

El problema en la creación de proposiciones compuestas nace con la posibilidad de

r: Mariana estudia ingles

La expresión: puede interpretarse como:

Si Mariana estudia inglés o aprende italiano, entonces Mariana viajará al

Si Mariana estudia inglés o si Mariana aprende italiano, entonces viajará al

diferentes subexpresiones; al mismo tiempo que se necesita la utilización de paréntesis.

Éstos evitan malentendidos si se quieren usar proposiciones compuestas como parte de

1. Toda expresión atómica es un ecep

3. Si A y B son eceps, entonces lo son , , y

Las expresiones que se encuentran definidas gracias a reglas de formación explícitas, se

Partes de las diferentes conexiones

Expresión Nombre Símbolos

2.3 Análisis de proposiciones compuestas

Se va a analizar la siguiente proposición:

Si la liebre esta alerta y es rápida, entonces ni el zorro ni el lince podrán atraparla.

Realizar el análisis de una proposición consiste en dividirla en sus proposiciones atómicas,

Si la liebre está alerta y es rápida, entonces ni el zorro ni el lince podrán atraparla.

La liebre está alerta y es rápida Ni el zorro ni el lince podrán atraparla

El zorro no podrá El lince no podrá

2.4 Reglas de prioridad

Los árboles de análisis se encuentran construidos de arriba a abajo, de esta manera, se

r: La liebre está alerta

Si la liebre está alerta y es rápida, entonces, ni el zorro ni el lince podrán atraparla.

Si se tiene una expresión compuesta cualquiera que se denomina E, los alcances de la

No siempre se entregan expresiones completamente entre paréntesis, teniendo en cuenta

Puede expresarse como:

Con el fin de interpretar correctamente las expresiones resultantes al omitir algunos

Si nos referimos a conexiones binarias, el orden de las conexiones se presenta en la

Operador asociativo por izquierda

Operador asociativo por derecha

Cuando el operador precede a su operando.

Cuando el operador está insertado entre sus operandos.

Cuando el operador sigue a sus operandos.

2.5 Evaluación de expresiones y tablas de verdad

Para encontrar el valor de verdad de expresiones compuestas, es necesario dividir esta

Esto se puede desarrollar mediante un árbol de análisis, o se puede trabajar directamente

Se va a realizar el análisis de la expresión:

Si el equipo gana el primer partido, y no gana el segundo, el equipo no clasificará

Se quiere saber exactamente cuándo es verdadera esta afirmación y cuándo es falsa,

Si el equipo gana el primer partido, y no

El equipo gana el primer partido y no gana el El equipo no clasifica

El equipo gana el El equipo no gana el El equipo clasifica

Las proposiciones atómicas que se tienen son:

p: El equipo gana el primer partido

Utilizando lo anterior, la expresión en cuestión se convierte en:

El paso siguiente es iniciar la construcción de la tabla de verdad. Tenemos 3 variables

La tabla que plantearemos es la siguiente:

El primer paso será hallar D, para ello es

2.6 Tautologías y Contradicciones