UNIDAD 2.

LGICA PROPOSICIONAL
1. QU DE LA LGICA?
Las personas constantemente tomamos decisiones acerca de lo que creemos que es verdadero en distintos aspectos de nuestras vidas. Aunque todo el mundo est de acuerdo en preferir creer lo que es verdad, con frecuencia discrepamos sobre lo que es verdadero en casos particulares. Si bien muchas de
nuestras convicciones fundamentales sobre el mundo que nos rodea las adquirimos de cualquier manera
en lugar de mediante el uso de la razn, todos reconocemos que nuestras creencias sobre el mundo y
los hechos que acaecen en el mismo mundo estn de algn modo ligadas.
Por ejemplo, si yo creo que todos los perros son mamferos y que todos los mamferos son seres racionales, entonces tendra sentido para m suponer que todos los perros son seres racionales. En este caso,
incluso quien (acertadamente) discrepara con m comprensin de las clasificaciones biolgicas podra
apreciar la forma consistente y razonable en que he utilizado mis creencias errneas como base sobre la
que establecer nuevas creencias. Por otra parte, si llego a la conclusin de que Alonso Quijano es espaol porque creo que Alonso Quijano es un personaje de Jos Zorrilla, y que algunos espaoles son personajes de Jos Zorrilla, entonces incluso alguien que est de acuerdo con m conclusin me reprochar
(de nuevo acertadamente) no haber dado buenas razones para apoyarla.
En conclusin, podemos estar de acuerdo con el camino que sigue un razonamiento aunque discrepemos de sus puntos de partida y de llegada. Es decir, es posible distinguir los razonamientos vlidos de
los invlidos independientemente de que estemos o no de acuerdo con el contenido que expresen dichos razonamientos. Dicho de forma muy simple, la lgica es la disciplina que estudia esta distincin
determinando las condiciones bajo las cuales la verdad de ciertas creencias conduce con certeza a la
verdad de alguna otra creencia. La lgica estudia, pues, los principios de los razonamientos correctos.
Hay que apresurarse a sealar que la lgica no garantiza que siempre lleguemos a conclusiones verdaderas, ya que algunas veces las creencias de las que partimos son errneas (como suponer que todos los
mamferos son seres racionales, en el ejemplo anterior). Lo que s garantiza la lgica es que siguiendo
los principios de los razonamientos correctos, no surjan otros errores aparte de los derivados de la posible falsedad de los conocimientos que sustancian nuestros razonamientos.
1.1 LAS PROPOSICIONES LGICAS
Qu es una proposicin lgica? Una proposicin o enunciado es el significado de cualquier frase
declarativa (o enunciativa) que pueda ser o verdadera (V) o falsa (F). Nos referimos a V o a F como los
valores de verdad del enunciado.
Ejemplo 1: las proposiciones
La frase "1=1" es un enunciado, puesto que puede ser verdadero o falso. Como resulta que es un
enunciado verdadero, su valor de verdad es V.
La frase "1=0" tambin es un enunciado, pero su valor de verdad es F.
"Llover maana" es una proposicin. Para conocer su valor de verdad habr que esperar hasta maana.
El siguiente enunciado podra salir de la boca de un enfermo mental: "Si soy Napolen, entonces no
soy Napolen". Este enunciado, como veremos ms adelante, equivale al enunciado "No soy Napolen". Como el hablante no es Napolen, es un enunciado verdadero.
"Haz los ejercicios de lgica" no es un enunciado, puesto que no se le puede asignar ningn valor
de verdad (Est en modo imperativo, es una orden, y no una frase declarativa)
"Haz el amor y no la guerra" tampoco es un enunciado, puesto que no se le puede asignar ningn
valor de verdad (Tambin est en modo imperativo, es una orden, y no una frase declarativa)
"El perro" no es una proposicin, puesto que no es ni siquiera una frase completa (al menos en este
contexto).
56

Los enunciados como resultado de los juicios

