Escolar Documentos
Profissional Documentos
Cultura Documentos
Lgica y
clculo
proposicional
Copyright 2014. Grupo Editorial Patria. All rights reserved.
Objetivos
Q Identicar las clases de proposiciones que se pueden encontrar en un enunciado.
Q Analizar los enunciados para la elaboracin de las tablas de verdad.
Q Traducir proposiciones del lenguaje verbal a variables lgicas y viceversa.
Q Identicar si un argumento es vlido o invlido, as como demostrar su validez.
Q Comprender los principios de las operaciones del clculo proposicional y sus aplicaciones.
2.1 Introduccin
Lgica es un trmino que deriva del griego
o
(logik o logiks), que a su vez proviene de
(logos), que significa razn. La lgica se considera una ciencia formal cuyo objeto de estudio son los distintos
principios de demostracin que permitan comprobar que una afirmacin pueda ser considerada como vlida.
La metodologa de trabajo de la lgica consiste en examinar la validez o la invalidez de una afirmacin
mediante la aplicacin de una sistematizacin en los argumentos y, por ende, de un anlisis de su estruc-
tura lgica, sin tener en cuenta el contenido de lo que se ha argumentado ni considerar siquiera el lenguaje
utilizado, y sin contemplar el estado de realidad del contenido.
La lgica se aplica en muy diversas reas. En ingeniera es de gran utilidad en la electrnica, para el dise-
o de circuitos mediante compuertas lgicas, y en programacin, para el diseo de programas que requieren
la unin de operadores lgicos. En administracin, porque esta hace uso de los conocimientos organizados
para dar solucin a problemas reales. En derecho, su aplicacin se conoce como lgica jurdica, conside-
rada un mtodo de investigacin para entender a la ciencia del derecho, que obtiene su principal fuente del
conocimiento en la razn y no de la experiencia.
Bertrand Arthur William Russell, lsofo, lgico, matemtico y escritor britnico, realiz aportaciones inno-
vadoras a los fundamentos de las matemticas y al desarrollo de la lgica formal contempornea, as como
a la losofa analtica. Sus aportaciones a las matemticas incluyen el descubrimiento de la paradoja Russell,
la defensa del logicismo (la visin acerca de que las matemticas son, en algn sentido signicativo, reduci-
bles a la lgica formal), la introduccin a la teora de los tipos y el perfeccionamiento y la divulgacin de la
lgica de primer orden o clculo de predicados de primer orden. Se le considera, junto con Kurt Gdel, como
uno de los dos logicistas ms destacados del siglo XX.
Figura 2.1 Bertrand Arthur
William Russell (1872-1970).
E JEMPLO Solucin
Cules de las siguientes oraciones son pro- Las oraciones 1 y 2 son proposiciones, ya que pueden tomar un
posiciones? valor verdadero o falso.
1. La Tierra es plana. En estos momentos no es posible determinar la certeza o false-
2. 3 6 8. dad de la oracin 3; sin embargo, en principio, s puede deter-
minarse si es verdadera o falsa, por tanto tambin se considera
3. La temperatura del ncleo del Sol es de
una proposicin.
6 000 C.
La 4 es una oracin, pero no una proposicin, ya que es verda-
4. x y 24.
dera o falsa dependiendo de los valores de x y y en determina-
5. Vas a la tienda? do momento.
6. Toma tu medicina. La oracin 5 es una pregunta, no una proposicin.
7. La seleccin mexicana ganar maana La oracin 6 es una orden, pero no una proposicin.
la copa mundial.
La oracin 7 es una proposicin que puede ser verdadera o falsa,
pero debemos esperar hasta maana para saber su valor de verdad.
Villalpando, B. J. F. (2014). <i>Matemticas discretas: aplicaciones y ejercicios</i>. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2017-10-25 18:58:00.
Proposiciones y operadores lgicos 21
E JEMPLO
p: El oro es un metal precioso.
q: Hoy es martes.
r: Benito Jurez naci en Oaxaca.
s: Rodolfo Neri Vela fue el primer astronauta mexicano.
Supngase que se quiere negar alguna proposicin simple, denotada como a; entonces, si se quiere
decir que Hoy no es martes, se puede escribir aq, haciendo referencia a la variable proposicional elegida.
E JEMPLO
Copyright 2014. Grupo Editorial Patria. All rights reserved.
Al leer cualquiera de las proposiciones compuestas anteriores, es posible observar a simple vista que
todas ellas estn formadas por dos proposiciones simples.
Al analizar el inciso a), se comprueba que esta proposicin compuesta est estructurada por las propo-
siciones simples:
p: Pitgoras era griego.
q: Pitgoras era gemetra.
Al combinar ambas proposiciones se utiliza el operador lgico , que se estudiar ms adelante. Dicha
proposicin compuesta se puede representar como: p y q, haciendo referencia a las variables proposicio-
nales utilizadas.
Villalpando, B. J. F. (2014). <i>Matemticas discretas: aplicaciones y ejercicios</i>. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2017-10-25 18:58:00.
22 Captulo 2 Lgica y clculo proposicional
Es importante destacar que, en ocasiones, los operadores estn presentes de manera implcita dentro de
la oracin.
E JEMPLO
Sea la siguiente oracin
Si estudio, triunfar en la vida.
En primera instancia, esta parece una proposicin simple, pero si se observa con mayor detalle, se nota que tiene
dos verbos: estudiar y triunfar, lo que indica que tiene ms de una proposicin simple; por tanto, se trata de una
proposicin compuesta. En este caso el operador implcito es entonces, y se puede expresar de la siguiente manera:
Lenguaje natural
Por lengua natural se entiende a la lengua utilizada normalmente (lengua materna) en una comunidad de
individuos para la comunicacin entre ellos. Es decir, el lenguaje que hablamos en nuestra vida cotidiana,
que en nuestro caso es el espaol.
Lenguaje simblico
La lgica cuenta con un sistema de smbolos construido en especial para lograr precisin y operativi-
dad. La lgica se expresa, pues, en un lenguaje artificial. El lenguaje de la lgica es, adems, un lenguaje
formal constituido por smbolos.
Al simbolizar un lenguaje lo que se persigue es, bsicamente, sencillez, claridad y exactitud. Pues, en este
caso, es ms sencillo y resulta ms claro y exacto representar las cosas mediante smbolos.
Por este motivo, la simbolizacin del lenguaje lgico permite examinar con mayor facilidad las formas
Copyright 2014. Grupo Editorial Patria. All rights reserved.
Traducir
Trabajar con proposiciones requiere la aptitud de poder traducirlas del N ota
lenguaje natural al simblico (tambin denominada traduccin simb-
lica) y viceversa. Aunque en la prxima seccin se es-
En el apartado anterior vimos cmo representar proposiciones me- tudiarn los operadores lgicos con
diante variables proposicionales, las cuales pueden ser reemplazadas por ms detalle, aqu se pueden utilizar
proposiciones simples, lo cual constituye una traduccin simblica de di- algunos de los ya vistos de una ma-
chas proposiciones. nera informal.
Para traducir proposiciones compuestas, primero se eligen las varia-
bles proposicionales necesarias con base en las proposiciones simples involucradas, adems de los respec-
tivos operadores lgicos que las relacionan.
En muchas ocasiones, elegimos las variables proposicionales de tal manera que hagan alusin al conte-
nido mismo de la proposicin.
E JEMPLO
Si se tiene la proposicin simple: Miguel Hidalgo es el padre de la Patria, es posible escoger las variables proposi-
cionales m para hacer alusin a Miguel Hidalgo y p para padre de la Patria.
E JEMPLO
Hacer la traduccin lgica de la proposicin compuesta:
Miss Universo es atractiva e inteligente.
En primera instancia, se puede observar que la proposicin en cuestin est constituida por las proposiciones
simples:
a: Miss Universo es atractiva.
i: Miss Universo es inteligente.
por lo que a i es su traduccin lgica.
Pero, no solo se requiere traducir del lenguaje natural al simblico; en muchas ocasiones tambin se
requiere hacer una traduccin del lenguaje simblico al natural.
E JEMPLO Solucin
Sean las proposiciones simples: 1. Guadalajara gana el campeonato y
g: Guadalajara gana el campeonato. Amrica no gana el campeonato.
a: Amrica gana el campeonato. 2. Guadalajara no gana el campeonato y
Amrica gana el campeonato.
Y se desea traducir las siguientes proposiciones al lenguaje natural:
3. Guadalajara no gana el campeonato.
1. g aa
4. Amrica no gana el campeonato.
2. ag a
3. ag
4. aa
Cuando se vean ms a fondo los operadores lgicos, entonces se podrn traducir proposiciones com-
puestas constituidas por ms de dos proposiciones simples.
Copyright 2014. Grupo Editorial Patria. All rights reserved.
Operadores lgicos
Los operadores lgicos son aquellos smbolos que permiten decidir qu valor de verdad tiene una proposi-
cin.
El valor de verdad de una proposicin simple puede ser verdadero o falso, y los nicos operadores lgicos
que se pueden utilizar en estas proposiciones son la negacin y la doble negacin.
El valor de verdad de una proposicin compuesta es verdadero o falso y depende de los valores de verdad
de las proposiciones simples que la estructuran, las cuales estn combinadas por operadores lgicos.
Ahora, se definen y analizan los operadores lgicos, incluyendo su tabla de verdad; aunque algunos de
estos ya se mencionaron en el apartado anterior.
Negacin (a)
La negacin de cualquier proposicin p ser falsa cuando se niegue una proposicin verdadera y ser verda-
dera cuando se niegue una proposicin falsa.
F V
E JEMPLO
p: El acusado dice la verdad.
ap: El acusado no dice la verdad.
En este caso, ap tambin se puede traducir como: no es cierto que el acusado dice la verdad o es falso que el
acusado dice la verdad.
Doble negacin
Si la negacin de cualquier proposicin p verdadera es
falsa, entonces cuando se vuelve a negar ser nuevamen- Tabla 2.2 Tabla de verdad
te verdadera; en caso contrario, si la negacin de una pro- de la doble negacin
posicin falsa es verdadera, al volverse a negar esta ser p a(ap)
falsa de nuevo.
La tabla de verdad de la doble negacin se representa V F
en la tabla 2.2, donde se observa que a(ap) y p tienen los F V
mismos valores de verdad. Entonces, la doble negacin
de una proposicin es igual a la proposicin original.
Algunas formas de la doble negacin son: no es cierto que no, no ocurre que no, no es falso que, no es
cierto que no ocurre que, no es cierto que jams, etctera.
E JEMPLO
p: El acusado dice la verdad.
ap: El acusado no dice la verdad.
a(ap): No es cierto que el acusado no dice la verdad.
Por tanto: el acusado dice la verdad.
Copyright 2014. Grupo Editorial Patria. All rights reserved.
Conjuncin ()
Si p y q representan dos proposiciones simples, entonces la proposi-
cin compuesta p q, solo ser verdadera cuando las dos proposicio- Tabla 2.3 Tabla de verdad
de la conjuncin
nes lo sean.
Algunas formas de la conjuncin son: y, adems de, tambin, as p q p q
como, pero, e, entre muchas otras.
Adems, la conjuncin es conmutativa, es decir: V V V
V F F
p q q p
F V F
La tabla de verdad de la conjuncin se muestra en la tabla 2.3.
F F F
E JEMPLO
p: El acusado es pobre.
q: El acusado es honesto.
p q: El acusado es pobre, pero honesto.
r: El helio es ms liviano que el aire.
s: El helio es explosivo.
r s: El helio es ms liviano que el aire y es explosivo.
Disyuncin inclusiva ()
Si p y q representan dos proposiciones simples, entonces la proposicin
compuesta p q solo ser falsa cuando las dos proposiciones lo sean. Tabla 2.4 Tabla de verdad de
la disyuncin inclusiva
Algunas formas de la disyuncin inclusiva son: o, o bien, u, entre
otras. p q p q
La disyuncin tambin es conmutativa, es decir:
V V V
p q q p V F V
E JEMPLO
r: Llover en la tarde.
s: Saldr el Sol.
r s: Llover en la tarde o saldr el Sol.
Disyuncin exclusiva ()
Si p y q representan dos proposiciones simples, entonces la proposicin compuesta p q solo ser falsa
cuando las dos proposiciones tuvieren el mismo valor de verdad.
Se denomina disyuncin exclusiva porque se tiene que elegir una de cualquiera de las dos disyuntivas,
Copyright 2014. Grupo Editorial Patria. All rights reserved.
pero no ambas.
Algunas formas de la disyuncin exclusiva son: o, o bien, u, o o,
Tabla 2.5 Tabla de verdad de
entre otras. la disyuncin inclusiva
La disyuncin exclusiva es conmutativa, es decir:
p q p q
p q q p V V F
F F F
E JEMPLO
t: Apruebas el ciclo escolar.
u: Repruebas el ciclo escolar.
t u: Apruebas o repruebas el ciclo escolar.
r: Estoy en Guadalajara.
s: Estoy en Monterrey.
r s: Estoy o en Guadalajara o en Monterrey.
Ya que, como es evidente, no es posible que una persona se encuentre en ambos lugares al mismo tiempo, por eso
solo debe estar en un solo lugar.
E JEMPLO
t: Llueve.
u: Me mojar.
t u: Si llueve, entonces me mojar.
Copyright 2014. Grupo Editorial Patria. All rights reserved.
p: Estudio.
q: Aprobar el ciclo escolar.
p q: Si estudio, entonces aprobar el ciclo escolar.
r Si p entonces q.
r Si p, q.
r p entonces q.
r q si p.
r p es condicin suficiente para q.
r q es condicin necesaria para p.
r p implica a q.
En todos los casos anteriores, p es el antecedente y q el consecuente; en otras palabras, todos se repre-
sentan p q.
Bicondicional o equivalencia ()
Si p y q representan dos proposiciones simples, entonces la proposi-
Tabla 2.7 Tabla de verdad de
cin compuesta p q, solo ser verdadera cuando ambas proposicio- la bicondicional
nes tengan el mismo valor de verdad.
p q p q
Algunas formas de la bicondicional son: si y solo si, entonces y
solo entonces, es idntico, equivale a, es equivalente a, entre otras V V V
ms.
V F F
La bicondicional es conmutativa, es decir:
F V F
p q q p
F F V
E JEMPLO
p: Si un polgono tiene cuatro lados, entonces es un cuadriltero.
q: Si un polgono es un cuadriltero, entonces tiene cuatro lados.
p q: Un polgono es cuadriltero si y solo si tiene cuatro lados.
La tabla de verdad de todos los operadores lgicos vistos antes se muestra en la tabla 2.8.
Las tablas de verdad fueron desarrolladas por el lsofo y matemtico estadounidense Charles Sanders
Peirce el ao 1880, pero el formato ms popular es el que introdujo el matemtico y lsofo britnico Ludwig
Wittgenstein (1889-1951) en su obra Tractatus logico-philosophicus, publicado en 1921. Segn Wittgenstein, el
mtodo de tablas de verdad sirve para determinar las condiciones de verdad de un enunciado; es decir su
signicado, en funcin de las condiciones de verdad de sus elementos atmicos. En otras palabras, la tabla de
verdad nos dice en qu situaciones el enunciado es verdadero y en cules es falso.
V V F F V V V V F V V
V F F V V F F V V F F
F V V F F V F V V V F
F F V V F F F F F V V
n 2n
Copyright 2014. Grupo Editorial Patria. All rights reserved.
E jemplo
Construir la tabla de verdad de la proposicin compuesta:
Mi to no vino a dormir y no fue a trabajar.
Solucin
1. Asignar variables proposicionales.
Dicha proposicin est compuesta por las proposiciones simples:
p: Mi to no vino a dormir.
q: Mi to no fue a trabajar.
Contina
Tabla 2.10
p q ap aq
V V F F
V F F V
F V V F
F F V V
Tabla 2.11
p q ap aq ap aq
V V F F F
V F F V F
F V V F F
F F V V V
Los razonamientos que estudia la lgica se llaman argumentos y su tarea consiste en descubrir qu es lo que
hace que un argumento sea vlido y constituya una inferencia correcta.
Por su parte, la inferencia es una actividad con la cual se afirma una proposicin sobre otra y otras pro-
posiciones se aceptan como punto de partida del proceso.
Un argumento es un conjunto de una o ms proposiciones, la ltima de las cuales se denomina conclu-
sin, mientras que las anteriores se llaman premisas.
De manera intuitiva, las premisas son la evidencia o las razones que deben convencernos de la veracidad
de la conclusin, y el argumento es la concatenacin de las primeras con la ltima.
Es habitual representar los argumentos haciendo un listado de las premisas y la conclusin, separando
la ltima mediante una lnea, como se observa a continuacin:
Proposicin 1
Proposicin 2
Premisas
Conclusin
Villalpando, B. J. F. (2014). <i>Matemticas discretas: aplicaciones y ejercicios</i>. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2017-10-25 18:58:00.