El acto mental que tiene como resultado una proposicin o enunciado se denomina juicio (sustantivo,
del verbo enjuiciar). La expresin verbal de un juicio es un enunciado. Los seres humanos realizamos
un juicio cada vez que pensamos que algo es alguna otra cosa (a lo que llamamos afirmacin), y tambin cuando pensamos que algo no es otra cosa (a lo que llamamos negacin). En consonancia con lo
que decamos al principio, enjuiciar consiste en afirmar o negar.
Si t piensas que este computador es complicado, entonces ests ejecutando un juicio. Si expresas verbalmente este juicio, lo habrs de hacer en forma de un enunciado o proposicin: la proposicin "Este
computador es complicado". El juicio es el acto mental que ocurre cuando piensas que este computador
es complicado, y la proposicin es la oracin que construyes para expresar dicho pensamiento.
Fjate bien en esto: Los enunciados son diferentes de las oraciones que los contienen. As, "Fulanito
ama a Menganita" expresa exactamente la misma proposicin que "Menganita es amada por Fulanito".
En los enunciados lo esencial es el significado de la frase enunciativa. De manera anloga, la proposicin "Hoy llueve aqu" se puede utilizar para transmitir diferentes proposiciones, dependiendo del lugar
y del momento en que se encuentre la persona que profiera dicho enunciado ("El 15 de agosto de 2003
llueve en Len", "El 27 de enero de 2006 llueve en Madrid", etc.). En este caso, el momento y el lugar
hacen cambiar el significado del enunciado, de manera que su valor de verdad depende de estas circunstancias.
Pero, cada proposicin es o bien verdadera o bien falsa. En algunas ocasiones, por supuesto, no conocemos cul de estos valores de verdad (verdadero o falso) es el que tiene una determinada proposicin,
(por ej. "Hay vida inteligente fuera del planeta Tierra") pero podemos estar seguros de que tiene o uno
u otro. La importancia de los enunciados o proposiciones radica en que son las unidades que utiliza la
lgica para formar argumentos.
Argumentos e inferencia
La principal tarea de la lgica es la de averiguar cmo la verdad de una determinada proposicin est
conectada con la verdad de otra. En lgica habitualmente se trabaja con grupos de proposiciones relacionadas.
Un argumento es un conjunto de dos o ms proposiciones relacionadas unas con las otras de tal
manera que las proposiciones llamadas premisas se supone que dan soporte a la proposicin
denominada conclusin.
La transicin o movimiento desde las premisas hasta la conclusin, es decir, la conexin lgica
entre las premisas y la conclusin, es la inferencia sobre la que descansa el argumento.

Los argumentos
Veamos con un ejemplo de argumento que aparece de una u otra manera en todos los libros de introduccin a la lgica:
(1) Si Scrates es humano, entonces es mortal
(2) Scrates es humano
(3) Por lo tanto, Scrates es mortal

En este ejemplo las dos primeras proposiciones funcionan como premisas, mientras que la proposicin
tercera es la conclusin. Fjate que las palabras "premisa" y "conclusin" se definen aqu slo por medio de la relacin que hay entre ellas dentro de un argumento concreto. Una misma proposicin puede
aparecer como conclusin de un argumento en una parte de razonamiento, pero tambin como una de
57

las premisas en otra parte posterior del mismo razonamiento. En nuestro ejemplo, nada impide que
nuestra conclusin "Scrates es mortal" puede utilizarse como premisa para otro argumento.
La inferencia
Hay un cierto nmero de expresiones verbales del lenguaje cotidiano que marcan o indican si una determinada proposicin funciona como premisa o como conclusin (por ejemplo, la expresin "por lo
tanto" se suele ir seguida de la conclusin). Sin embargo, el uso de estos marcadores lingsticos no es
estrictamente necesario, ya que el contexto puede aclarar la direccin del movimiento desde las premisas hasta la conclusin. Lo que distingue a un argumento de una mera coleccin de proposiciones es la
inferencia que se supone que las une.
Veamos esta idea con un par de ejemplos. Si yo profiero "Daniela es cirujana y el sol brilla, aunque la
catedral de Medelln es gtica" lo nico que tengo es un conjunto de proposiciones que no tienen ninguna relacin entre ellas en el sentido de que la verdad o falsedad de cada una de ella no tiene que ver
con la verdad o falsedad de las dems. Sin embargo, si yo digo: "Daniela es cirujana, por lo que Daniela ha estudiado Medicina, ya que todos los cirujanos han estudiado Medicina", estoy empleando un
argumento perfectamente vlido en el que la verdad de la conclusin "Daniela ha estudiado Medicina"
se deriva inferencialmente de las premisas "Daniela es cirujana" y "Todos los cirujanos han estudiado
Medicina".
1.2 EL LENGUAJE FORMAL DE LA LGICA
Qu es un lenguaje formal?
Un lenguaje formal, en tanto que lenguaje artificial, est formado por los siguientes elementos bsicos:
Unos signos primitivos del lenguaje, esto es su alfabeto.
Unas reglas de combinacin de dichos signos, es decir una gramtica que especifique cmo combinar unos signos primitivos con otros para tener expresiones bien formadas.
En nuestro caso, como buscamos aplicar el lenguaje formal a la reconstruccin de la estructura
lgica del lenguaje natural, precisaremos de unas reglas que nos ayuden en la formalizacin o traduccin de expresiones del lenguaje natural al de la lgica formal.
El alfabeto del lenguaje formal en la lgica proposicional
El lenguaje lgico de la lgica proposiconal consta de tres tipos de signos en su tarea de reconstruir la
estructura lgica del lenguaje natural:
1. Unos signos para representar las proposiciones simples o atmicas: se trata de las letras proposicionales, que por convencin suelen designarse con las letras minsculas p, q, r, etc.
2. Unos signos para formar proposiciones complejas o moleculares conectndolas entre s: se trata de
las conectivas (tambin llamados conectores, o juntores). En la siguiente tabla presentamos el nombre, el signo y la equivalencia con el lenguaje natural de las cinco conectivas que utilizaremos:
Conectiva
Negador

Smbolo Correspondencia

"no ..."

Conjuntor

"... y ..."

Disyuntor

"... o ..."

Condicional

"si... entonces..."

Bicondicional

"... si y slo si..."

3. Unos signos auxiliares, que son los parntesis, que pueden ayudar a delimitar dnde comienza una
parte de la frmula y dnde acaba para empezar la siguiente. Su equivalencia en el lenguaje natural
seran los signos de puntuacin en la lengua escrita.
58

2. LGICA PROPOSICIONAL
La lgica es una ciencia racional no slo segn la forma, sino tambin segn la materia; una ciencia a priori de las leyes
necesarias del pensamiento, no con relacin a objetos determinados, sino con relacin a objetos en general; es, pues una
ciencia del recto uso del entendimiento y de la razn en general; no de manera subjetiva, es decir, no segn principios empricos, psicolgicos (como piensa el entendimiento), sino de manera objetiva, es decir, segn principios a priori (cmo el
entendimiento debe pensar)
Emmanuel Kant

Willard Quine, quiz el supremo lgico del ltimo medio siglo, indica que la lgica se refiere a declaraciones, en tanto que las matemticas se refieren a entidades abstractas, no lingsticas, pero que en
sus ms elevados alcances la lgica conduce por etapas naturales a las matemticas. Desde luego, los
nmeros no son sino una pequea parte de las matemticas en su nivel ms elevado: los matemticos
estn ms interesados en conceptos generales que en clculos especficos, buscando de hecho formular
reglas que puedan aplicarse a la ms amplia gama posible de problemas. Pero, como trataron de demostrar Whitehead y Russell, en el fondo incluso de los enunciados matemticos ms complejos uno puede
encontrar propiedades lgicas sencillas -las clases de intuicin que comienzan a desplegar un infante a
medida que se desarrolla su razonamiento operacional-.
Como observara el propio Russell, la lgica y las matemticas han tenido distintas historias, pero en
tiempos recientes se han aproximado ms, la consecuencia es que ahora es del todo imposible establecer una lnea entre ambas: de hecho, las dos son una. Difieren como el hombre y el nio: la lgica es la
juventud de las matemticas y las matemticas son el estado lgico de la lgica.
2.1 ENUNCIADOS O PROPOSICIONES
Una proposicin es como una pintura de la realidad. Segn Frege, una proposicin es una secuencia
de sonidos, pero una secuencia de sonidos que poseen un sentido, lo cual, no quiere decir que toda
secuencia de sonidos con sentido sea una proposicin. Cuando decimos que una proposicin es verdadera, estamos aludiendo a su sentido. As, pues, dice Frege, en un texto importante, aquello con respecto a lo cual puede plantearse en general la cuestin del ser verdadero es el sentido de una proposicin.
Al igual que la palabra bello a la esttica, y la palabra bueno a la tica, as la palabra verdadero marca
su direccin a la lgica. Por supuesto todas las ciencias tienen la verdad como objetivo; pero la lgica
se ocupa de la verdad de un modo totalmente distinto. Se ocupa de la verdad casi como la fsica se ocupa del peso o del calor. Descubrir verdades es misin de todas las ciencias; a la lgica le incumbe reconocer las leyes del ser verdadero.
Entre los grupos posibles de condiciones de verdad, Wittgenstein dice, hay dos casos extremos: En un
caso, la proposicin es verdadera para todas las posibilidades de verdad de las proposiciones elementales. Cuando esto ocurre, decimos que las condiciones de verdad son tautolgicas. En el segundo caso,
la proposicin es falsa para todas las condiciones de verdad. Decimos entonces, que las condiciones de
verdad son contradictorias.
Recordemos que una lgica consta de lo siguiente:
1. Un sistema formal para describir lo que est sucediendo en un momento determinado y que consta
de sintaxis y semntica.
2. Una teora de la demostracin, la cual es un conjunto de reglas para deducir las implicaciones de un
conjunto de oraciones.
La lgica aristotlica considera a la proposicin como la expresin del juicio. En ella, tanto la forma
como el contenido de la proposicin son importantes e inseparables. Para la lgica matemtica, en su
bsqueda de precisin y univocidad, forma y contenido son dos caractersticas que pueden expresarse
separadamente, generndose as las constantes proposicionales, las variables proposicionales, la negacin, las conectivas, los signos de agrupacin y las tablas de verdad. En este sentido, la proposicin es
59

el enunciado de un hecho, cualquiera que sea la naturaleza del mismo. Una proposicin o enunciado es
una oracin que puede ser falsa o verdadera pero no ambas a la vez. En la lgica propositiva los smbolos representan proposiciones completas, o hechos. En ella no es necesario que exista una relacin de
causa a efecto entre las proposiciones. Insistamos: las proposiciones son verdaderas o falsas. Las siguientes expresiones, son ejemplos de enunciados o proposiciones:
Colombia pertenece a Amrica
Bolvar libert a Colombia
El agua es un mineral
Santander fue presidente de Colombia
Boole es matemtico
Marx y Engels escribieron el Manifiesto Comunista
El autor de la Odisea y la Iliada
Heidegger es un racionalista
El enunciado anterior, sobre Heidegger, es falso
El desierto ms grande del mundo
36 + 63 = 99
La palabra esdrjula es esdrjula
La tierra es redonda
Jean Marie Arouet es el verdadero nombre de Voltaire
Pi es un nmero entero y mayor que tres.
Los pases del llamado primer mundo consumen 73% de la energa utilizada en el planeta, a pesar de
contar con tan slo 10% de la poblacin mundial
Newton, Goethe, Schopenhauer y Wittgenstein han formulado teoras de los colores y el segundo y
tercero son coetneos.
Los siguientes son ejemplos de expresiones las cuales no son enunciados o proposiciones
A la mitad del camino de la vida
No Fumar!
El director del peridico
Ay mis hijos!
13 + 7 =
Te Callas!
X obtuvo el premio Nbel en 1970.
Las Proposiciones Atmicas. Proposiciones atmicas o simples son aquellas expresiones que no llevan partculas de enlace. Las proposiciones se representan por las literales, letras minsculas: p, q, r, s,
t, u, etc., estas son los tomos. Por ejemplo:
Sea la proposicin q igual a 34 + 56 = 90
A continuacin se tienen algunos ejemplos de expresiones, las cuales, unas son proposiciones y otras
no, y se explica el porqu. Las proposiciones, en este ejemplo, se indican por medio de una letra
minscula, dos puntos y la proposicin o enunciado propiamente dicho.
p:
La tierra es plana.
q:
-13 + 38 = 21
r:
x>y-9
s:
El Amrica ser campen en la presente temporada de ftbol.
t:
Hola cmo estas?
w:
Lava el auto por favor.
60

Los incisos p y q sabemos que pueden tomar un valor de verdadero o falso; por lo tanto son proposiciones. El inciso r tambin es una proposicin, aunque el valor de falso o verdadero depende del valor
asignado a las variables x e y en determinado momento. La proposicin del inciso s tambin esta perfectamente expresada aunque para decir si es falsa o verdadera se tendra que esperar a que terminara la
temporada de ftbol. Sin embargo las expresiones t y w no son proposiciones, ya que no pueden tomar
un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.
Una proposicin, como ya hemos visto, puede ser falsa o verdadera pero no ambas cosas. Es decir, si se
tiene una proposicin p, puede ocurrir:
Si p es verdadera, su valor de verdad es V.
Si p es falsa, su valor de verdad es F.
Negacin de una proposicin: Sean las proposiciones:
p = ellas cantan
q = ellas no cantan
La proposicin q niega lo afirmado por la proposicin p. Por esta razn, se dice que la proposicin q es
la negacin de la proposicin p. Dicho matemticamente: p = q
Lo anterior se leer: la negacin de la proposicin p es igual a la proposicin q. Siendo el signo de la
negacin. Cuando se desea negar una proposicin p, entonces decimos no p y lo simbolizamos as: p.
Como puede ver de lo anterior, un signo de proposicin en lgica proposicional, significar lo que usted desee, es decir, cualquier hecho arbitrario puede ser su interpretacin; p podra interpretarse como
que Cali es la capital del Valle del Cauca o como que 3+5 es igual a 8.
Proposiciones Moleculares. Las proposiciones moleculares o compuestas son aquellas expresiones
que llevan partculas de enlace. Por ejemplo, si suponemos que tenemos los dos siguientes tomos:
p: Yo aprob el curso
q: Yo estoy contento
entonces podemos formar la molcula: p q
la cual en espaol sera: Aprob el curso, y por eso estoy contento.
La partcula de enlace o conectiva lgica de la proposicin anterior molecular es la implicacin. En
otras palabras, la proposicin molecular est formada por proposiciones atmicas enlazadas.
Sistemas Lgico Formales. En la lgica clsica de enunciados se consideran dos tipos de sistemas
lgico-formales, a saber:
1. Sistema axiomtico, es decir sistema de leyes lgicas de axiomas y teoremas.
2. Sistema de deduccin natural, es decir, sistema de reglas de transformacin, reglas de deduccin.
La nocin de sistema axiomtico es muy antigua. Un sistema tal consiste de un conjunto de axiomas (o
esquema axiomtico) los cuales son estatutos considerados como vlidos, y un conjunto de reglas de
inferencia, que son maquinaria pare producir nuevos estatutos vlidos de los estatutos previamente obtenidos. En esta estructura, los estatutos vlidos producidos por el sistema son llamados teoremas. Una
derivacin o demostracin de un teorema es la lista ordenada de axiomas, reglas de inferencia y teoremas previamente obtenidos que fueron necesarios para producir aquel teorema. Para un sistema
axiomtico dado, la derivabilidad o probidad esta dada por la relacin binaria, la cual es reflexiva y
transitiva, sin embargo no es simtrica.
61

Para una frmula A la derivabilidad se escribe como A. Ms generalmente, si E es un conjunto de

frmulas, la expresin significa que A es derivable de E, esto es, A es derivable del sistema si los elementos de E son considerados como axiomas adicionales, en este caso, los elementos de E son vistos
como hiptesis. El requerimiento vital de un sistema axiomtico es la solidez: cada teorema debe ser
frmula vlida. La propiedad opuesta es llamada completitud y ser tambin un requerimiento vital.
2.2 SISTEMA DE DEDUCCIN NATURAL DE ENUNCIADOS
Una demostracin matemtica no es slo una yuxtaposicin singular de silogismos, sino que son silogismos colocados en
determinado orden, y el orden en que se colocan estos elementos es mucho ms importante que los propios elementos. Si
tengo la sensacin, digamos, la intuicin de este orden como para percibir de una mirada el razonamiento como un todo,
entonces ya no debo temer, a menos que olvide uno de los elementos, pues cada uno ocupar su sitio asignado en el arreglo,
y eso sin ningn esfuerzo de memoria de mi parte
Poincar

Lenguaje Formal. Smbolos primitivos y auxiliares:

1. Alfabeto: p, q, r, s, t,... p1, q1, r1, s1, t1,.. p2, q2, r2, s2, t2,.. pn, qn, rn, sn, tn,... son smbolos primitivos a
los cuales llamaremos variables proposicionales. Estas son un nmero infinito enumerable de ellas.
Estas no presentan valor semntico fijo.
2. , , y son smbolos primitivos que denominaremos conectivas, y son las constantes lgicas
primitivas del SDNE (Sistema de Deduccin Natural de Enunciados). Su uso semntico permanece
invariable.
3. (, ), {, } u otro tipo de parntesis que desee son smbolos auxiliares
Reglas de formacin
1. Una variable proposicional es una fbf (frmula bien formada) del sistema SDNE.
2. Si A es una fbf del sistema SDNE, entonces la negacin de A, A, tambin es una fbf del SDNE.
3. Si A y B son fbfs del sistema SDNE, entonces:
La disyuncin de A y B, A B es un fbf del SDNE
La conjuncin de A y B, A B es un fbf del SDNE
La implicacin de a y B, A B es un fbf del SDNE
4. Ninguna secuencia o concatenacin de smbolos es una fbf del SDNE si no es en virtud de las reglas anteriores. (Exceptuando las que resultan de introducir smbolos auxiliares para evitar ambigedades).
Smbolos definidos
, el cual est definido en trmino de los primitivos anteriores, como: A B = (A B) (B A)
Reglas Semnticas. A las anteriores reglas de formacin les corresponden las siguientes reglas semnticas:
1. a cada variable proposicional le corresponde, como valor semntico, un valor de verdad: verdadero
(1) o falso (0).
2. A = verdad si y solo si A = falso
3. A B= verdad si y solo si A = verdad y B = verdad
4. A B= verdad si y solo si A = verdad o B = verdad
5. A B= verdad si y solo si A = Falso o B = verdad
De las anteriores reglas semnticas, se desprenden las ya conocidas tablas de verdad.

62

2.3 SEMNTICA Y TABLAS DE VERDAD

De manera especfica, la semntica de un lenguaje formal estudia las relaciones entre las expresiones
de ese lenguaje y ciertos contenidos y entidades extralingsticas, las cuales se asocian a tales expresiones. La semntica de un sistema lgico-formal se ocupa, adems, de las relaciones semnticas entre sus
fbf, en especial la relacin de consecuencia lgica, relaciones stas derivadas de reglas semnticas asociadas al lenguaje formal subyacente.
Lo anterior quiere decir que el significado de una frmula debe ser una funcin del significado de sus
componentes, mas especficamente, el valor de verdad asignado a la frmula depender de la estructura
de esa frmula y de los valores de verdad asignados a las proposiciones contenidas en ella. En otras
palabras, los conectivos (constantes lgicas) de la lgica proposicional son funcionales de valores de
verdad y, por ende, la semntica de una frmula estar dada por esos conectivos. Analice el valor de
verdad de los siguientes enunciados:
Brasil exporta caf y Colombia tiene costas sobre ambos ocanos
Chile es un pas bolivariano o Buenos Aires en la capital de Argentina
Bolvar liber a Ecuador y San Marn libert a al Argentina
12 divide a 144 o 10 divide a 1024
Venezuela exporta petrleo o Bolivia es un pas centroamericano
13 * 3 = 39 y 12 es divisor de 144
Raz de 2 es un nmero racional
3 es un entero positivo
2 + 3 <> 8
Para todos los enteros positivos n, n+41n+41 es un nmero primo.
Hay por lo menos un entero positivo n para el cual n+41n+41 no es un nmero primo.
Hay algn entero k para el cual 12=3k.
De esta forma, en semntica, en el caso de las constantes lgicas no hay opcin: la oracin verdadero
siempre quiere decir aquello que sucede en la realidad: el hecho de la verdad. La oracin falsa siempre
quiere decir aquello que no existe en el mundo. Los posibles valores de verdad de una proposicin pueden presentarse en las llamadas tablas de verdad. Estas fueron desarrolladas en forma independiente
por Post en 1921 y por Wittgenstein en 1922. La mejor manera de entender en qu consiste el procedimiento proporcionado por las tablas de verdad es con ejemplos, y encontrar de esta forma el valor de
verdad de diferentes frmulas. Por ejemplo, encontremos los valores de verdad para p en la siguiente
tabla de verdad:
Negacin
p
V
F

p
F
V

Cada fila o rengln de la tabla de verdad, corresponde a una funcin de valuacin posible; el total de
las filas corresponder a la totalidad de las funciones de valuacin posibles. Como solo hay dos valores
posibles, V o F, para cada una de la N variables proposicionales, tendremos 2N posibles casos. En las
columnas de ms a la izquierda de la tabla se colocan cada una de las N variables (tomos.) Ms hacia
la derecha se colocan en columnas las diferentes subfrmulas para ir llegando a la ms a la derecha,
donde estarn los valores posibles (de verdad) de la frmula (molcula) que estamos analizando. A
continuacin repasamos cada una de las constantes lgicas que utilizaremos, con su correspondiente
tabla de verdad.

63

Conjuncin. Se llama conjuncin de dos proposiciones simples p, q, a la proposicin compuesta

(molcula) que resulta al enlazar la proposicin p con la proposicin q mediante el conectivo y. Por
ejemplo sean las proposiciones:
p = las plantas crecen
q = el sol ilumina
La conjuncin ser: s = Las plantas crecen y el sol ilumina.
En smbolos: s = p q que se lee: s es igual a p conjuncin q; es el smbolo de la conjuncin.
Valor de verdad para la conjuncin: La conjuncin de dos proposiciones es verdadera, solamente
cuando ambas proposiciones son verdaderas. Basta que una de las dos proposiciones sea falsa para que
la disyuncin sea tambin falsa. Su tabla de verdad queda as:
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

Disyuncin. Se llama disyuncin de dos proposiciones simples p, q, a la proposicin compuesta (molcula) que resulta al unir la proposicin p con la proposicin q mediante el conectivo o. Por ejemplo,
sean las proposiciones:
p = yo juego
q = yo estudio.
La disyuncin quedara as: s = Yo juego o yo estudio
En smbolos: s = p q, el cual se lee: s es igual a p disyuncin q. es el smbolo de la disyuncin. Observe que hay las tres posibilidades siguientes, con la disyuncin inclusiva:
Estoy estudiando mientras estoy jugando
solo estoy estudiando
solo estoy jugando
Valor de verdad para la disyuncin: La disyuncin inclusiva de dos proposiciones es falsa solamente
cuando las dos proposiciones son falsas. Esta operacin es inclusiva porque de las dos proposiciones
que se plantean la alternativa es ambigua, puede ser una de ellas o las dos. La tabla de valor de verdad
para la disyuncin es la siguiente:
p
V
V
F
F

q
V
F
V
F

p q
V
V
V
F

Ejercicio. Elabore tablas de verdad para cada uno de los siguientes enunciados:
(p q)
(p q) (q q)
p q
(p q) (p q)
64

Disyuncin Exclusiva. Se llama disyuncin exclusiva aquella en la cual la declaracin de una proposicin excluye a la otra definitivamente. Por ejemplo, sean las proposiciones:
p = yo juego
q = yo estudio.
La disyuncin quedara as: s = Yo juego o yo estudio
En smbolos: s = p q el cual se lee: s es igual a p disyuncin q. es el smbolo de la disyuncin. Observe que hay solo dos posibilidades con la disyuncin inclusiva:
solo estoy estudiando
solo estoy jugando
Valor de verdad para la disyuncin exclusiva: La disyuncin exclusiva de dos proposiciones es falsa
cuando las dos proposiciones son falsas o cuando ambas son verdaderas. La disyuncin exclusiva es
verdadera cuando una de las proposiciones es verdadera y la otra es falsa. La tabla de valor de verdad
para la disyuncin exclusiva es la siguiente:
p
V
V
F
F

q
V
F
V
F

q
F
V
V
F

Implicacin
La implicacin es una relacin hipottica o condicional que se da entre dos proposiciones, una llamada
antecedente y la otra consecuente. El antecedente es la proposicin que se contiene en la partcula Si y
el consecuente es la proposicin que se contiene en la partcula entonces. De esta forma una oracin
como (p q) r se conoce como implicacin, o condicional. Su premisa o antecedente es p q y su
conclusin o consecuente es r. Al primer trmino se le conoce como premisa o antecedente y al segundo como conclusin o consecuente.
A las implicaciones tambin se les conoce como enunciado condicional o como reglas o aseveraciones
Si-Entonces. La tabla de verdad correspondiente a las operaciones de implicacin es la siguiente:
p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

Observe en las ltimas dos lneas que una hiptesis falsa puede implicar cualquier conclusin. Expresiones irnicas como Si 1+1=3 entonces soy el rey de Inglaterra son del modelo presentado en la ltima
fila, en donde tanto la premisa como el consecuente son falsas, empero la implicacin es verdadera.
La implicacin es siempre verdadera, excepto cuando el antecedente es verdadero y el consecuente es
falso, por ejemplo:
1. Si los Estados Unidos son imperialistas (p = verdad), entonces invaden a otros pases (q = verdad).
2. Si los Estados Unidos son imperialistas (p = verdad), entonces son anti-intervencionistas (q = falso).
3. Si los Estados Unidos son anti-intervencionistas (p = falso), entonces invaden a otros pases (q =
verdad).
4. Si los Estados Unidos son anti-intervencionistas (p = falso), entonces son imperialistas (q = falso).
65

Ya debe haber notado que al principio la tabla de verdad de la implicacin puede parecer confusa, debido a que no corresponde muy bien a nuestra manera intuitiva de concebir que P implique a Q o Si
P entonces Q. En la Lgica Propositiva no es necesario que exista una relacin de causa o pertinencias entre P y Q. Por ejemplo observe las siguientes proposiciones, ubicando a cual de los cuatro casos
de la tabla de verdad, corresponden:
Si llueve entonces me mojo
Si me mojo entonces llueve
Si no me mojo entonces no llueve
Si llueve saldr al campo
Si tengo hambre entonces 8 + 5 = 13
Si soy el rey de Inglaterra entonces 2 + 2 = 4
Otro punto que es fuente de confusin es el hecho de que una implicacin sea verdadera aunque su antecedente sea falso. Por ejemplo: 5 es impar implica que Antonio es Inteligente, es verdadera, independientemente de que Antonio sea inteligente o no.
Expresiones que nos sern de utilidad con el operador de implicacin son tambin las siguientes:
La conversa de una expresin p q est dada por: q p.
La contrapuesta de una expresin p q est dada por: q q.
Equivalencia
La equivalencia es una relacin en la que las dos proposiciones que se comprenden indican una condicin recproca; es decir, para que ocurra el consecuente debe darse necesariamente el antecedente, y
para que ocurra el antecedente debe darse el consecuente. Cuando dos proposiciones producen el mismo resultado de verdad, o falsedad, se dice que son equivalentes y se representan de la siguiente forma:
p q. La equivalencia tambin es conocida como el bicondicional. Tambin se puede leer como: si y
slo si p, es verdadero, entonces q es verdadero, y lo mismo en forma contraria. As mismo tambin se
dice que: p es una condicin necesaria y suficiente para q. La tabla de verdad correspondiente a la
equivalencia es la siguiente:
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

La equivalencia es verdadera si y solo si las dos proposiciones que la forman tienen el mismo valor de
verdad, de otra forma es falsa. La expresin p q tambin es leda como: p es una condicin necesaria
y suficiente para q.
Prelacin de Operadores
Para determinar el valor de verdad de una proposicin molecular, es necesario conocer cuales son las
reglas que se aplican para determinar si la proposicin completa es cierta o falsa; asimismo, al tener
frmulas con dos o ms conectivas, se deben conocer las reglas de precedencia y asociatividad de las
conectivas para asegurar que la evaluacin es correcta. An cuando existen algunas diferencias en la
determinacin de una jerarqua de conectivas, en este texto se utilizar el siguiente orden: , , , ,
, donde (negacin) es el operador con mayor jerarqua en la secuencia y (bicondicional) es el
operador con el menor peso.

66

Ejemplo: El orden de evaluacin de PQR es, utilizando parntesis, (( P) (Q R)); es decir,

primero se evala P, posteriormente Q R, y finalmente se aplica al resultado de ambas evaluaciones.
Al tener una frmula con la presencia de dos o ms conectivas iguales, el orden de asociatividad siempre es de izquierda a derecha.
Ejemplo: El orden de evaluacin de P Q R es ((P Q) R).
Complejidad
El mtodo de inferencia basado en la tabla de verdad es completo, pues permite siempre la enumeracin de 2n filas de la tabla de verdad por cada demostracin, en donde intervengan n signos de proposiciones. Por otra parte, el tiempo de clculo es exponencial en n, por lo que no es prctico. Surge la pregunta de si existir algn procedimiento de demostracin de tiempo polinomial aplicable a la lgica
propositiva y que se base en el uso de las reglas de inferencia dadas anteriormente?
Interpretacin de frmulas. Una interpretacin de una frmula es una asignacin de valores de verdad a un conjunto de tomos; para una frmula con dos tomos se tienen dos posibles interpretaciones,
para una con tres se tienen ocho interpretaciones, y en general para una frmula con n tomos de tienen
2n interpretaciones. Considerando las condiciones discutidas anteriormente, es posible determinar el
valor de verdad cualquier una frmula de la lgica proposicional.
Ejemplo: Teniendo que P es V, Q es F, R es V y S es V, la interpretacin para la frmula: (P Q)
(R S) es:
P

S P Q ( P Q) R S ( P Q) ( R S)
V
F
V
V
V

En general, para evaluar una frmula, se deben considerar todas sus posibles interpretaciones.
Ejemplo: La evaluacin de (P Q) (R S) es:
P

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

PQ
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V

( P Q)
F
F
F
F
V
V
V
V
F
F
F
F
F
F
F
F
67

RS
V
F
F
F
V
F
F
F
V
F
F
F
V
F
F
F

( P Q) ( R S)
V
V
V
V
V
F
F
F
V
V
V
V
V
V
V
V

De la evaluacin de una frmula, se pueden definir los siguientes conceptos:

Tautologa o frmula vlida: Una frmula es una tautologa si es verdadera para todas sus posibles interpretaciones. Una tautologa tambin se conoce como una frmula vlida.
Contradiccin, frmula inconsistente o frmula insatisfactible: Una frmula es una contradiccin si es falsa para todas sus posibles interpretaciones. Una contradiccin tambin se conoce como una frmula inconsistente o una frmula insatisfactible.
Frmula consistente o frmula satisfactible: Una frmula que al menos tiene una interpretacin verdadera se conoce como una frmula consistente o satisfactible.
Frmula invlida: Una frmula es invlida si es falsa para al menos una interpretacin.
Ejemplo: La frmula (P Q) P es una tautologa, ya que todas sus interpretaciones son verdaderas:
P

V
V
F
F

V
F
V
F

P Q (P Q) P
V
V
F
V
V
V
V
V

Ejemplo: La frmula (P Q) P, es consistente, ya que de sus interpretaciones, dos son verdaderas.

P
V
V
F
F

Q P P Q ( P Q) P
V F
V
F
F F
F
F
V V
V
V
F V
V
V

Como consecuencia de las definiciones anteriores, se tiene que:

Una frmula es vlida si y solo si su negacin es inconsistente.
Una frmula es inconsistente si y solo si su negacin es vlida.
Una frmula es invlida si y solo si existe por lo menos una interpretacin sobre la cual la frmula
es falsa.
Una frmula es consistente si y solo si existe por lo menos una interpretacin sobre la cual la
frmula es verdadera.
Si una frmula es vlida, entonces es consistente, pero no viceversa.
Si una frmula es inconsistente, entonces es invlida, pero no viceversa.
Al evaluar las frmulas P Q y P Q se observa que todas sus interpretaciones son iguales, por lo
que se dice que ambas frmulas son equivalentes.
Ejemplo: P Q y P Q son frmulas equivalentes:
P Q
V V
V F
F V
F F

P PQ PQ
F
V
V
F
F
F
V
V
V
V
V
V
68

Se considera que una oracin es satisfactible si y slo si existe una interpretacin en algn mundo para
la que es verdadera. Es decir si al menos una vez es verdadera. Lo contrario es el caso de las oraciones
insatisfactibles. Las oraciones insatisfactibles son los contrarios de las satisfactibles, nunca son verdaderas, siempre son falsas para cualquier interpretacin de algn mundo. Tambin se las conoce como
falacias o contradicciones.
Primitivas Lgicas. Los operadores descritos antes son los ms utilizados en la construccin de expresiones lgicas, sin embargo como n variables lgicas (p, q,...) pueden asumir 2 a la n posibles valores,
habr dos elevado a la dos a la n posibles funciones lgicas de estas variables, as si, por ejemplo, n es
igual a 2, es decir para dos variables p y q, habr 2 elevado a la, 2 elevado a la 2, es decir 16 funciones
lgicas posibles. A continuacin presentamos esta tabla, donde 1 es verdadero y 0 es falso:
p
q
F
(p q)
q>p
p
p>q
q
p xor q
(p q)
pq
p q
q
pq
p
qp
pq
V

1
1
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1

1
0
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1

0
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1

0
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1

FUNCIN LGICA
0, Funcin cero, falsum, falso
funcin NOR
inhibicin q > p
negacin, complemento
inhibicin p > q
negacin, complemento
o exclusivo, no equivalencia
funcin NAND
conjuncin, funcin Y
bicondicional, equivalencia
asercin, identidad
implicacin, condicional, inigualdad
asercin, identidad
implicacin, condicional, inigualdad
disyuncin, funcin o
1, funcin uno, verum, verdad

3. ESTRATEGIAS DE FORMALIZACIN
Formalizar es traducir o reexpresar pasajes lingsticos, en especial enunciados y argumentaciones, del
lenguaje natural en un lenguaje formal. Dado un pasaje lingstico, formulado en Espaol o en cualquier otro lenguaje natural, hemos de dejar a un lado nuestras convicciones acerca de cmo son los
hechos. Al formalizar lo nico a lo que debemos atender es al contenido semntico de los enunciados
del pasaje, y sus equivalencias en el lenguaje formal. Para la lgica de enunciados, se recomienda tener
en cuenta lo siguiente:
Identificar las expresiones lingstica que son contrapartidas de las conectivas del lenguaje formal.
Identificar los distintos enunciados atmicos del texto a formalizar.
Identificar los enunciados atmicos que expresan una misma proposicin, asignando la misma variable proposicional a aquellos enunciados atmicos que expresen la misma proposicin.
Sustituir los enunciados atmicos por las variables proposicionales asignadas.
Identificar todas las negaciones que puedan aparecer en el texto a formalizar y hacerles corresponder ocurrencias del operador negador, . En este sentido conviene tener presente que las negaciones
no siempre aparecen al comienzo de un enunciado sino intercaladas en el mismo. La negacin la
podemos encontrar en expresiones como: No es el caso que P, no P, no es cierto que P, etc. Tambin conviene tener presente que determinadas ocurrencias de la doble negacin en espaol expresan en realidad una negacin simple. Por ltimo, es importante identificar cundo un enunciado en
69

forma afirmativa expresa en realidad la negacin de otro enunciado que aparece en el mismo texto a
formalizar.
La constante lgica de conjuncin la utilizaremos en expresiones que se entiendan como: P y Q,
P pero Q, P aunque Q, etc.
La constante lgica de disyuncin la utilizaremos en expresiones que se entiendan como: P o Q,
ya P ya Q ya ambas, etc.
La constante lgica de implicacin la utilizaremos en expresiones que se entiendan como: Si P,
entonces Q; P slo si Q; Slo P si Q; Es suficiente P para que Q; siempre que P entonces Q; es necesario Q para que P, no P a menos que Q; a no ser que Q no P; etc.
La constante lgica de equivalencia la utilizaremos en expresiones que se entiendan como: P si y
slo si Q; P cuando y slo cuando Q; P es condicin suficiente y necesaria para que B.
Explicitar los parntesis imprescindibles para evitar ambigedades, omitiendo los innecesarios.
Construir tantas fbs como enunciados separados por un punto figuren en el texto a formalizar. En
caso de que el texto sea una argumentacin o varias, habrn de diferenciarse las premisas y la conclusin de cada una de ellas mediante el procedimiento de enumerar las fbfs correspondientes a las
premisas, anteponiendo un guin a frmula y nmero, y poniendo el smbolo ante la frmula que
representa la conclusin.

Veamos algunos ejemplos:

1. Desde el punto de vista evolutivo, el individuo es efmero; nicamente las poblaciones persisten a
lo largo del tiempo. Podemos descomponerlo en p y q as:
p = Desde el punto de vista evolutivo el individuo es efmero
q = Desde el punto de vista evolutivo nicamente las poblaciones persisten a lo largo del tiempo.
Su formalizacin, entonces sera: p q
2. Si su telfono no funciona, lo primero que debes hacer es comprobar que la conexin con la clavija
es correcta. El telfono debe estar conectado a una roseta blanca con dos conexiones. Una de ellas
es de color rojo y la otra de color azul. Independientemente de los colores, el telfono siempre se
conecta a la que est a la derecha.
p = Tu telfono funciona
q = Lo primero que debes hacer es comprobar que la conexin con la clavija es correcta.
r = El telfono debe estar conectado a una roseta blanca con dos conexiones.
s = Una de las conexiones es de color rojo
t = La otra conexin es de color azul.
u = Independientemente de los colores, el telfono siempre se conecta a la que est a la deracha.
En este pasaje no hay expresado argumento alguno, puesto que no hay premisas ni conclusin.
Simplemente se hacen aseveraciones. La formalizacin ser:
1
2
3
4

p q
r
s t
u

3. los griegos no permitan que las variables tomara el lugar de los nmeros o de las palabras representativas de nmeros en lgebra o el uso de variables que Aristteles introdujo en la silogstica
distaba de ser genial. Si los griegos permitieran el uso de variables, entonces no slo la geometra
sino tambin el lgebra hubiera experimentado un gran avance. Sin embargo, el lgebra no se des70

arroll hasta dos mil doscientos aos ms tarde, con la aparicin de Boole. Por tanto, los griegos no
permitan el uso de variables. De todo ello se sigue que el uso de variables que Aristteles introdujo
en la silogstica fue una de sus aportaciones geniales a la lgica.
p = Los griegos permitan que las variables tomaran el lugar de los nmeros.
q = El uso de variables introducido por Aristteles en la silogstica fue genial.
r = La geometra hubiera experimentado un gran avance.
s = El lgebra hubiera experimentado un gran avance.
Argumentacin 1 del anterior pasaje: Si los griegos permitieran el uso de variables, entonces no
solo la geometra sino tambin el lgebra hubiera experimentado en gran avance. Sin embargo, el
lgebra no se desarrollo hasta dos mil doscientos aos ms tarde, con la aparicin de Boole. Por
tanto, los griegos no permitan el uso de variables. Formalizacin:
-1
-2

pr s
s
p

Argumentacin 2: O los griegos no permitan que las variables tomaran el lugar de los nmeros
o de las palabras representativas de nmeros en lgebra o el uso de variables que Aristteles introdujo en la silogstica distaba de ser genial. Los griegos no permitan el uso de variables. De todo
ello se sigue que el uso de variables que Aristteles introdujo en la silogstica fue una de sus aportaciones geniales a la lgica. Formalizacin:
-1
-2

( p q ) ( p q)
p
q

4. Los siguientes enunciados son equivalentes, y se deben formalizar de la misma forma: p

La estrella de la maana es uno de los planetas de nuestro sistema solar.
La estrella matutina es un planeta del sistema solar.
La estrella de la tarde es uno de los planetas que circulan alrededor de nuestro sol
Venus es uno de los planetas del sistema solar.
Un vehculo con placas de Buga fue comprado por Mara
Mara compr un vehculo con placas de Buga.
5. No quiero ni pensar en ello. La anterior son dos ocurrencias del negador, las cuales expresan negacin simple. Sea p = Quiero pensar en ello. Formalizacin: p
6. Si Liliana aprueba el examen, se ir de vacaciones; pero si reprueba, se quedar en casa estudiando.
p = Liliana aprueba el examen
p = Liliana reprueba el examen
r = Liliana se quedar en casa estudiando formalizacin: (p q) ( p r)
7. No es cierto que sea falso que no llueva.
p = llueva
Formalicemos paso a paso:
No es cierto que sea falso que no p.
No es cierto que sea falso que p.
No es cierto que p.
p
71

8. Puedes venir a tomar caf siempre que quieras. Lo anterior se podra parafrasear como: cuando
quieras puedes venir a tomar caf
p = Puedes venir a tomar caf
q = quieras
formalizacin: q p
9. Entrars slo si has llegado a tiempo
p = Entrars
q = has llegado a tiempo
formalizacin: p q
10. Es suficiente conseguir un buen informe del jefe para que todos deseen estar en tu lugar
p = Conseguir un buen informe del jefe
q = todos deseen estar en tu lugar
formalizacin: p q
11. Es necesario presentarse al examen para aprobar la asignatura. Lo anterior se podra parafrasear
como: cuando quieras puedes venir a tomar caf
p = Presentarse al examen
q = aprobar la asignatura
formalizacin: q p
12. Si tus padres son los mos, entonces somos hermanos
p = tus padres son los mos
q = somos hermanos
formalizacin: p q
13. Para realizarte en la vida has de escribir un libro, tener un hijo y plantar un rbol.
p = te realizas en la vida
q = escribes un libro
r = tienes un hijo
s = plantas un rbol
formalizacin: p (q r s)
14. Siempre que el coronel no tiene quien le escriba, se escribe a s mismo largas y elogiosas epstolas
p = el coronel tiene quin le escriba
q = se escribe as mismo largas epstolas
r = se escribe as mismo elogiosas epstolas
formalizacin: p (q r )
15. A menos que le toque la lotera a Juan, sigue siendo pobre
p = le toca la lotera a Juan
q = Juan sigue siendo pobre
formalizacin: p q
16. Solo si le toca la lotera a Juan, no sigue siendo pobre. Que se puede parafrasear como: Si no es
cierto que Juan sigue siendo pobre, es que le toca la lotera.
72

p = le toca la lotera a Juan

q = Juan sigue siendo pobre
formalizacin: q p
17. Slo si a Juan no le toca la lotera, sigue siendo pobre.
p = le toca la lotera a Juan
q = Juan sigue siendo pobre
formalizacin: q p
4. INFERENCIA
El procedimiento que mediante tablas de verdad permite cerciorarse de la confiabilidad de una inferencia podra ampliarse a clases enteras de inferencias. Existen ciertos patrones de inferencias que se presentan una y otra vez, lo que permite establecer de una vez por toda su confiabilidad. De esta forma se
aprehende el patrn respectivo en algo que se conoce como regla de inferencia. Una vez establecida
una regla, se le puede emplear para hacer ms inferencias sin necesidad de pasar por el tedioso procedimiento de la construccin de las tablas de verdad. Si una implicacin p q es una tautologa, en
donde p y q pueden ser proposiciones compuestas en las que intervenga cualquier nmero de variables
propositivas, se dice que q se desprende lgicamente de p.
Supngase que una implicacin de la forma: (p1 p2 ... pn) q es una tautologa. Entonces esta
implicacin es verdadera sin importar los valores de verdad de sus componentes. En este caso, se dice
que q se desprende lgicamente de p1, p2,..., pn. Cuando q se desprende lgicamente de p1, p2,..., pn,
se escribe:
p1
p2
...
pn
----q
en donde el smbolo significa por lo tanto. Esto significa que si se sabe que p1 es verdadera, p2 es
verdadera,.... y pn es verdadera, entonces se sabe que q es verdadera.
Prcticamente todos los teoremas matemticos estn compuestos por implicaciones del tipo:
(p1 p2 ... pn) q
Las pi son llamadas hiptesis o premisas, y q es llamada conclusin. Demostrar el teorema significa
demostrar que la implicacin es una tautologa. Ntese que no se est tratando de demostrar que q (la
conclusin) es verdadera, sino solamente que q ser verdad si todas las pi son verdaderas. Por esta
razn, las demostraciones matemticas comienzan a menudo con la proposicin supngase que p1,
p2,...y pn son verdaderas y concluyen con la proposicin por lo tanto, q es verdadera. La demostracin no demuestra que q sea verdadera, sino simplemente demuestra que q tiene que ser verdadera si
las pi son todas verdaderas.
Los argumentos basados en tautologas representan mtodos de razonamiento universalmente correctos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores
de verdad de las variables que contienen. A estos argumentos se les llama reglas de inferencia. Los
distintos pasos de la demostracin matemtica de un teorema deben comenzar con la hiptesis, proseguir con los distintos pasos, justificando cada uno por alguna regla de inferencia, y llegar a la conclusin.
73

De acuerdo con la tautologa: ((p q) (q q) ) (p r) mencionada anteriormente, podemos

plantear los argumentos de la siguiente forma:
pq
qr
------------p r
siendo el argumento anterior universalmente vlido, y por lo tanto es una regla de inferencia. El siguiente es un ejemplo de esta regla acabada de dar:
Si invierte usted en el mercado de valores, entonces se har rico
Si se hace usted rico, entonces ser feliz
-------------------------------------------------------------------------Si usted invierte en el mercado de valores, entonces ser feliz.
Este argumento es vlido, aunque la conclusin es probablemente falsa.
Otra regla de inferencia muy importante es la que se desprende del modus ponens o mtodo de afirmacin: (p q p) q, la cual podemos replantear de la siguiente forma:
p
pq
---------q
Es decir, p es verdadera, y p q es verdadera, de manera que q es verdadera. Por ejemplo en el siguiente argumento:
Fumar es saludable.
Si fumar es saludable, entonces los cigarrillos son recetados por los mdicos.
------------------------------------------------------------------------------------------- Los cigarrillos son recetados por los mdicos.
La conclusin es falsa. Observe que la primera premisa, p: fumar es saludable, es falsa. La segunda
premisa, p q, entonces es verdadera y la conjuncin de las dos premisas, (p p q), es falsa. Similares consideraciones se pueden hacer con este otro ejemplo:
Si el ingreso aumenta, entonces se recogen ms impuestos
El ingreso aumenta
------------------------------------------------------------------------Se recogen ms impuestos
Refutacin por contradiccin: La refutacin por contradiccin consiste en admitir la verdad de una
proposicin y luego derivar de ella las posibles consecuencias. Si se llega a una consecuencia que est
en contradiccin con algn teorema conocido, se ha demostrado que la proposicin propuesta es falsa.
Est basado en la tautologa: (((p q) q) p. En consecuencia la regla de inferencia correspondiente la plantearemos como:
pq
q
------------- p
74

En trminos simples, sta establece que, si una proposicin p implica una proposicin falsa q, entonces
p debe ser falsa. Esta se aplica a menudo en caso de que q sea una falacia o contradiccin, es decir, una
proposicin que siempre es falsa. Se tiene un ejemplo al tomar a q como la contradiccin r r). En
consecuencia cualquier proposicin que implique una contradiccin debe ser falsa. Para poder utilizar
la demostracin por contradiccin, supngase que se desea demostrar que una proposicin q se desprende lgicamente de las proposiciones p1, p2,..., pn. Suponga, como una hiptesis extra, que q es
verdadera(es decir que q es falsa) y que p1, p2,..., pn, son tambin verdaderas. Si esta hiptesis ampliada, p1 p2 ... pn q implica una contradiccin, entonces por lo menos una de las proposiciones
p1 p2 ... pn q debe ser falsa. Esto significa que si todas las pi son verdaderas, entonces q debe
ser falsa; por tanto q debe ser verdadera. En consecuencia, q se desprende de p1, p2,..., pn. Esta es la
demostracin por contradiccin.
La forma en que se aprende a aplicar reglas de inferencia es semejante a la manera en que deber realizar
una factorizacin o una aplicacin de una frmula en clculo diferencial o integral o la formula que debe
aplicar para resolver un problema en fsica. Lo que debe aprender es a relacionar los distintos
conocimientos para poder llegar a la solucin. Es importante mencionar que el camino que debe seguir el
alumno no es el mismo que el maestro sigui sino uno distinto pero que ambos llegan al resultado.
Todo enunciado puede ser planteado en trminos de teoremas. Un teorema por lo general es resultado
de un planteamiento de un problema, este planteamiento debe tener el siguiente formato:
(p1 p2 ....... pn) q
Como se establece p1, p2,......, pn son hiptesis (o premisas) derivadas del mismo problema y que se
consideran vlidas. Pero adems debern conectarse con el operador And (), lo cual implica que p1
es cierta y () p2 es verdad y ()...... y pn tambin es cierta entonces () la conclusin (q) es cierta.
Para realizar la demostracin formal del teorema se deber partir de las hiptesis, y despus obtener
una serie de pasos que tambin deben ser vlidos, ya que son producto de reglas de inferencia. Sin embargo no solamente las hiptesis y reglas de inferencia pueden aparecer en una demostracin formal,
sino tambin tautologas conocidas. En el teorema anterior cada uno de los pasos p1, p2,...pn son escalones que debern alcanzarse hasta llegar a la solucin. Lo mismo ocurre con todo tipo de problemas
que se nos presentan en la vida, antes de llegar a la solucin debemos alcanzar ciertas metas (p1,
p2,....pn) hasta llegar al objetivo o conclusin (q). Pero una vez que logramos el objetivo debemos
plantearnos nuevos objetivos que nos permitirn superarnos.
Otro concepto importante en la lgica proposicional es el de consecuencia lgica. Uno de los aspectos a
analizar en la lgica proposicional es el de determinar la validez de argumentos representados por
frmulas bien formadas. Un argumento esta formado por las premisas, axiomas o postulados y por una
conclusin, objetivo o consecuencia lgica. Las premisas son proposiciones que son base para la deduccin de una conclusin o consecuencia.
As, en trminos de la lgica proposicional, una consecuencia lgica es aquella frmula (G) que es derivada de un grupo de frmulas (F) cumpliendo la restriccin de ser verdadera para todas las interpretaciones verdaderas del grupo de frmulas (F). Esto es, G es una consecuencia lgica de las premisas F,
si y solo si, al ser verdaderas las premisas, G siempre es verdadera.
Para probar si una frmula es una consecuencia lgica de un grupo de frmulas se tienen dos mtodos,
que se producen a partir de los conceptos de validez e inconsistencia. Estos mtodos se conocen en
forma de teoremas:
Teorema 1: Teniendo un grupo de frmulas F1, F2,...,Fn y otra llamada G, G es una consecuencia lgica de F1, F2,...,Fn si y solo si la frmula ( F1 F2 Fn) G es vlida.

75

Teorema 2: Teniendo un grupo de frmulas F1, F2,...,Fn y otra llamada G, G es una consecuencia lgica de F1, F2,...,Fn si y solo si la frmula F1 F2 Fn G es inconsistente.
Para demostrar si G es una consecuencia lgica se pueden usar tablas de verdad o aplicar las leyes de
equivalencia para encontrar su forma normal.
Ejemplo: U es una consecuencia lgica de ( PS) ( SU) P ya que:
1. Definicin de consecuencia lgica: Aplicando la definicin de consecuencia lgica y aplicando
tablas de verdad se tiene que:
P S

V
V
V
V
F
F
F
F

V
F
V
F
V
F
V
F

V
V
F
F
V
V
F
F

P S
F
F
F
F
V
V
V
V

F
F
V
V
F
F
V
V

PS
V
V
F
F
V
V
V
V

SU
V
F
V
V
V
F
V
V

( PS)

( SU)P
V
F
F
F
F
F
F
F

Se observa que U es verdadero para la nica interpretacin verdadera de ( P S) ( SU)

P.
2. Usando tablas de verdad la frmula ((P S) ( S U) P) U es una frmula vlida.
( P S) ( S U) P
V
F
F
F
F
F
F
F

U ((P S) ( S U) P) U
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V

Otra forma es transformando la frmula original en su forma normal disyuntiva:

((P S) (S U) P) U
((P S) (S U) P) U

eliminado condicional

( (P S) ( S U) P) U

aplicando De Morgan

(( P S) ( S U) P) U

aplicando De Morgan

((P S) (S U) P) U

aplicando De Morgan

(P S) (S U) P U

eliminando parntesis innecesarios

(P S) P (S U) U

aplicando la ley conmutativa

((P P) (S P)) (S U) U

distribuyendo P en P S

(Tautologa (S P)) ( S U) U

aplicando complementacin en P P
76

(S P) (S U) U

aplicando identidad en Tautologa ( S P)

(S P) ((S U) (U U))

distribuyendo U en S

(S P) ((S U) Tautologa)

aplicando complementacin en U U

(S P) (S U)

aplicando identidad en (S U) Tautologa

S P S U

eliminando parntesis innecesarios

Tautologa P U

aplicando complementacin en S S

Tautologa

aplicando complementacin en Tautologa P U

3. Usando tablas de verdad la frmula ((P S) ( S U) P) U es una frmula inconsistente.

( P S) (S U) P
V
F
F
F
F
F
F
F

U
V
F
V
F
V
F
V
F

U
F
V
F
V
F
V
F
V

77

(( P S) (S U) P) U
F
F
F
F
F
F
F
F

5. SITUACIONES PROBLEMTICAS APLICADAS A LA LGICA PROPOSICIONAL

5.1 INTRODUCCIN
No puedo terminar este texto sin integrar a l, un tema con el cual tiene una filiacin natural como lo
expres en la Introduccin, cual es la Metodologa de las situaciones problema, que se ha consolidado
como una estrategia didctica muy importante, en los procesos de enseanza y aprendizaje. En este
contexto, concibo una situacin problema como un espacio de interrogantes que posibilita, tanto la
conceptualizacin como la simbolizacin y aplicacin significativa de los conceptos orientados a plantear y resolver problemas de tipo matemtico. Con los Modelos que he diseado busco fomentar la movilizacin de habilidades bsicas, tanto del pensamiento cientfico como matemtico. En cuanto al
primero, son generalmente reconocidas las habilidades para observar e interrogar los fenmenos,
adems de sistematizarlos, estructurarlos y explicarlos. En cuanto al segundo, la comprensin significativa de los conceptos, la ejercitacin de algoritmos y la resolucin de problemas parecen dar cuenta
de lo esencial en cuanto a la habilidad matemtica.
Debo agregar que en la estructura planteada, en el diseo y graduacin de las preguntas, he buscado
ajustarme al proceso propuesto por el profesor Gastn Mialaret, conocido como el paso de la accin
concreta a la representacin simblica, desde luego ajustado a las posibilidades cognitivas del auditorio
al cual me dirijo.
5.2 OBJETIVOS
1. Establecer las bases necesarias para la constitucin del esquema de la implicacin, a travs de diferentes aproximaciones, desde las experiencias observables para identificar causas y efectos, hasta la
utilizacin e identificacin de lenguajes precisos para designar sus elementos fundamentales. En
consecuencia el proceso propuesto permitir la indagacin por:
Situaciones posibles y no posibles.
Relaciones causa efecto.
Condiciones suficientes.
Condiciones necesarias.
Condiciones suficientes y necesarias.
2. Precisar, con base en el trabajo del numeral anterior, el contenido de verdad propio de la implicacin y de las implicaciones derivadas: recproca, contraria y contrarrecproca. Para ello, se har
nfasis en estos aspectos:
Dada una implicacin identificar su recproca, contraria y contrarrecproca.
Determinar el valor de verdad de una implicacin, sustentado, desde luego, en el contenido real
de la situacin problema descrita.
Relacionar los valores de verdad de una implicacin con los correspondientes a las implicaciones derivadas.
3. Introducir, en una forma sencilla, las argumentaciones directas que sern el prembulo para la formulacin posterior del mtodo de demostracin directo. En este caso, se establecen premisas (hiptesis auxiliares) y se pide determinar la validez o no de una conclusin determinada. Ello obliga a la
construccin de una argumentacin coherente, mediada, desde luego, por las condiciones fijadas en
el proceso.
4. Mostrar cmo, partiendo de unas premisas dadas, es posible obtener determinadas conclusiones
sobre ciertas situaciones y cmo no es posible afirmar algo de otras. Se observar, adems, por qu
es necesario tener un control del estado de ciertas variables y que los resultados dependern de los
estados de las mismas. En estas situaciones, se introduce en la prctica el anlisis de casos.
5. Presentar premisas que lleven implcitamente una contradiccin y motivar la elaboracin de argumentaciones simples que hagan explcita la contradiccin. Se busca, en esta forma, sentar las bases
del mtodo de reduccin al absurdo.
78

6. Destacar una actividad, poco trabajada, relacionada con el esquema de la implicacin, y que en
cierta forma involucra una accin de reversibilidad importante en los procesos de enseanza y
aprendizaje. La actividad consiste en que, a partir de implicaciones falsas, se determinan los valores
de verdad de las proposiciones constitutivas; obligando, desde luego, a un anlisis detallado de las
condiciones fijadas en el proceso.
7. Mostrar la funcin vital que cumple la implicacin en la construccin de las argumentaciones lgicas y cmo se estructura, en torno a ella, el proceso demostrativo.
8. Identificar en las argumentaciones los elementos bsicos de la estructura demostrativa: Hiptesis,
tesis y la argumentacin de soporte, que conduce de la Hiptesis a la tesis.
9. Presentar las reglas de inferencia que validan el proceso demostrativo y propiciar su identificacin
dentro de las argumentaciones.
10. Analizar la estructura lgica subyacente a las argumentaciones y, mediante la utilizacin de las reglas de inferencia, distinguir una argumentacin vlida de una argumentacin falaz.
11. Sealar los modelos ms generales que se encuentran en los procesos deductivos y que conocemos
como los mtodos de demostracin, indicando cundo y cmo se pueden utilizar como estrategias
para una demostracin.
12. Destacar la necesidad de un lenguaje preciso que elimine las ambigedades usuales en el lenguaje
ordinario, especficamente el lenguaje del clculo de proposiciones, y mostrar como su utilizacin
permite ver con claridad la estructura lgica subyacente en las argumentaciones y determinar su validez e invalidez.
13. Utilizar argumentaciones basadas en los dos Modelos propuestos en las cuales las condiciones claramente determinadas en l, evitan ambigedades y permiten la constatacin de la verdad o falsedad de los enunciados planteados. Con ello, se busca dar una evidencia ms objetiva a las reglas de
inferencia establecidas, como tambin mostrar algunas dificultades que se presentan en los enunciados referidos a situaciones en otros contextos.
5.3 METODOLOGA
La estrategia diseada comprende los siguientes elementos:
1. Planteamiento del primer Modelo de una situacin problema.
2. Comprensin y apropiacin de las condiciones planteadas en la situacin problema, utilizando el
software especializado que se ha diseado con este propsito.
3. Ubicacin mediante preguntas progresivas, planteadas en las actividades, en el entorno de los elementos que se buscan problematizar y cuyo contenido implcito se ha fijado en los objetivos.
4. Anlisis de las preguntas y formulacin de respuestas por parte del estudiante, fundamentado inicialmente en sus conceptos previos, intuiciones y elementos tericos adquiridos, y que puede verificar, interactuando con el Modelo, con el propsito de confirmar sus conocimientos o rebatirlos y
reorientarlos en el sentido vlido de la teora. Es especficamente en esta etapa donde la intervencin oportuna y acertada del docente, pueden colaborar para propiciar y acompaar las rupturas
conceptuales cuando ellas se den y que orientan a la adquisicin de conocimientos significativos, en
el sentido vlido de la teora. Para ello el texto est provisto de todos los elementos de la teora objeto de estudio.
5. Avance progresivo en la dinmica del razonamiento lgico permitiendo explorar todos los elementos bsicos y su articulacin final en los procesos argumentativos o demostraciones en las cuales,
las condiciones fijadas en el Modelo, hacen las veces de los Axiomas, y los resultados derivados
corresponden a los teoremas; afianzando, desde la lgica material, los esquemas propios de la lgica formal.
6. Planteamiento del segundo Modelo de una situacin problema, con una metodologa anloga al
primero, buscando que el lector pueda reafirmar y ampliar los conceptos estudiados.
79

6. PLANTEAMIENTO DE SITUACIONES PROBLEMTICAS

6.1 MODELO 1. UN MODELO DE RIEGO PARA UN CULTIVO
El diagrama indica el caudal de una acequia (1) que suministra el agua para el riego de un cultivo de
maracuy (3), mediante dos sistemas independientes, as:

En el primero, el agua ingresa por la compuerta A hasta el tanque (2), donde es almacenada y posteriormente, a travs de la compuerta C, es distribuida por un sistema de mangueras subterrneas que
efectan un riego por aspersin.
En el segundo, el agua ingresa por la compuerta B y es distribuida directamente por un sistema de surcos extendido en todo el cultivo, efectundose un riego por inundacin.
Una ley de recursos hdricos del INDERENA slo permite tomar agua de la acequia por la compuerta
A o la compuerta B, pero no por las dos al mismo tiempo. El objetivo es distribuir la toma de aguas
entre los dems usuarios de la acequia equitativamente.
Cuando el tanque (2) est lleno y la compuerta A est abierta, pero la compuerta C est cerrada, el agua
sobrante pasa por un desage D a formar parte del acueducto de una finca. No hay otras condiciones
bajo las cuales circule agua por D.
Las situaciones que se plantean a continuacin, se fundamentan en el proceso descrito textualmente y
se asumen las condiciones normales de funcionamiento.
6.1.1 Actividades
1. De las situaciones que se describen a continuacin, indique cules son posibles y cules no lo son,
en las condiciones de funcionamiento del sistema. Argumente en forma breve su respuesta.
a. La compuerta A est abierta y no hay riego en el cultivo.
b. Las compuertas A y B estn cerradas y hay riego en el cultivo.
80

c.
d.
e.
f.
g.
h.
i.
j.
k.
l.
m.
n.
o.

La compuerta B est abierta y hay riego por aspersin.

La compuerta B est abierta y hay agua circulando por el desage D.
La compuerta A est abierta y hay riego por inundacin.
La compuerta C est abierta y no hay riego en el cultivo.
La compuerta B est cerrada y no hay agua circulando por el desage D.
Hay agua circulando por el desage D y hay riego en el cultivo.
Hay riego por inundacin y por aspersin simultneamente.
La compuerta B est cerrada, el tanque est lleno, no hay agua circulando por el desage D y no
hay riego en el cultivo.
El tanque est lleno y no hay riego en el cultivo.
El tanque est vaco completamente y hay riego en el cultivo.
Hay dos compuertas abiertas y no hay riego en el cultivo.
Hay una compuerta abierta y hay riego en el cultivo.
Hay una compuerta abierta y no hay riego en el cultivo.

2. Hoy no hay riego en el cultivo. Seale en las opciones siguientes cul o cules de ellas son causa de
este hecho.
a. La compuerta A est cerrada.
b. La compuerta B est cerrada.
c. Las compuertas A y B estn cerradas.
d. La compuerta A est abierta y la compuerta C est cerrada.
e. Las compuertas B y C estn cerradas.
f. Hay agua circulando por el desage D.
g. Hay dos compuertas cerradas.
h. El tanque est vaco.
3. Hay dos compuertas abiertas, seale, cul o cules de las opciones siguientes son consecuencias de
este hecho.
a. Hay riego por aspersin.
b. Hay riego por inundacin.
c. Hay riego en el cultivo.
d. No hay agua circulando por el desage D.
e. La compuerta A est abierta.
f. La compuerta C est abierta.
4. Seale, en las opciones siguientes, la condicin o condiciones suficientes para que haya riego en el
cultivo. Destaque las implicaciones lgicas respectivas
a. La compuerta A est abierta.
b. La compuerta B est abierta.
c. La compuerta A est abierta o la compuerta B est abierta.
d. La compuerta C est abierta.
e. Las compuertas A y C estn abiertas.
f. Las compuertas B y C estn abiertas.
g. No hay agua circulando por el desage D.
5. Seale, en las opciones del numeral anterior, la condicin o condiciones necesarias para que haya
riego en el cultivo. Destaque las implicaciones lgicas respectivas.
6. De acuerdo a lo determinado en los numerales 4 y 5, se pueden sealar algunas equivalencias?
81

7. Seale, en las opciones siguientes, la condicin o condiciones suficientes para que circule agua por
el desage D. Destaque las implicaciones lgicas respectivas.
a. La compuerta B est cerrada.
b. La compuerta C est cerrada.
c. La compuerta A est abierta.
d. El tanque 2 est lleno.
e. Las compuertas B y C estn cerradas.
f. El tanque est lleno y la compuerta A est abierta.
g. El tanque est lleno y la compuerta C est cerrada.
h. El tanque est lleno, la compuerta C est cerrada y la compuerta B est abierta.
i. El tanque est lleno, la compuerta A est abierta y la compuerta C est cerrada.
j. El tanque est lleno, la compuerta A est abierta y no hay riego en el cultivo.
8. Seale, en las opciones del numeral anterior, la condicin o condiciones necesarias para que circule
agua por el desage D. Destaque las implicaciones lgicas respectivas.
9. De acuerdo a lo determinado en los numerales 7 y 8, se pueden sealar algunas equivalencias?
10. Seale para cada una de las proposiciones dadas si es verdadera o falsa.
a. Si la compuerta B est abierta, entonces, hay riego en el cultivo.
b. Si la compuerta B no est abierta, entonces, no hay riego en el cultivo.
c. Si hay riego en el cultivo, entonces, la compuerta B est abierta.
d. Si no hay riego en el cultivo, entonces, la compuerta B no est abierta.
e. Si la compuerta A est abierta, entonces, hay riego en el cultivo.
f. Si la compuerta A no est abierta, entonces, no hay riego en el cultivo.
g. Si hay riego en el cultivo, entonces, la compuerta A est abierta.
h. Si no hay riego en el cultivo, entonces, la compuerta A no est abierta.
i. Si la compuerta A est abierta, entonces, la compuerta B est cerrada.
j. Si la compuerta A est cerrada, entonces, la compuerta B est abierta.
k. Si la compuerta B est cerrada, entonces, la compuerta A est abierta.
l. Si la compuerta B est abierta, entonces, la compuerta A est cerrada.
m. Si hay riego y la compuerta B est cerrada, entonces, la compuerta A est abierta.
n. Si hay riego y la compuerta B est cerrada, entonces, la compuerta C est abierta.
o. Si hay riego y la compuerta C est cerrada, entonces, la compuerta B est abierta.
p. Si la compuerta B est abierta, entonces, hay riego y la compuerta C est cerrada.
q. Si hay riego en el cultivo, entonces, la compuerta A est abierta o la compuerta B est abierta.
r. Si hay riego en el cultivo, entonces, la compuerta A est abierta o la compuerta C est abierta.
s. Si hay riego en el cultivo, entonces, la compuerta B est abierta o la compuerta C est abierta.
t. Si hay riego en el cultivo, entonces, las compuertas A y C estn abiertas.
u. Si las compuertas A y C estn abiertas, entonces, hay riego en el cultivo.
v. Si la compuerta A est cerrada o la compuerta C est cerrada, entonces, no hay riego en el cultivo.
w. Si no hay riego en el cultivo, entonces, la compuerta A est cerrada o la compuerta C est cerrada.
11. Con relacin a los literales del numeral anterior:
a. Tome como referencia la implicacin del literal a, e identifique en los literales siguientes las
implicaciones asociadas a ella (recproca, contraria, contrarrecproca).
b. Analice los valores de verdad de las implicaciones asociadas con respecto a la implicacin inicial.
82

 Qu puede concluirse del valor de verdad de una implicacin y el correspondiente a su recproca?

Qu puede concluirse del valor de verdad de una implicacin y el correspondiente a su contraria?
Qu puede concluirse sobre el valor de verdad de una implicacin y el correspondiente a su
contrarrecproca?
c. Proceda en forma similar a lo establecido en los literales a y b, para los dems grupos de literales restantes.
d. Puede usted establecer comportamientos similares en los diferentes grupos encontrados, que le
permitan formular leyes generales con respecto a las preguntas planteadas en el literal b?
e. Es posible determinar a partir de las implicaciones ilustradas, algunas equivalencias?
12. Asumiendo como verdadera la proposicin: "No hay riego en el cultivo", cul o cules de las siguientes proposiciones se pueden inferir lgicamente de ella?:
a. Hay agua circulando por el desage D.
b. Hay como mnimo dos compuertas cerradas.
c. Las compuertas A y C estn cerradas.
d. Las compuertas A y B estn cerradas.
e. Las compuertas B y C estn cerradas.
f. Las compuertas B y C estn cerradas o A est abierta y C est cerrada.
g. Hay dos compuertas cerradas y hay agua circulando por el desage D.
13. Indique, en cada caso, las conclusiones que se pueden inferir sobre los elementos especficos sealados, a partir de cada conjunto de premisas, teniendo siempre presente las condiciones iniciales del
problema.
14. Premisa: No hay riego en el cultivo, pero hay agua circulando por el desage D. Qu puede concluirse acerca de:
a. La compuerta A.
b. La compuerta B.
c. La compuerta C.
d. El tanque 2.
15. Premisa: Hay riego en el cultivo, pero la compuerta C est cerrada. Qu puede concluirse acerca
de:
a. La compuerta A.
b. La compuerta B.
c. La circulacin de agua por el desage D.
d. El estado del tanque 2.
e. El riego por aspersin.
f. El riego por inundacin.
16. Premisa: Hay riego en el cultivo, pero las compuertas A y B estn cerradas. Qu puede concluirse
acerca de:
a. La compuerta C.
b. La circulacin del agua por el desage D.
c. El estado del tanque 2.
d. El riego por aspersin.
e. El riego por inundacin.
83

17. Premisa: Hay riego en el cultivo. El tanque 2 est en la mitad y la compuerta B est abierta. Qu
puede concluirse acerca de:
a. La compuerta A.
b. La circulacin de agua por el desage D.
c. La compuerta C.
d. El riego por aspersin.
e. El riego por inundacin.
18. Premisa: Hay riego en el cultivo y la compuerta C est abierta. Qu puede concluirse acerca de:
a. La compuerta A.
b. La compuerta B.
c. La circulacin del agua por el desage D.
d. El riego por aspersin.
e. El riego por inundacin.
19. Premisa: Hay riego en el cultivo y solamente una compuerta est abierta. Qu puede concluirse
acerca de:
a. La compuerta A.
b. La compuerta C.
c. La compuerta B.
d. La circulacin de agua por el desage D.
e. El riego por aspersin.
f. El riego por inundacin.
20. Premisa: Hay riego en el cultivo y solamente dos compuertas estn abiertas. Qu puede concluirse
acerca de:
a. La compuerta A.
b. La compuerta C.
c. La compuerta B.
d. La circulacin de agua por el desage D.
e. El riego por aspersin.
21. Premisa: No hay riego en el cultivo y solo una compuerta est abierta. Qu puede concluirse acerca de:
a. La compuerta A.
b. La compuerta B.
c. La compuerta C.
d. La circulacin de agua por el desage D.
e. El nivel de agua en el tanque 2.
22. Premisas: No hay riego en el cultivo, el tanque est lleno y al menos una compuerta est cerrada.
Qu puede concluirse acerca de:
a. La compuerta A.
b. La compuerta B.
c. La compuerta C.
d. La circulacin de agua por el desage D.
23. Premisa: Hay dos compuertas cerradas pero el tanque est en la mitad. Qu puede concluirse acerca de:
84

a.
b.
c.
d.
e.
f.

La compuerta A.
La compuerta B.
La compuerta C.
La circulacin de agua por el desage D.
El riego por aspersin.
El riego por inundacin.

24. Premisas: Solamente una compuerta est abierta. No hay agua circulando por el desage D. Qu
puede concluirse acerca de:
a. La compuerta A.
b. La compuerta B.
c. La compuerta C.
d. El nivel del tanque.
e. El riego por aspersin.
f. El riego por inundacin.
25. Los conjuntos de premisas que se presentan en los siguientes numerales son inconsistentes. Elabore
para cada numeral una argumentacin que muestre una contradiccin especfica.
26. Premisas: Hay riego en el cultivo, la compuerta A est abierta y hay agua circulando por el desage
D.
27. Premisas: No hay riego en el cultivo, hay dos compuertas abiertas y el tanque est en la mitad.
28. Premisas: Hay agua circulando por el desage D. Hay riego en el cultivo.
29. Premisas: Hay riego por aspersin, dos compuertas estn cerradas y hay agua circulando por el desage D.
30. Premisas: Hay agua circulando por el desage D y dos compuertas estn abiertas.
31. Premisas: Slo una compuerta est abierta. No hay riego en el cultivo. El tanque est lleno y no hay
agua circulando por el desage D.
32. Pruebe que cada uno de los condicionales que se enuncian a continuacin son falsos, mostrando
como cuando el antecedente se asume verdadero, el consecuente es falso.
33. Si la compuerta B est abierta, entonces, no hay riego en el cultivo.
34. Si hay riego por aspersin o por inundacin y la compuerta C est cerrada, entonces, la compuerta
B est cerrada.
35. Si hay riego por aspersin o por inundacin y la compuerta A est abierta, entonces, hay riego por
inundacin.
36. Si la compuerta B est cerrada o la compuerta A est abierta, pero la compuerta C est cerrada, entonces, hay riego por aspersin o hay riego por inundacin.
37. Para cada una de los condicionales anteriores, asumidos como falsos, determine el valor de verdad
de las proposiciones simples que las integran.
38. Analice el siguiente condicional: "Si la compuerta A est abierta o la compuerta B est abierta y el
tanque est lleno con la compuerta C cerrada, entonces, hay agua circulando por el desage D.
Qu puede afirmarse sobre su valor de verdad?
39. Una discusin interesante. Entre Bernardo, que fue el constructor del sistema de riego y Jorge, uno
de los trabajadores del cultivo, se da el siguiente dilogo:
J: Yo creo que el sistema de riego, que usted dise, es bastante complicado y en muchas ocasiones, no funciona como uno espera.
B: A qu te refieres especficamente?
J: Pues vemoslo as:
Primero: Para que haya riego por aspersin, se necesitan siempre dos compuertas abiertas.
85

Segundo: En la poca de verano, cuando necesitamos alternar los dos sistemas de riego, esto es imposible.
Tercero: En la poca de inflorescencia del cultivo sera adecuado que pudiramos simultneamente
tener los dos sistemas funcionando en algn momento, pero esto no pasa de ser un buen deseo.
(Proponer el problema y escuchar y analizar posteriormente las intervenciones de los estudiantes).
Bernardo, que haba escuchado, con mucha atencin, las observaciones de Jorge, replic as:
Vamos por partes, como t bien lo has propuesto.
En relacin con el primer punto, tu argumento es impreciso y paso a explicrtelo as:
No son dos compuertas cualesquiera las que deben abrirse, y t puedes verificarlo. Las compuertas A y B? Imposible - afirm Jorge.
Las compuertas B y C? Jorge se qued pensativo.
En qu piensas? - pregunt Bernardo.
J: Creo que esta combinacin la ensay una vez, pero no funcion, y no sabra decir exactamente
por qu.
B: Obviamente en esta situacin hay riego por aspersin siempre y cuando el tanque no est vaco.
Adems, con ella resuelvo tu tercera inquietud, me entiendes?
J: Creo que s.
B: Desde luego, si A y C estn abiertas, esa es la solucin inmediata.
Ahora, no necesariamente se requieren las dos compuertas abiertas para que se d este riego, bastara con tener la compuerta C abierta siempre y cuando el tanque no est vaco. Digamos que, al menos con un cuarto de su capacidad, es suficiente para tener una buena presin y un buen riego.
Pasemos ahora al segundo punto:
Si dejamos la compuerta A abierta durante la noche, tendremos el tanque lleno en la maana. Podemos iniciar la jornada con el riego por inundacin solamente (Solo abrimos la compuerta B). Una
vez que se ha alcanzado el nivel deseado de humedad, por este medio, cerramos la compuerta B y
abrimos las compuertas A y C, iniciando el riego por aspersin; en esta forma, mantendremos un
buen volumen de agua en el tanque y podemos continuar as el ciclo de nuevo.
J: Creo todava que el sistema es algo complicado, pero funciona y, en cierta forma, es como un
juego en el cual hay que analizar todas las jugadas posibles antes de dar un paso; no obstante, el
juego es interesante y puede conducirnos a verdaderos retos en su solucin.
B: Estoy completamente de acuerdo contigo.
J: Se me ocurre que con algunas modificaciones podramos lograr un sistema mejor.
B: Te escucho.
6.2 MODELO 2. FUNCIONAMIENTO DE UNA HIDROELCTRICA
6.2.1 Objetivos
1. Presentar una nueva situacin problemtica mediante la cual el lector pueda consolidar y ampliar
los conceptos bsicos estudiados en el clculo proposicional.
2. Propiciar la autoevaluacin del lector en sus logros, dirigidos a obtener el dominio de los elementos
fundamentales, en las siguientes competencias:
Constitucin del esquema de la implicacin.
Anlisis de las argumentaciones, permitiendo descubrir la estructura lgica subyacente para diferenciar una argumentacin vlida de una argumentacin falaz.
Identificacin y manejo de las reglas de inferencia propias del clculo proposicional.
Aproximacin desde la argumentacin concreta, a la aplicacin de los mtodos de demostracin
fundamentales en los procesos deductivos: el mtodo directo, el mtodo de reduccin al absurdo
y el mtodo de casos.
86

3. Estimular la creatividad en el lector, mostrndole cmo puede plantear problemas importantes, a

partir de la observacin de procesos o situaciones sencillas, y cmo se enriquecen y se amplan las
posibilidades de indagar sobre un objeto particular de conocimiento, cuando se conocen los elementos esenciales del mismo.

El diagrama muestra el caudal de un ro (A) que surte a una represa (1), la cual permite el funcionamiento de una Hidroelctrica y el acueducto de una ciudad en la forma siguiente.
1. El agua almacenada en la represa pasa por una compuerta (D), situada en una torre de captacin, a
una tubera, y es conducida por sta a un generador (2) que al ser activado por la corriente de agua
produce la energa elctrica. Luego de activar el generador, el agua es recogida en un tanque (E), de
donde pasa directamente a la planta (F) para ser tratada y utilizada en el sistema de acueducto de la
ciudad (5). Siempre que llegue agua a (F) se garantiza el servicio de acueducto.
Solamente cuando el agua alcanza la altura del nivel mximo indicada como N.M. sobre la torre de
captacin, se abre la compuerta (B) para evitar que sta se desborde y cauce inundaciones; esta
compuerta conduce el excedente de agua por una tubera de descarga (C), que se utiliza solamente
en este caso, a un ro (G).
El nivel mximo puede alcanzarse como consecuencia de las siguientes situaciones: el caudal del
ro es muy grande debido a un fuerte invierno, o la compuerta (D) ha permanecido cerrada durante
mucho tiempo han coincidido ambas causas.
2. La energa producida por el generador (2) es transformada y distribuida simultneamente desde la
estacin (3) a un gran centro industrial (4) y a la ciudad (5) respectivamente. La distribucin se
efecta mediante dos sistemas independientes, compuestos por las lneas de transmisin y sus torres
de soporte correspondientes.
3. La suspensin del servicio de energa en el centro industrial en la ciudad puede ser causada por
cualquiera de las situaciones que se describen a continuacin y que se clasifican as:
6.2.2 Fallas originadas en el sistema de generacin
1. Dao en el generador o suspensin de su funcionamiento para efectuar trabajos de mantenimiento
preventivo en el mismo. En ambos casos el generador puede aislarse del sistema y el agua continua
87

circulando desde la compuerta (D) hasta la planta (F), pasando desde luego por (E), para no suspender el servicio de acueducto.
2. Cierre de la compuerta (D) por dao o necesidad de mantenimiento de la tubera de conduccin al
generador. En este caso se suspende el servicio de acueducto al cerrarse la nica fuente de suministro.
3. Altura del agua en la represa por debajo del nivel crtico, indicado en la torre de captacin como
N.C. En este caso el nivel de agua puede ser tan bajo, que no alcanza siquiera a ingresar el agua por
la compuerta (D), o si hay ingreso de agua, es tan baja la presin de la tubera que no permite el
funcionamiento del generador. Esta situacin es originada por un intenso verano.
6.2.3 Fallas originadas en los sistemas de transformacin o de transmisin de la energa
1. Daos en la estacin de transformacin y distribucin (3).
2. Cada de las lneas de transmisin.
3. Cada de las torres soporte de las lneas de transmisin.
Las anteriores situaciones descritas, son las nicas que pueden generar la suspensin del servicio de la
energa elctrica.
6.3 ACTIVIDADES
1. De las situaciones que se describen a continuacin, indique cules son posibles y cules no lo son,
en las condiciones de funcionamiento descritas en el problema. Argumente en forma breve su respuesta.
a. Est llegando agua a la planta (F) pero no hay generacin de electricidad.
b. Hay generacin de electricidad pero no est llegando agua a la planta (F).
c. La compuerta (D) est abierta y no hay generacin de electricidad.
d. La compuerta (D) est abierta y no est llegando agua a la planta (F).
e. Las compuertas (B) y (D) estn abiertas.
f. Hay agua circulando por la tubera de descarga (C) pero no est llegando agua a la planta (F).
g. Hay servicio de acueducto en la ciudad pero no hay servicio de electricidad.
h. Hay generacin de electricidad pero no hay servicio de electricidad en el centro industrial.
i. Hay servicio de electricidad en la ciudad pero no lo hay en el centro industrial.
j. La compuerta (D) est abierta, hay circulacin de agua por la tubera de descarga, pero no hay
suficiente presin en la tubera de conduccin al generador.
k. Hay dos compuertas abiertas pero no hay circulacin de agua por la tubera de descarga.
l. Hay solamente una compuerta cerrada, hay agua circulando por la tubera de descarga (C) y hay
servicio de acueducto en la ciudad.
m. Hay solamente una compuerta cerrada, no hay agua circulando por la tubera de descarga (C), ni
hay agua circulando por (E).
n. Hay servicio de electricidad en el centro industrial, pero no hay servicio de electricidad ni de
acueducto en la ciudad.
o. La altura del agua en la represa est por encima del N.C., solo una compuerta est abierta pero
no hay servicio de acueducto.
p. Las torres y lneas de transmisin que conducen la energa a la ciudad estn en buen estado, hay
servicio de energa elctrica en el centro industrial pero no lo hay en la ciudad.
q. La altura del agua en la represa est por encima del N.C., el generador no presenta daos, hay
agua circulando por (E) pero no hay generacin de electricidad.
r. Hay generacin de electricidad, slo una compuerta est abierta y el agua est circulando por la
tubera de descarga.
88

s. El generador est en buen estado y no est sometido a mantenimiento, la altura del agua est por
encima del nivel crtico pero no hay generacin de electricidad.
t. La tubera de conduccin al generador se encuentra sometida a tareas de mantenimiento, pero
hay servicio de acueducto en la ciudad.
2. Hoy no ha llegado agua a la planta (F), seale en las opciones siguientes cul o cules de ellas son
causa de este hecho.
a. Hay un dao en el generador.
b. No hay servicio de acueducto en la ciudad.
c. Hay agua circulando por la tubera de descarga.
d. La altura del agua en la represa est bastante abajo del N.C.
e. No hay servicio de electricidad en el centro industrial.
f. La compuerta (D) est cerrada.
g. El generador est sometido a labores de mantenimiento.
h. La tubera de conduccin al generador est siendo sometida a labores de mantenimiento.
i. Hay un dao en la estacin de transformacin y distribucin.
3. Hoy no hay servicio de electricidad en la ciudad, seale en las opciones siguientes cul o cules de
ellas son causa de este hecho.
a. La altura del agua en la represa alcanz el N.M.
b. La altura del agua en la represa est por debajo del N.C.
c. Una torre del sistema de transmisin se cay.
d. La compuerta (D) est abierta y fall el generador.
e. El generador est en buen estado y la compuerta (D) est cerrada.
f. Solamente una compuerta est abierta y hay agua circulando por la tubera de descarga.
g. Se cayeron las lneas de transmisin entre la estacin y la ciudad.
h. La compuerta (D) est abierta y no hay agua circulando por (E).
i. No hay generacin de electricidad.
j. No hay servicio de electricidad en el centro industrial.
4. Hoy no hay generacin de electricidad. Indique 5 situaciones diferentes que pueden causar este
hecho.
5. Hay dos compuertas abiertas, cual o cules de las opciones siguientes son consecuencias exactas de
este hecho.
a. Hay generacin de electricidad.
b. Hay servicio de electricidad en la ciudad y en el centro industrial.
c. La altura del agua en la represa supera el N.C.
d. El caudal del ro (A) es muy grande debido al fuerte invierno.
e. Hay circulacin de agua por la tubera de descarga.
f. Hay servicio de acueducto en la ciudad.
6. Seale en las opciones siguientes, la condicin o condiciones suficientes para que haya servicio de
electricidad en la ciudad. Destaque las implicaciones lgicas respectivas.
a. La compuerta (D) est abierta.
b. El generador est funcionando correctamente.
c. Las torres de soporte y las lneas de transmisin entre la estacin de transformacin y la ciudad,
se encuentran bien.
d. La compuerta (B) est cerrada.
89

e. El generador est funcionando y la estacin de transformacin y distribucin se encuentra en

buen estado.
f. Hay servicio de acueducto a la ciudad.
g. Hay generacin de energa, la estacin de transformacin y distribucin funciona correctamente
y las torres de soporte con sus lneas de transmisin entre la estacin y la ciudad se encuentran
en buen estado.
h. Hay servicio de energa elctrica en el centro industrial.
i. El caudal del ro (A) es muy grande debido al fuerte invierno.
j. Las torres de soporte con sus lneas de transmisin entre la estacin y la ciudad se encuentran
en perfecto estado y hay servicio de energa elctrica en el centro industrial.
7. Seale en las opciones del numeral anterior, la condicin o condiciones necesarias para que haya
servicio de electricidad en la ciudad. Destaque las implicaciones lgicas respectivas.
8. De acuerdo a lo determinado en los numerales 9.8.6 y 9.8.7, se pueden sealar algunas equivalencias?
9. Indique 5 condiciones suficientes para que haya servicio de acueducto en la ciudad. Enuncie las
implicaciones lgicas respectivas.
10. Indique 2 condiciones necesarias para que haya servicio de acueducto en la ciudad. Enuncie las
implicaciones lgicas respectivas.
11. De acuerdo a lo indicado en los numerales 9 y 10, se pueden sealar algunas equivalencias?
12. Seale para cada una de las proposiciones dadas si es verdadera o falsa.
a. Si la compuerta (D) est abierta, entonces, hay generacin elctrica.
b. Si hay generacin elctrica, entonces, la compuerta (D) est abierta.
c. Si la compuerta (D) est cerrada, entonces, no hay generacin elctrica.
d. Si no hay generacin elctrica, entonces, la compuerta (D) est cerrada.
e. Si hay servicio de electricidad en la ciudad, entonces, hay generacin de energa.
f. Si no hay servicio de electricidad en la ciudad, entonces, no hay generacin de energa.
g. Si hay generacin de energa, entonces, hay servicio de electricidad en la ciudad.
h. Si no hay generacin de energa, entonces, no hay servicio de electricidad en la ciudad.
i. Si el generador est funcionando, entonces, hay servicio de acueducto en la ciudad.
j. Si el generador no est funcionando, entonces, no hay servicio de acueducto en la ciudad.
k. Si hay servicio de acueducto en la ciudad, entonces, el generador est funcionando.
l. Si no hay servicio de acueducto en la ciudad, entonces, el generador no est funcionando.
m. Si hay servicio de energa en la ciudad, entonces, las torres y las lneas de transmisin, entre la
estacin y la ciudad, estn en buenas condiciones.
n. Si no hay servicio de energa en la ciudad, entonces, las torres y las lneas de transmisin, entre
la estacin y la ciudad, no estn en buenas condiciones.
o. Si las torres y las lneas de transmisin entre la estacin y la ciudad, estn en buen estado, entonces, hay servicio de energa en la ciudad.
p. Si las torres y las lneas de transmisin entre la estacin y la ciudad, no estn en buen estado,
entonces, no hay servicio de energa en la ciudad.
13. Con relacin a los literales del numeral anterior:
a. Tome como referencia el condicional del literal a, e identifique en los tres literales siguientes,
los condicionales asociados a l (recproco, contrario, contrarrecproco).
b. Analice los valores de verdad de los condicionales asociados con respecto al condicional inicial.
Qu puede concluirse del valor de verdad de un condicional y el correspondiente a su recproco?
90

 Qu puede concluirse del valor de verdad de un condicional y el correspondiente a su contrario?

Qu puede concluirse del valor de verdad de un condicional y el correspondiente a su contrarrecproco?
c. Proceda en la misma forma indicada en a y b, con los grupos de cuatro condicionales encabezados respectivamente por los condicionales e, i y m.
14. Asumiendo como verdaderas las siguientes proposiciones: "Hay servicio de acueducto en la ciudad
y hay servicio de electricidad en el centro industrial, pero no hay servicio de electricidad en la ciudad". Cul o cules de las siguientes afirmaciones, se pueden inferir lgicamente de ellas.
a. La estacin de transformacin y distribucin est fuera de servicio.
b. El generador est sometido a labores de mantenimiento.
c. El nivel de agua en la represa est por debajo del N.C.
d. La tubera de conduccin al generador est sometida a labores de mantenimiento.
e. Hay al menos una lnea de transmisin cada, o una torre derrumbada, en el sistema de conduccin entre la estacin y la ciudad.
f. Hay una falla en el sistema de generacin de la energa.
15. Asumiendo como verdaderas las proposiciones siguientes: "Solamente una compuerta est abierta,
la temporada de lluvias ha permitido un buen volumen de agua en la represa, no hay agua circulando por la tubera de descarga". De las afirmaciones que se dan a continuacin, seale la nica de la
cual se tiene certeza.
a. La compuerta (B) est abierta.
b. Hay generacin de electricidad.
c. Hay servicio de electricidad en la ciudad y en el centro industrial.
d. La altura del agua en la represa corresponde al N.M.
e. Hay servicio de acueducto en la ciudad.
f. Hay servicios de electricidad y de acueducto en la ciudad.
16. Indique, en cada caso, las conclusiones que se pueden inferir sobre los elementos especficos sealados, a partir de cada conjunto de premisas, teniendo presente las condiciones del problema.
17. Premisas: Hay servicio de energa en el centro industrial. Una torre y sus lneas correspondientes,
en uno de los sistemas de conduccin, se han cado. El verano ha sido moderado y se esperan lluvias para el prximo mes. Qu puede concluirse acerca de:
a. La compuerta (B).
b. La altura del agua en la represa con referencia a los niveles: N.C y N.M.?
c. La compuerta (D).
d. El funcionamiento del generador.
e. El estado de la estacin de transformacin y distribucin.
f. El servicio de energa elctrica en la ciudad.
g. El estado de las torres y las lneas de transmisin, entre la estacin y el centro industrial.
h. El estado de las torres y las lneas de transmisin, entre la estacin y la ciudad.
i. El servicio de acueducto en la ciudad.
j. La circulacin de agua por la tubera de descarga.
18. Premisas: El verano ha sido muy intenso y an no se pronostican lluvias. Hay una compuerta abierta. No est llegando agua a la planta (F). Qu puede concluirse acerca de:
a. La compuerta (B).
b. La altura del agua en la represa con referencia a los niveles N.M. y N.C.
91

c.
d.
e.
f.
g.
h.
i.
j.
k.

La compuerta (D).
El funcionamiento del generador.
El estado de la estacin de transformacin y distribucin.
El servicio de energa elctrica en la ciudad.
El servicio de energa elctrica en el centro industrial.
El estado del sistema de transmisin entre la estacin y la ciudad.
El estado del sistema de transmisin entre la estacin y el centro industrial.
El servicio de acueducto a la ciudad.
La circulacin de agua por la tubera de descarga.

19. Premisa: Est llegando agua a la planta (F). Qu puede concluirse acerca de cada uno de los literales del numeral anterior?
20. Los conjuntos de premisas que se presentan en los siguientes numerales son inconsistentes. Elabore
para cada numeral una argumentacin que muestre una contradiccin especfica.
21. Premisas: Solamente una compuerta est abierta. Hay servicio de acueducto en la ciudad y hay agua
circulando por la tubera de descarga.
22. Premisas: Se ha reportado la cada de dos lneas de transmisin. La tubera de conduccin al generador est sometida a trabajos de mantenimiento. Solamente una compuerta est abierta. La altura
del agua en la represa est en la mitad entre los niveles N.M. y N.C.
23. Premisas: Hay servicio de energa en la ciudad y en el centro industrial. Hay agua circulando por la
tubera de descarga. No hay servicio de acueducto en la ciudad.
24. Premisas: Hay servicio de acueducto en la ciudad. Se ha reportado la cada de una torre y sus lneas
en el sistema de transmisin entre la estacin y la ciudad. Hay servicio de energa elctrica en el
centro industrial y en la ciudad.
25. Se presentan a continuacin dos proposiciones referentes a la situacin problema con sus correspondientes argumentaciones ("demostraciones") en las que se respaldan. Proceda en la siguiente
forma frente a cada argumentacin:
Analice cada uno de los literales que la integran, y determine si la afirmacin que se hace es correcta y si es coherente dentro del conjunto total de las proposiciones que integran la argumentacin. Si encuentra que la argumentacin es coherente y que permite una conexin lgica entre
la hiptesis (premisa) y la conclusin; es decir que la argumentacin es vlida, selela. Si encuentra alguna falla en la estructura de la "demostracin" indquelo sealando explcitamente
cul es la causa de ella.
Simbolice adecuadamente cada enunciado y cada uno de los literales en el orden exacto que se
presentan y mediante las reglas de validez e inferencia, estudiadas en el Captulo N.3, justifique
al frente de cada una, la razn de su presencia en la argumentacin. Determine en esta forma si
la argumentacin es vlida o no lo es, y confronte su resultado con el correspondiente al anlisis
inmediatamente anterior.
26. Proposicin. Si no hay servicio de energa en la ciudad, entonces, no hay servicio de energa en el
centro industrial. Argumentacin:
a. No hay servicio de energa en la ciudad. Premisa.
b. Si hay servicio de energa en la ciudad, entonces, hay generacin de energa.
c. Si no hay servicio de energa en la ciudad, entonces, no hay generacin de energa.
d. No hay generacin de energa.
e. Si no hay generacin de energa, entonces, no hay servicio de energa en la ciudad y no hay servicio de energa en el centro industrial.
f. No hay servicio de energa en la ciudad y no hay servicio de energa en el centro industrial.
g. No hay servicio de energa en el centro industrial. Conclusin.
92

27. Proposicin. Si no llega agua a la planta (F), entonces, no hay generacin de energa elctrica.
a. No llega agua a la planta (F). Premisa.
b. Si no llega agua a la planta (F) entonces la compuerta (D) est cerrada o la compuerta (D) est
abierta y la altura del agua en la represa est por debajo del N.C.
c. La compuerta (D) est cerrada o la compuerta (D) est abierta y la altura del agua en la represa
est por debajo del N.C.
d. Si la compuerta (D) est cerrada, entonces, no hay circulacin de agua por la tubera de conduccin al generador y no se activa el generador.
e. Si no se activa el generador, entonces, no hay generacin de energa elctrica.
f. Si la compuerta (D) est cerrada, entonces, no hay generacin de energa elctrica.
g. Si la compuerta (D) est abierta y la altura del agua en la represa est por debajo del N.C., entonces, el agua no alcanza a ingresar por (D) si el agua ingresa por (D), su presin es tan baja
que no permite el funcionamiento del generador.
h. Si el agua no alcanza a ingresar por (D), entonces, no hay circulacin de agua por la tubera de
conduccin al generador y no se activa el generador.
i. Si el agua no alcanza a ingresar por (D), entonces, no hay generacin de energa elctrica.
j. Si no se permite el funcionamiento del generador, entonces, no hay generacin de energa elctrica.
k. Si la compuerta (D) est abierta y la altura del agua en la represa est por debajo del N.C., entonces, no hay generacin de energa elctrica.
l. No hay generacin de energa elctrica. Conclusin.
28. Revise la proposicin demostrada en el numeral anterior, observe bien su estructura y analice si es
posible elaborar una demostracin mucho ms breve utilizando otro mtodo de demostracin.

93