Logica Matematica Ucc Cap 1

NOTAS DE CLASE
Una introduccin a la lgica matemtica para ciencia e ingeniera
Perfil del autor.

Cicern Jimnez-Sierra, Especialista en Matemtica Avanzada, Magister en Educacin y
Desarrollo Humano, profesor instructor del programa de Ingeniera Industrial, Universidad
Cooperativa, sede Neiva, Colombia. Correo ciceron.jimenez@campusucc.edu.co .
Resumen
Este texto est escrito pensando en los estudiantes de ingeniera, matemticas, filosofa o de
cualquier programa cientfico a nivel de pregrado. Tiene como propsito ilustrar
tericamente y con bastantes ejemplos los procesos de razonamiento deductivo e inductivo,
la aplicacin de la lgica a la ingeniera y a la teora de conjuntos. Su contenido comprende
cuatro unidades: Clculo proposicional, lgebra de Bool, Lgica de Predicados de primer
orden y Teora de conjuntos.
Cicern Jimnez Sierra
PREFACIO
En las ciencias exactas y de ingeniera el estudiante desarrolla varias competencias; este texto
tiene como propsito implementar aquellas relacionadas con el pensamiento lgico. Una de
ellas es la comunicacin matemtica, en la cual se apropia de la simbologa y trminos
propios del lenguaje matemtico que lo capacita para leer y escribir un texto en este lenguaje
y el cientfico. As mismo, desarrolla las competencias de razonamiento y argumentacin
a travs del trabajo matemtico, por lo cual necesita inicialmente la comprensin de algunos
elementos bsicos de la teora de la deduccin, indispensables para entender los procesos del
desarrollo de la actividad matemtica para pensar con rigor y precisin, justificando
afirmaciones. Pero su competencia matemtica debe trascender hasta la modelacin de
situaciones problemticas y el planteamiento y soluciones de problemas.
El desarrollo de estas tres competencias, por si solas, amerita un estudio breve de los
fundamentos de lgica matemtica y teora de conjuntos; adems por sus aplicaciones en el
lgebra de Bool en circuitos electrnicos y otras situaciones problemticas que apoyan el
estudio de las probabilidades.
El mdulo Una introduccin a la Lgica Matemtica para estudiantes de las ciencias y de
ingeniera, presenta una propuesta de cmo abordar estos temas en un primer semestre en
forma elemental en programas de ciencias exactas, ciencias de la educacin, de ingenieras e
incluso en derecho. De acuerdo al (ICFES y MEN, 2010), los aportes propios del trabajo
matemtico escolar a la formacin de un profesional consiste en hacerlo competente en
comunicacin y representacin matemtica, razonamiento y argumentacin, y en la
modelacin y resolucin de problemas. Siguiendo esta directriz, el texto desarrolla los
conceptos bsicos de la lgica matemtica, suficientes para iniciar sistemticamente el
proceso de desarrollo de habilidades que permite al estudiante leer y escribir textos
matemticos, por lo cual, hace un aporte al desarrollo de competencia comunicativa
matemtica. A medida que progresa la temtica, se desarrollan tambin habilidades en el
proceso de comprensin y solucin de problemas con enfoques de pensamiento convergente
y divergente.
El autor
Clculo Proposicional
LGICA PROPOSICIONAL.
Muchas palabras no dan prueba del hombre sabio,
porque el sabio no ha de hablar sino cuando la necesidad
demanda, y las palabras han de ser medidas y
correspondientes a la necesidad
Thales de Mileto
TEMAS
Pag.
INTRODUCCIN
6
1.1 CONCEPTOS FUNDAMENTALES DE LA LGICA MATEMTICA
8
1.1.1 La proposicin y su papel en las matemticas. Porceso de verificacin de la
8
verdade de una proposicin.
Prctica 1.1
10
Prctica 1.2
17
Prctica 1.3
20
1.1.2 Conectivos y operaciones proposicionales
21
1.1.2.1 Negacin
22
1.1.2.2 Conjuncin
23
1.1.2.3 Disyuncin
27
1.1.2.4 Condicional o Implicacin
29
Prctica 1.4
32
1.1.2.5 Bicondicional o Equivalencia
34
Prctica 1.5
36
1.1.3 Negacin de las operaciones lgicas
37
1.1.3.1 Negacin de la Conjuncin o Primera ley de De Morgan
37
1.1.3.2 Negacin de la Disyuncin o Segunda ley de De Morgan
37
1.1.3.3 Negacin del Condicional o Implicacin
39
1.1.3.4 Negacin del Bicondicional o Equivalencia
41
Prctica 1.6
43
1.2 FRMULAS BIEN FORMADAS O FBF
46
1.2.1 Conceptod fundamentales
47
1.2.2 Tautologa
52
1.2.3 Contradiccin
52
Prctica 1.7
53
1.2.4 Implicaciones Tautolgicas
54
Prctica 1.8
55
1.2.5 Equivalencias tautolgicas
56
Prctica 1.9
58
1.3 DEDUCCIN O INFERENCIA
58
1.3.1 Leyes o Reglas de inferencia
61
1.3.2.1 Ley de razonamiento Modus Ponendo Ponens
61
1.3.2.2 Ley de razonamiento Modus Tollendo Tollens
67
1.3.2.3 Ley de razonamiento Modus Tollendo Ponens

1.3.2.4 Ley de razonamiento Simplificacin
1.3.2.5 Ley de razonamiento Adjuncin
1.3.2.6 Ley de razonamiento Simplificacin Disyuntiva
1.3.2.7 Ley de razonamiento Adicin
1.3.2.8 Ley de razonamiento Silogismo Hipottico
1.3.2.9 Ley de razonamiento Silogismo Disyuntivo
1.4.1 Mtodos de demostracin de la validez de un razonamiento por reduccin al
abasurdo
1.4.1.1 Mtodo Directo
Prctica 1.10
1.4.1.2 Mtodo Indirecto por reducci al absurdo
Prctica 1.11
1.5 BIBLIOGRAFIA
72
75
76
78
79
80
82
84
84
89
92
94
95
Aristteles. Estagira, 384 - Calcis, 322 aC.

Informacin tomada de Gnesis y evolucin del pensamiento cientfico. Documento de
Henri Poincar disponible en http://www.euclides.org/menu/articles/article101.htm
Biografa y Vidas: http://www.biografiasyvidas.com/biografia/c/cantor.htm .
Filsofo griego. Hijo del mdico real de
Macedonia, estuvo veinte aos en la Academia
de Platn, primero como discpulo y luego como
investigador y como tutor. Acept de Filipo II de
Macedonia el cargo de preceptor de Alejandro,
de 13 aos, quien siempre conservara un gran
respeto por su
maestro, le
apoyara
econmicamente e incluso le mandara desde el
Indo ejemplares de la fauna y de la flora de su
imperio. En Atenas fund el Liceo, donde
enseaba paseando, de ah el nombre de
escuela
peripattica,
segua
sus
investigaciones y anlisis de datos, correspondientes a los ms diversos
campos (arte dramtico, constituciones polticas, deportes olmpicos,
zoologa), y elaboraba una veintena de obras. Sin embargo, al morir
Alejandro a los 33 aos, el clan de Demstenes (autor de las Filpicas y, por
tanto, enemigo de Aristteles) se envalenton y el Estagirita volvi a decidir
su partida, para ahorrar a los atenienses un segundo atentado contra la
filosofa (el primero lo haban cometido con Scrates). Al ao siguiente,
mora en Eubea de lcera de estmago.
Los tratados de lgica de Aristteles, conocidos como Organn, contienen el

primer tratado sistemtico de las leyes de pensamiento para la adquisicin
de conocimiento. Representan el primer intento serio que funda la lgica
como ciencia. Aristteles no hace de la lgica una disciplina metafsica sino
que establece correspondencias recprocas entre pensamiento lgico y
estructura ontolgica. El silogismo fue adoptado por los escolsticos que
representan el sistema teolgico-filosfico, caracterstico de la Edad Media.
La escolstica, sin embargo, acab por sobrecargar la teora del silogismo,
lo que acarre su descrdito a partir del Renacimiento. Los lgicos de la
edad moderna como Rame, Arnauld, Nicole, Leibniz, Euler, y Lambert
procuraron simplificarla al mximo, y su tratamiento matemtico se
complet hasta principios del siglo XX con Boole, De Morgan, Frege y
Russell. Desde entonces el silogismo se incluye en la lgica de predicados
de primer orden y en la lgica de clases, y ocupa en la ciencia lgica un
papel mucho menor que en otros tiempos.
1.0 INTRODUCCIN
Con seguridad usted se ha preguntado alguna vez, qu es pensar con lgica, cundo un
pensamiento es lgico o cundo una persona piensa con lgica; quizs haya observado cmo
hablan las personas que han perdido la razn.
Puede considerarse que un pensamiento es lgico cuando ste tiene sentido y coherencia con
lo que se sabe y es libre de ambigedades. Por tanto, se asocia lo lgico con sacar
conclusiones siempre verdaderas a partir de la relacin de proposiciones verdaderas. As por
eejmplo, la lgica tiene que ver con la comprensin de un problema, es decir, con el poder
determinar y relacionar los datos conocidos con las incgnitas del problema. Ilustremos esto
con dos problemas.
El primero. En cierto pas donde la ejecucin de un condenado a muerte solamente puede
hacerse mediante la horca o la silla elctrica, se da una situacin que permite a un cierto
condenado librarse de ser ejecutado, mediante el uso adecuado de su lgica. Llega el
momento de la ejecucin y sus verdugos le piden que hable, y le manifiestan: Si dices una
verdad, te mataremos en la horca, y si mientes te mataremos en la silla elctrica. El
preso hace entonces una afirmacin que deja a los verdugos tan perplejos que no pueden, sin
contradecirse, matar al preso ni en la horca, ni en la silla elctrica. Cul es la afirmacin que
hizo el reo?
El reo afirma: Me van a matar en la silla elctrica. Y piensan los verdugos: si es verdad
lo que ha dicho, no podemos matarlo en la silla elctrica, puesto que esta forma de ejecucin
habamos quedado en reservarla para el caso de que mintiera. Si es falso lo afirmado, no
puede ir a la horca, pues all terminan los que dicen una verdad.
El segundo. En una mesa hay tres sombreros negros y dos blancos. Tres seores en fila india
se ponen un sombrero al azar cada uno y sin mirar el color.
Se le pregunta al tercero de la fila, quien puede ver el color del sombrero del segundo y del
primero, si puede decir el color de su sombrero, a lo que responde negativamente. Se le
pregunta al segundo quien ve solo el sombrero del primero y tampoco puede responder a la
pregunta. Por ltimo el primero de la fila quien no ve ningn sombrero responde
acertadamente de qu color es el sombrero que tena puesto. Cul es este color y cul es la
lgica que us para saberlo?
Una solucin es la siguiente. El ltimo de la fila puede ver el color del sombrero de sus
compaeros, si no puede saber cul es el color del suyo es porque los otros dos no son
blancos, por lo que o son los dos negros o es uno de cada color. El segundo de la fila puede
ver el color del sombrero del primero y ya ha deducido lo que pens el tercero, si tampoco
responde a la pregunta es porque ve que el color del primero es negro, si fuera blanco sabra
que el suyo es negro. El primero por ese mismo planteamiento deduce que su sombrero es
negro .
Despus de solucionar un problema como los anteriores nos debemos sentir seducidos a
reflexionar sobre qu, cmo, cundo, para qu y por qu razonamos; cmo sabemos si eso
que pensamos es vlido o correcto y por tanto aprobado por todos; en sntesis qu es la lgica
y cmo se estructura como lenguaje al servicio de la ciencia en general. Eso que llamamos
lgica est ntimamente relacionado con una reflexin profunda o razonamiento, lo cual
ocurre frecuentemente en el da a da de toda persona sin darse cuenta.
En el problema inmediatamente anterior, el hombre de la tercera fila para responder que no
poda decir cul era el color de su sombrero razon: si por delante de mi hubieran dos
sombreros blancos entonces mi sombrero sera negro. Pero, como no es as, no s cul
es el color de mi sombrero.
A travs del tiempo han existido muchos pensadores que soaron con formalizar la lgica; el
primero en el mundo occidental en intentarlo fue Aristteles (384 a.C). George Bool 17791848 matematiz la lgica dndole el toque formal aplicable a la ingeniera.
1.1 CONCEPTOS FUNDAMENTALES DE LOGICA

MATEMATICA
Formalizacin de las Matemticas. Guiseppe
Peano
Esta etapa se caracteriza por el resurgimiento de la formalizacin rigurosa
de las matemticas, que en la etapa clsica griega fu representativa. El
uso de los infenitesimales fue una de las prcticas ms notoria en la poca
renacentista, para la cual no se ofreca una justificacin. La rigorizacin del
anlisis lleg con la eliminacin de los infinitesimales y la presencia de los
lmites como argumento. En este periodo se crea la lgica simblica, la
escuela formal, la lgica booleana, el clculo proposicional, la induccin
matemtica, el clculo de secuentes,.... Personajes muy notables de esta
etapa son: Peano, Hilbert, Frege, Boole, de Morgan, Gentzen, Russell, Gdel
y Whitehead. A Rusell y Gdel se deben los planteamientos de las limitantes
de la lgica y de la ciencia en general.
Guiseppe Peano
La enunciacin de los principios del italiano Guiseppe Peano, 1858-1932,
acerca de lgica matemtica y su aplicacin prctica quedaron contenidos
en su obra Formulaire de mathematiques. Los axiomas de Peano permiten
definir el conjunto de los nmeros naturales.
La proposicin y su papel en las matemticas. Proceso de

verificacin de la verdad de una proposicin
Clculo Proposicional. El Clculo Proposicional constituye un lenguaje como tantos de los
que el ser humano ha creado. Para su construccin se parte del lenguaje ordinario, en nuestro
caso el espaol; abstraemos aquellas frases con sentido completo que tienen la propiedad de
ser verdaderas o falsas, las llamadas proposiciones; se simbolizan con cualquier letra del
alfabeto espaol p, q, r, s, t y as sucesivamente. Son proposiciones p: 2 es nmero par,
q: 2 es nmero primo, como tambin r: 2 es nmero par y primo. Las frases pertenecen al
lenguaje espaol con un contenido matemtico mientras que las letras que simbolizan las
proposiciones al lenguaje Clculo Proposicional, constituyendo el alfabeto de este nuevo
lenguaje. Las expresiones siguientes no son proposiciones porque carecen de sentido
completo, al no hacerse afirmacin alguna: Neiva, El lunes es, 8 + 7 y Simn Bolvar
el Libertador de cinco naciones. Tampoco son proposiciones, debido a que no se les puede
asignar el valor de verdad verdadero o falso, aunque tienen sentido completo: Hola!,
Cmo te va?, Por favor, mrame a los ojos y x + 6 = 10.
Una frmula matemtica sintetiza una proposicin considerada verdadera por toda la
comunidad matemtica. En la tabla 1, se dan algunas proposiciones matemticas en forma de
h b1 b2
frmulas. Por ejemplo, A
abrevia El rea A de un trapecio es el semiproducto
2
de la altura h y la suma de las bases b1 y b2 . En la siguiente tabla se presenta algunas
frmulas que representan proposiciones de uso frecuente en el trabajo matemtico.
b: base
h: altura
b: base
h: altura
L: lado
b: base
h: altura
D: Diagonal mayor
d: diagonal menor
b, b: bases
h: altura
RECTNGULO
A bh
ROMBOIDE
A bh
CUADRADO
A L2
TRIANGULO
ROMBO
TRAPECIO
bh
2
Dd
2
(b b ') h
2
10
a: apotema
R: radio
L: lado
POLIGONO
REGULAR
CIRCULO
Tabla 1. Proposiciones matemticas sintetizadas en frmulas matemticas. Por ejemplo,

sintetiza El rea A de un crculo es el producto del nmero pi con el cuadrado del radio.
Pa
2
A R2
A R
Prctica 1.1
"El xito no es para quienes se quedan pensando eternamente que
pueden hacer algo sino para quienes emprenden acciones para
hacerlo"
1. Las siguientes proposiciones se refieren a propiedades de los polgonos acerca de las

reas, segn la Tabla 1. Completar las expresiones para que sean proposiciones
verdaderas.
a: El rea de un rectngulo es el _____________ de su base y su altura.
b: El rea de un paralelogramo es el producto de su base y su ____________ .
c: El permetro de un polgono cualquiera es la______de las longitudes de los lados.
d: El rea de un rombo es ______________ de las diagonales.
e: El rea de un tringulo es el semiproducto de la base y su _____________.
f: El rea de un trapecio es el semiproducto de _______ y la suma de las bases.
g: El rea de un polgono regular es el semiproducto del ________ y su apotema.
h: El rea de un crculo es ________________del nmero pi y el cuadrado del radio.
i: El radio de una circunferencia de 2 cm de longitud es________ y el rea de su
crculo es __________________.
j: El permetro de un crculo o longitud de una circunferencia es el duplo del producto
del nmero pi y ______________.
2. Asigne el valor de verdad a las proposiciones contextualizadas en el rea de polgonos,
de acuerdo a la Tabla 1.
El rea de un rectngulo de base 12,5 cm y de altura 10 cm es 125
p:
V
cm2
El rea de un tringulo de base 12,5 cm y de altura 10 cm es 62,2
q:
F
cm2
11
r : El rea de un rombo de diagonales 4,5 cm y 8 cm es 40 cm2

s : El rea de un crculo de radio 5 cm es 25 cm2.
El rea de un trapecio de bases 6cm y 4cm y de altura 10cm es
t:
80cm2.
El rea de un pentgono regular de apotema 3cm y lado 8cm es 60
u:
cm2.
v : El lado de un cuadrado de 64cm2 de rea es 5cm.
( )
( )
( )
( )
( )
3. Resolver los problemas siguientes

a. A un experto joyero le llevan cuatro trozos de cadena, de tres eslabones cada uno,
para que los una formando una pulsera. Para ello, dijo el joyero, tendr que cortar
cuatro eslabones, uno de cada trozo, para engarzar los trozos y soldar a continuacin
cada eslabn cortado. Tendr, en definitiva, que hacer cuatro cortes y cuatro
soldaduras. Pero la persona que le encarga el trabajo dice: No, no es necesario hacer
cuatro empalmes. Puede formarse la pulsera con solo tres. Cmo podra hacerse
esto?
b. El amigo Leonardo tiene doce monedas, pero sabe que una de ellas es falsa, porque
que tiene un peso mayor que el peso de cada una de las restantes. Le dicen que use
una balanza y que con solo tres pesadas averige cul es la moneda de peso diferente.
Cmo lo hace?
c.
Cul nmero corresponde a la ltima casilla?
10
13
19
16
32
d.
?
e. Cul es el nombre del polgono correspondiente a la ltima casilla?
OBSERVACIN.
Toda proposicin tiene dos posibles valores de verdad: verdadero que simbolizaremos V o
1 y falso por F o 0. El valor de verdad de una proposicin no siempre es evidente. En
ocasiones para determinar si una proposicin es verdadera o falsa es necesario un proceso
llamado proceso de verificacin, comprobacin, mostracin o demostracin. Este es un
12
proceso argumentativo consistente en afirmar y sustentar las afirmaciones a partir de los datos
o hiptesis.
Ejemplo 1.1
Proposicin en contexto aritmtico.

1
1
Mostrar que la proposicin p : 4 10 1 es falsa
2
5
Solucin
Se desea demostrar que es falso que el lado izquierdo de la igualdad
1
1
4 10 tenga el
2
5
mismo valor que el derecho 1. En efecto:

Paso 1
Paso 2
Paso 3
Paso 4
1
1
4 10 1 ; proposicin dada
2
5
4 10
1
; definicin de multiplicacin de fraccionarios
2 5
; definicin de divisin
2 2 1
; definicin de diferencia
0 1!
La proposicin 0 1 es un absurdo matemtico, por lo cual es falsa. Ahora
1
1
bien, como 0 1 es proposicin falsa, tambin lo es 4 10 1
2
5
Ejemplo 1.2
Proposicin en contexto geomtrico de rea de polgonos

regulares.
Proposicin verdadera: El rea A de un paralelogramo es el producto de su base b por su

altura h.
A bh
Demostracin de su verdad.
Aceptemos que la proposicin El rea A de un rectngulo es el producto de su base b por
su altura h, es verdadera, por ser algo evidente. Con base a esta proposicin y con la ayuda
13
del grfico se explica, por qu la proposicin El rea A de un paralelogramo es el producto

de su base b por su altura h, es verdadera.
El paralelogramo MNPQ de la figura tiene base b y altura h. Se debe mostrar que es cierto
que su rea es A bh . Se razona as:
Se ha aceptado que el rea del rectngulo RQPS es A bh . Ahora se transforma el
paralelogramo MNPQ en el rectngulo RQPS de rea equivalente al paralelogramo; para ello
se agrega al lado izquierdo del paralelogramo el tringulo MRQ y se lo quita a la derecha,
pues el tringulo NSP es equivalente al tringulo MRQ, siempre que RM sea igual a SM. As
se observa que el paralelogramo MNPQ es equivalente al rectngulo SPQR. Luego el rea
de un paralelogramo es el producto de su base por su altura. El argumento seguido paso a
paso en la explicacin permite concluir que la proposicin dada es verdadera.
Ejemplo 1.3

regulares.
Proposicin verdadera: El rea A de un rombo es el semiproducto de sus diagonales D y d.

A
Dd
2
Al igual que en el caso anterior, se acepta como verdadera la proposicin El rea A de un

rectngulo es el producto de su base b por su altura h. Con base en esta proposicin
verdadera se explica con la ayuda del grfico, por qu la proposicin El rea A de un rombo
es el semiproducto de sus diagonales D y d, es verdadera.
Demostracin de verdad
Una demostracin para esta proposicin es la siguiente. El rombo MPNQ tiene diagonal
mayor D = MN y diagonal menor d = PQ. Debemos mostrar que la frmula de su rea
Dd
A
es verdadera. Este hecho puede resolverse encerrando el rombo mediante un
2
rectngulo SVUT que pase por sus vrtices, tal como se muestra en la figura anterior; el rea
de este rectngulo es A bh , donde b = MN = D y h = PQ = d; es decir, el rea del
rectngulo es A Dd . El rectngulo qued dividido en ocho tringulos rectngulos
14
congruentes, de los cuales cuatro constituyen el rombo. Como 4 es la mitad de 8, se concluye

Dd
que el rea del rombo es la mitad del rea del rectngulo, es decir, A
. La
2
argumentacin seguida paso a paso en la explicacin permite concluir que la proposicin
dada es verdadera.
Platn
Henri Poincar disponible en http://www.euclides.org/menu/articles/article101.htm y
http://www.biografiasyvidas.com/biografia/p/platon.htm.
Platn, 427 - 347 a. C. Filsofo griego, nacido en
Aatenas en el seno de una familia aristocrtica,
abandon su vocacin poltica por la Filosofa, atrado
por Scrates. Sigui a ste durante veinte aos y se
enfrent abiertamente a los sofistas (Protgoras,
Gorgias). Tras la muerte de Scrates (399 a. C.), se
apart completamente de la poltica; no obstante, los
temas polticos ocuparon siempre un lugar central en su
pensamiento, y lleg a concebir un modelo ideal de
Estado. Viaj por Oriente y el sur de Italia, donde entr
en contacto con los discpulos de Pitgoras; luego pas
algn tiempo prisionero de unos piratas, hasta que fue
rescatado y pudo regresar a Atenas. All fund una
escuela de Filosofa en el 387, situada en las afueras
de la ciudad, junto al jardn dedicado al hroe Academo, de donde procede el
nombre de Academia.
La Escuela, una especie de secta de sabios organizada con sus reglamentos,
residencia de estudiantes, biblioteca, aulas y seminarios especializados, fue el
precedente y modelo de las modernas instituciones universitarias. En ella se
estudiaba y se investigaba sobre todo tipo de asuntos, dado que la Filosofa
englobaba la totalidad del saber, hasta que paulatinamente fueron apareciendo en la propia Academia- las disciplinas especializadas que daran lugar a ramas
diferenciadas del saber, como la Lgica, la tica o la Fsica. Pervivi ms de
novecientos aos, hasta que Justiniano la mand cerrar en el 529 d. C., y en ella
se educaron personajes de importancia tan fundamental como Aristteles. Platn
intent plasmar en la prctica sus ideas filosficas, aceptando acompaar a su
discpulo Din como preceptor y asesor del joven rey Dionisio II de Siracusa; el
choque entre el pensamiento idealista del filsofo y la cruda realidad de la poltica
hizo fracasar el experimento por dos veces (367 y 361 a. C.). Sin embargo, las ideas
de Platn siguieron influyendo -por s o a travs de su discpulo Aristteles- sobre
toda la historia posterior del mundo occidental.
Propone instaurar en Siracusa una utpica repblica dirigida por filsofos. Crea la
Academia de Atenas que no era solo una institucin filosfica, sino centro de
formacin poltica para jvenes aristcratas. Segn algunos especialistas, Platn
15
edifica su teora del conocimiento con el fin de justificar el poder emergente de la

figura del filsofo. Sostiene la existencia de dos mundos -el mundo de las ideas y
el de mundo fsico de los objetos. Segn Platn, lo concreto se percibe en funcin
de lo abstracto y por tanto el mundo sensible existe gracias al mundo de las ideas.
Platn escoge el formato dilogo como forma de transmisin del pensamiento.
Desde Platn, una teora cientfica se compone solo de conceptos (ideas) y de leyes
(propiedades de los conceptos). Los conceptos o ideas en una teora son las
representaciones intelectuales de los objetos de estudio, producto de una reflexin. La
Teora de conjuntos, por ejemplo, posee entre otros los siguientes conceptos: conjunto,
elemento, conjunto unitario, conjunto vaco, conjunto universal, conjunto finito e infinito.
Los conceptos en una teora cientfica pueden ser indefinidos (primitivos o fundamentales) o
definidos. Los conceptos primitivos no tienen definicin a partir de otros conceptos por ser
los fundamentales, por ser los primeros. Por ejemplo, en teora de conjuntos, conjunto y
elemento son primitivos; de ellos se tiene una idea no precisa. Los conceptos definidos son
los que pueden caracterizarse a partir de otros; en teora de conjuntos son definidos los
conceptos de conjunto vaco, conjunto unitario, subconjunto, entre otros.
Ilustracin 1 Estructura de una teora cientfica. Esta se compone de conceptos y leyes.
Por otro lado, las leyes de una teora pueden ser indemostrables o demostrables. Una ley
indemostrable es una proposicin que se acepta como verdadera sin demostracin y se
construyen a partir de los conceptos primitivos. La teora cientfica se organiza, se
sistematiza, se ordena a partir de un conjunto de leyes indemostrables llamadas axiomas o
postulados, las cuales dan una propiedad general de los conceptos indefinidos, dndoles un
soporte slido. Las leyes demostrables, llamadas teoremas, son proposiciones que se
construyen y deducen de los axiomas o postulados.
16
Como ilustracin, para mostrar la verdad de las proposiciones en el ejemplo 2, se us como

axioma la proposicin El rea A de un rectngulo es el producto de su base b y su altura h;
mientras que El rea A de un paralelogramo es el producto de su base b por su altura h, es
un teorema, pues para ver que es cierta hubo que hacer un proceso de mostracin a partir de
dicho axioma. De igual manera se describen con precisin los objetos matemticos por medio
de definiciones, que tambin son proposiciones; Un paralelogramo es un cuadriltero que
tiene sus lados opuestos paralelos, es una proposicin que define un paralelogramo.
La redaccin y solucin de un problema son ms claras, aunque no muy expresivas, si se
realizan a travs de proposiciones, quitando los adornos de conexin de las frases; por
ejemplo el problema de los sombreros, anteriormente expuesto puede reescribirse sin adornos
y elegancia del espaol de la siguiente manera:
En una mesa hay tres sombreros negros y dos blancos.
Tres seores en fila india se ponen un sombrero al azar cada uno y sin mirar el color.
El tercero de la fila puede ver el color del sombrero del segundo y el primero.
El tercero de la fila es interrogado. Puede decir el color de su sombrero?
El tercero de la fila responde negativamente.
El segundo de la fila puede ver el color del sombrero del primero.
El segundo de la fila es interrogado. Puede decir el color de su sombrero?
El segundo de la fila responde negativamente.
El primero de la fila no puede ver el color del sombrero de sus compaeros y no puede ver
el suyo.
El primero de la fila es interrogado. Puede decir el color de su sombrero?
El primero de la fila responde positivamente.
Cul es este color y cul es la lgica que us para saberlo?
regulares.
b b h se obtiene
Proposicin verdadera: Al despejar la variable b1 de la ecuacin A 1 2
2
Ejemplo 1.4
b1
2A b2 h
.
h
Demostracin
Paso Afirmacin
b1 b2 h
1.
2.
2. A
3.
2A b1 b2 h
b1 b2 h .2
2
Justificacin
Ecuacin dada
Multiplicando por 2 ambos lados de la igualdad en el
paso 1
Simplificando mediante la propiedad del recproco en
el paso 2 .
17
4.
2A b1h b2 h
Aplicando la propiedad distributiva en el paso 3 .
5.
2A b2 h b1h b2 h b2 h
Restando b2 h a ambos lados de 4 .
6.
2A b2 h b1h
7.
2A b2 h
1
1
b1h
h
h
8.
2A b2 h
b1
h
9.
b1
2A b2 h
h
Simplificando mediante la propiedad del inverso

aditivo en el paso 5 .
Multiplicando ambos lados de la igualdad de 6 por el
recproco de h.
Simplificando.
Propiedad simtrica de la igualdad: A B es
equivalente a B A
Prctica 1.2
hacerlo"
1. Justifique la verdad de las siguientes proposiciones tal como se hizo en el ejemplo 2
y 3, aceptando la proposicin El rea de rectngulo es el producto de su base por su
altura como axioma.
a.
b.
c.
d.
e.
El rea de un tringulo es el semiproducto de su base por su altura

El rea de un cuadrado es el cuadrado de la longitud de su lado
El rea de un trapecio es el semiproducto de la suma de sus bases y su altura
El rea de un polgono regular es el semiproducto de su permetro y su apotema
El rea de un crculo es el producto del cuadrado del radio y el nmero pi.
2. Demostrar que las siguientes proposiciones son verdadera, tal como se ilustr en el
ejemplo 1.3.
m
m
a. Al despejar la variable V desde la ecuacin d
se obtiene V .
V
d
[Esta es la frmula para hallar la densidad d de un cuerpo; donde m: masa del
cuerpo y V: volumen del cuerpo ]
Dd
2A
b. El despeje de la variable D desde la ecuacin A
es D
.
2
d
[De acuerdo a la Tabla 1, esta es la frmula para hallar el rea A de un rombo;
donde D: Diagonal mayor y d: diagonal menor]
18
c. Al despejar la variable R desde la ecuacin A R2 se obtiene R
d. [De acuerdo a la Tabla 1, esta es la frmula para hallar el rea A de un crculo;

donde R: radio]
L
e. El despeje de la variable R desde la ecuacin L 2 R es R
.
2
f. [De acuerdo a la Tabla 1, esta es la frmula para hallar la longitud de una
circunferencia o permetro del crculo, donde R: radio]
g. Considere la proposicin siguiente. El rea A de la superficie de una caja con tapa
como la figura est dada por A 2wl 2hl 2wh . Aqu l: largo de la caja, w:
ancho de la caja, h: altura de la caja.
Demostrar que la proposicin siguiente es verdadera:

Al despejar la variable w de la ecuacin A 2wl 2hl 2wh se obtiene
A 2lh
w
.
2 l h
Proposicin en contexto de ecuaciones lineales con una

variable.
Proposicin: Al resolver la ecuacin t t 1 t 2 t 3 306 se obtiene t 75 .
Ejemplo 1.5
Para ver si dicha afirmacin es verdadera o falsa, se sigue el siguiente proceso.

Demostracin
Paso Afirmacin
t t 1 t 2 t 3 306
1.
2.
t t 1 t 2 t 3 306
3.
4t 6 306
4.
4t 6 6 306 6
5.
4t 300
4t 300
4
4
6.
Justificacin
Ecuacin dada.
Destruyendo parntesis el igualdad del paso 1
.
Reduciendo trminos semejantes en el paso 2 .
Aplicando la propiedad xxx a la igualdad del
paso 3 .
Simplificando ambos lados de 4 .
Multiplicando ambos lados de la igualdad por
en el paso 5 .
19
7.
Multiplicando por
t 75
1
ambos lados de la
4
igualdad 6 .
Ejemplo 1.6
Proposicin en contexto ecuaciones cuadrticas.
Proposicin verdadera: La ecuacin cuadrtica 6 y 2 15 y 10 0 tiene conjunto solucin
5 2
S , .
2 3
Para ver si dicha afirmacin es verdadera o falsa, se compara la ecuacin con la ecuacin
modelo ay 2 by c 0 , la cual puede resolverse mediante la frmula y
b b2 4ac
.
2a
De la comparacin resulta que a 6, b 15, c 10 .

Demostracin
Paso Afirmacin
Justificacin
1.
6 y 2 11y 10 0
Ecuacin dada
b b2 4ac
y
2a
Frmula de solucin una cuadrtica
2.
3.
4.
15 361
12
Por simplificacin en el paso 3 .
5.
15 19
12
6.
15 19
15 19
o y
12
12
7.
5
2
o y
2
3
Por simplificacin en el paso en 6
15 112 4 6 10
2 6
ay 2 by c 0 .
Reemplazando a por 6, b por 11 y c por en -10 en

el paso 2 .
20
Prctica 1.3
hacerlo"
1. Demostrar que las siguientes proposiciones son verdaderas, segn los ejemplos 1.5.
a. Al resolver la ecuacin 2 3t 3 4 5t 3 t t 3 t t 5 se obtiene t 3 .
1
.
35
2
c. Al resolver la ecuacin t 2 t t 3 3 t 4 t 3 t 2 t 1 2 se
b. Al resolver la ecuacin 4 5t 4t 5 10t 3 7 2t se obtiene t

obtiene t 4 .
1
.
2
2
e. Al resolver la ecuacin 5 1 t 6 t 2 3t 7 t t 3 2t t 5 2 se obtiene
d. Al resolver la ecuacin 7 t 4 3 t 5 4 t 1 t 1 2 se obtiene t

2
7
t .
3
2. Demostrar que las siguientes proposiciones son verdaderas, segn los ejemplos 1.6.
a. La ecuacin cuadrtica 5t t 1 82 2t 2 7t tiene conjunto solucin S 8, 1
.
b. La ecuacin cuadrtica 11t 199 3t 2 t 2 t 1
2
tiene conjunto solucin
S 12,17 .
c. La ecuacin cuadrtica
t 2t 2 21 7 t 1
tiene conjunto solucin
S 2,9 .
d. La ecuacin cuadrtica 2t 2 7 t 3 t 2 t 5 tiene conjunto solucin
S 1,11 .
e. La ecuacin cuadrtica t 1 t 2 14 2t 3 t 4 t tiene conjunto solucin
S 8,3 .
21
Conectivos y operaciones proposicionales
Ilustracin 2. Mapa conceptual de las operaciones lgicas: negacin, conjuncin, disyuncin,

condicional y bicondicional.
Continuando con la construccin del lenguaje de la lgica matemtica, el Clculo

Proposicional, despus de las proposiciones, abstraemos tambin del espaol ciertos
vocablos fundamentales llamados conectores lgicos o conectivos proposicionales y le
asignamos su respectiva simbolizacin en el nuevo lenguaje:
Conectivos proposicionales
Lenguaje espaol
Lenguaje lgica matemtica
Expresin del espaol
Expresin simblica
No
Y
si entonces
si y solo si
Los conectores lgicos clasifican las proposiciones como simples o compuestas. Una
proposicin es compuesta si y solo si contienen conectivos proposicionales mientras que una
proposicin es simple (atmica) si y solo si no contiene conectivos lgicos. Por ejemplo la
proposicin compuesta Un nmero natural n, n 1 , es primo si y solo si n es divisible
solamente por n y por 1, tiene tres proposiciones simples y los dos conectivos lgicos si y
solo si e y.
Al negar una proposicin p o al conectar dos proposiciones p, q con un conectivo lgico se
obtiene una nueva proposicin que llamaremos negacin, conjuncin, disyuncin,
condicional y bicondicional. En este sentido los conectivos lgicos se llaman operadores
lgicos y ~ p , p q , p q , p q y p q son las operaciones lgicas, en forma similar
22
a lo que sucede cuando formamos con los nmeros 11 y 7 expresiones como

11 7, 11 7, 11 7, 11 7 .
Negacin.
En espaol, negamos una proposicin anteponiendo la palabra no al verbo. Es usual
tambin negar una proposicin anteponiendo a la proposicin la expresin no es cierto que
o no es verdad que o no es el caso que. Cada una de stas expresiones son el significado
del smbolo ~ del lenguaje de la lgica matemtica. As, ~ p: 9 no es nmero par es una
proposicin verdadera, la cual puede escribirse como No es cierto que 9 es nmero par o
No es verdad que 9 es nmero par. De la misma manera, la negacin de la proposicin q:
7 8 = 56 (V) es ~ q: 7 8 56 (F). Obsrvese el uso del smbolo cuyo significado es
no es igual o diferente.
Definicin 1.1
Negacin de una proposicin.

El smbolo de la expresin p significa que el valor de verdad
de la negacin p es verdadera si p es falsa y falsa si p es
verdadera.
Esta definicin se sintetiza en la siguiente tabla.

P
1
0
~p
0
1
Tabla 2 Significado del smbolo en el Clculo

Proposicional. Verdadero se denota por 1 y falso por 0
Ordinariamente
usamos otros vocablos para negar como nunca y jams. Por ejemplo nunca he estado aqu
y jams volver son proposiciones que contienen negacin. Aunque todas las expresiones
con las cuales denotamos negacin en el lenguaje diario, no, no es verdad, no es cierto, jams,
nunca, entre otras, no tienen exactamente el mismo significado en espaol, en el Clculo
Proposicional tienen el significado de ~ dada en la definicin 1.1.
Ejemplo 1.7
Proposicin en contexto geomtrico
A continuacin se muestran proposiciones simples y sus respectivas negaciones

PROPOSICIN SIMPLE
p : El permetro de un polgono es la suma
de las longitudes de los lados (V)
q : El permetro de un crculo es el producto
del doble de con el radio (V)
r El rea de un crculo es el producto de
con el cuadrado del radio (V)
NEGACIN
p : El permetro de un polgono no es la
suma de las longitudes de los lados (F)
q : El permetro de un crculo no es el
producto del doble de con el radio (F)
r : El rea de un crculo no es el producto
de con el cuadrado del radio (F)
23
s : El permetro de un rectngulo de base

s : El permetro de un rectngulo de base
10cm y altura 4cm es 30cm (F)
10cm y altura 4cm no es 30cm (V)
t : El permetro de un crculo de radio 5cm

t : El permetro de un crculo de radio 5cm
es 5 cm (F)
no es 5 cm (V)
u : El rea de un crculo de radio 5cm es
u : El rea de un crculo de radio 5cm no es
2
25 cm (V)
25 cm2 (F)
Conjuncin.
La palabra y se usa en nuestro lenguaje cotidiano para juntar dos proposiciones y formar
una nueva proposicin. La conjuncin es la operacin lgica que consiste en enlazar dos
proposiciones con el operador lgico y ().
Sean las proposiciones p: 7 + 2 = 9 (V) y q: 7 2 = 5 (V); la conjuncin de p con q es
p q: 7 + 2 = 9 y 7 2 = 5 (V), la cual es verdadera segn la Tabla 3.
p
1
1
0
0
Definicin 1.2
q
1
0
1
0
pq
1
0
0
0
Tabla 3 Significado de en el
Clculo Proposicional. Verdadero se
denota por 1 y falso por 0
Conjuncin.
La conjuncin de dos proposiciones es verdadera si y solo si las dos
proposiciones son verdaderas.
Esta es una propiedad muy importante de la conjuncin!

El sentido de la conjuncin en matemticas es similar al de la vida cotidiana; es verdadera si
ambas son verdaderas.
Ejemplo 1.8
Conjuncin en contexto no matemtico
La proposicin compuesta Leonardo es ingeniero y Tatiana es qumica farmaceuta, es

verdadera. Puede saberse si es cierto que la proposicin simple Tatiana es qumica
farmaceuta es verdadera?
Solucin. S! Puesto que la conjuncin es verdadera solamente cuando ambas proposiciones
son verdaderas, necesariamente Tatiana es qumica farmaceuta es proposicin verdadera.
Ejemplo 1.9
Conjuncin en contexto no matemtico
24
La figura muestra una seccin transversal pentagonal de una

columna de madera para una casa, inscrita en una
circunferencia de radio 10cm; el carpintero raspa la parte
sombreada para formar la columna de seccin transversal
pentagonal de lado 8cm.
Demostrar que en la figura, la conjuncin El rea del crculo es 100 cm2 y el rea del
pentgonola es 40 21 es verdadera.
Demostracin
PASO CONSECUENCIA LGICA
1. Acir r 2
JUSTIFICACIN
Frmula de rea de un crculo
Acir 100 cm2

Pa
Apen
2
Reemplazando r = 10cm en 1.
2.
3.
4.
5.
Frmula de rea de un polgono regular
10cm 4cm
2
84cm
9.2cm
40 84 2
Apen
cm
2
=40 21cm
Por teorema de Pitgoras en el tringulo

rectngulo de hipotenusa R = 10 cm y catetos
L 8cm
4cm y apotema a.
2
2
Simplificando
El hecho de que la conjuncin sea verdadera solamente cuando las dos proposiciones son
verdaderas constituye el fundamento de dos leyes de la lgica, dos esquemas de razonamiento
correcto, que toda persona utiliza en sus razonamientos cotidianos.
Todo razonamiento empieza con una o ms proposiciones verdaderas, llamadas premisas,
que constituyen la hiptesis, lo que se sabe, y que sustenta o fundamenta un cierto
25
conocimiento llamado conclusin o tesis, la cual es obtenida de esa hiptesis. Las personas
cuando razonamos anunciamos la hiptesis mediante las frases puesto que, se sabe que,
como, de entre otras; anunciamos que nos disponemos a dar la conclusin con frases
como por consiguiente, luego, se concluye, se deduce, se infiere, entre otras.
Primera propiedad de la conjuncin o ley lgica adjuncin
Ilustracin 3. Esquema de la ley de razonamiento Simplificacin. La expresin p q representa

la premisa del razonamiento, mientras que p (o q) la conclusin que se obtiene a partir de la
premisa.
El anterior esquema de razonamiento, mostrado en la Ilustracin 3, se lee

p q es verdadera. Luego, p es verdadera. Resumiendo:
se sabe que
De una conjuncin verdadera se deduce cada proposicin componente de la conjuncin

que siempre es verdadera.
Ejemplo 1.10
Razonamiento Simplificacin en un contexto geogrfico
Sabemos que (es verdad que), Neiva es la capital del Huila y tiene clima caliente.
Se deduce que (es verdad que), Neiva es la capital del Huila.
Puesto que, Neiva es la capital del Huila y tiene clima caliente es verdadero, se infiere
que, Neiva tiene clima caliente es verdad.
Observacin.
Estos dos razonamientos son vlidos; es decir, si reemplazamos esta conjuncin Neiva es la
capital del Huila y tiene clima caliente por otra conjuncin verdadera se puede concluir una
de sus dos proposiciones.
Ejemplo 1.11
Razonamiento Simplificacin en un contexto matemtico
Se sabe que 2 es nmero par y primo. Se concluye que 2 es primo es verdad.
De 2 es nmero par y primo, se infiere que 2 es primo es verdad.
26
Segunda propiedad de la conjuncin o ley lgica adjuncin
Ilustracin 4. Esquema de la ley de razonamiento Adjuncin. Las letras p y q representan las

premisas del razonamiento, mientras que p q la conclusin que se obtiene a partir de las
premisas.
Otro razonamiento que se fundamenta en la conjuncin es la Adjuncin.
De dos proposiciones cualquieras verdaderas se concluye vlidamente su conjuncin.
Ejemplo 1.12
Razonamiento Adjuncin en un contexto matemtico
Sabemos que, p: 2 es nmero primo, adems que q: 2 es nmero par; se deduce que,
p q : 2 es nmero primo y par.
Continuemos nuevamente con el tema de conjuncin. Poco a poco tratar de convencer al
lector que no nos debe preocupar el hecho, que las dos proposiciones que se juntan no estn
relacionadas en su contenido. No nos interesa; lo importante es la forma p, ~ q,
pq
de las proposiciones. La afinidad entre los contenidos de las proposiciones es importante
cuando se aplica la lgica a una ciencia en particular, para deducir hechos propios de esa
ciencia; en lgica no ocurre esto: La lgica es una ciencia formal que permite razonar
sistemticamente en cualquier ciencia, por tal razn debe ser libre de los contenidos de las
proposiciones.
La palabra pero, utilizada frecuentemente en el lenguaje cotidiano, tiene un significado
cercano al y. As, como y me deja salir y como pero me deja salir enuncian casi lo
mismo en nuestro idioma, mientras que en lgica las tomaremos como expresiones que
enuncian exactamente lo mismo. De esta manera se acorrala el lenguaje para que pierda
expresividad pero gane precisin y concisin. Por tanto las palabras y y pero sern
simbolizados por . Consideremos los conjuntos A = 1, 2, 3 y B = 2, 3, 4, 5; los
enunciados "1 A y 1 B " o "1 A pero 1 B " (el smbolo significa pertenece) tienen la
forma p (~q).
Disyuncin
La operacin disyuncin de dos proposiciones p y q consiste en unir las dos proposiciones
mediante el conectivo lgico o.
27
En el lenguaje usual, utilizamos la palabra o en el sentido de plantear una indecisin por

una de dos alternativas. En el comercio se oye proposiciones como o rebaja el precio o me
voy o est dentro del negocio o fuera. Este es el o que usamos, un o excluyente. Esta
o se denota por y su significado es:
p
pq
Definicin 1.3
Tabla 4. Significado del smbolo en el Clculo

Proposicional. La disyuncin exclusiva solamente es
falsa cuando ambas proposiciones son verdaderas y
cuando ambas son falsas.
Disyuncin exclusiva
La disyuncin exclusiva de dos proposiciones es falsa cuando las dos
son verdaderas o las dos son falsas.
En el lenguaje de la lgica, se necesita otro o, el inclusivo (no exclusivo) con un sentido

y/o, con el siguiente significado:
pq
Definicin 1.4
Tabla 5 Significado del smbolo en el Clculo proposicional.

La disyuncin inclusiva solamente es falsa cuando ambas
proposiciones son falsas
Disyuncin inclusiva
La disyuncin inclusiva de dos proposiciones es verdadera cuando
por lo menos una de las dos proposiciones es verdadera.
Muy importante propiedad de la disyuncin!

Esto se muestra en la Tabla 5. Son disyunciones inclusivas
p q: 38 = 24 o 5+6 = 11(V);
r s: 4 es primo o 7-10 = 3 (F);
t w: 7 es par o 9 es impar (V).
Ejemplo 1.13
28
Razonamiento Disyuncin en un contexto no matemtico
La proposicin compuesta Leonardo es ingeniero o Tatiana es qumica farmaceuta

es verdadera. Puede confirmar que la profesin de Tatiana es qumica farmaceuta?
Solucin. Una disyuncin incluiva es verdadera en tres posibilidades: cuando ambas
proposiciones son verdaderas, cuando la primera es falsa y la segunda verdadera o
cuando la primera es verdadera y la segunda es falsa. En este ltimo caso la
proposicin Tatiana es qumica farmacuta es falsa mientras que en las dos primeras
posibilidades es verdadera. En consecuencia, no hay la seguridad de la profesin de
Tatiana.
Por otro lado se presenta algo interesante; si se supiera que Tatiana es qumica
farmacuta es proposicin verdadera, la conclusin Leonardo es ingeniero o Tatiana
es qumica farmaceuta necesariamente ser verdadera ya que una de las dos es
verdadera. Esto siempre ocurre no importa cul sea la otra proposicin, por lo que se
dice que este razonamiento es vlido y correcto.
Propiedad de la disyuncin o ley de adicin:
Una breve mirada a la tabla de valores de la disyuncin, tabla 5, permite concluir que
una disyuncin es verdadera en tres oportunidades: las dos proposiciones son
verdaderas, una es verdadera y la otra no. Es suficiente que por lo menos una
proposicin sea verdadera para que la disyuncin sea verdadera. Esto implica la ley
de adicin:
De una proposicin verdadera se deduce una disyuncin verdadera formada

por la proposicin y otra cualquiera.
Ilustracin 5. Esquemas del razonamiento Adicin. En el primero la premisa es p

y la conclusin p q . En el segundo la premisa es q y la conclusin p q .
29
De una proposicin verdadera p se obtiene una disyuncin verdadera formada por p y otra
cualquiera proposicin q. De la proposicin p: 3 + 5 = 8 (V) se concluye una disyuncin
verdadera p q : 3 5 8 o 7 2=10 (V). Observe que q : 7 2=10 es falsa pero la
disyuncin es verdadera.
Con la disyuncin existen otras reglas de razonamiento, que analizaremos posteriormente.
Condicional o implicacin.
La expresin si entonces se usa en el lenguaje ordinario para enlazar dos
proposiciones y obtener otra llamada proposicin condicional o implicacin. El condicional
o implicacin es una operacin lgica que enlaza dos proposiciones con el conectivo lgico
si entonces. La expresin p q representa la operacin lgica condicional o
implicacin de p a q y se lee si p entonces q o p implica a q. La proposicin p recibe el
nombre de antecedente, hiptesis o supuesto y q consecuente, tesis o conclusin:
p
Antecedente
Hiptesis
Supuesto
q
Consecuente
Tesis
Conclusin
Son condicionales si usa jabn Caricia entonces un arrume de hombres corren detrs de ti,
si almuerza juicioso entonces sale a jugar, si un tringulo es equiltero entonces es
issceles, si a y b son las longitudes de los catetos de un tringulo rectngulo y c la longitud
de su hipotenusa entonces a 2 b2 c2 , si el lado de un heptgono regular mide 10cm
entonces su permetro mide 70cm y si llueve entonces 56 = 30.
En el lenguaje cotidiano o en el contexto de una ciencia se exige que las dos proposiciones
tengan una estrecha relacin y solo se aceptan aquellas proposiciones condicionales en las
cuales la segunda proposicin dependa de la primera. El ltimo ejemplo enuncia una
locura en el lenguaje corriente, pero, en lgica no es as, pues lo importante es la forma
condicional pq y no la conexin de los contenidos. Parece que la persona comn y
corriente solamente acepta como verdaderas aquellas implicaciones con antecedentes y
consecuentes verdaderos; considera falsos aquellos condicionales en donde el antecedente
sea verdadero y el consecuente falso. El significado del smbolo en el Clculo
Proposicional se da en la tabla 6.
p
pq
Tabla 6. Significado de la operacin lgica condicional. El

condicional es falso solamente cuando el antecedente p es
verdadera y el consecuente falso.
30
Definicin 1.5
Condicional o implicacin
Una proposicin condicional es falsa si y solo si el antecedente es
verdadero y el consecuente es falso.
As, si aprueba el ao entonces le compro bicicleta, sera verdadera al ser ambas

proposiciones verdaderas y falsa cuando el aprobar el ao fuera cierto mientras que
regalar la bicicleta, falso.
Concluyendo, en el lenguaje cotidiano se acepta la implicacin en la forma
Si
V
V
entonces
V
F
V
F
y las otras dos posibilidades F-V y F-F no son aceptados.

La expresin si entonces es simbolizada en el Clculo Proposicional por: ; tiene el
significado:
Mas adelante veremos la importancia de esta propiedad del condicional! Son muchos
los razonamientos que se construyen con el condicional. Por esta razn, el condicional es la
operacin lgica ms importante.
Valor de verdad de condicionales en contexto matemtico y
geogrfico
Hallar el valor de verdad de las implicaciones o condicionales siguientes. Complete.
Ejemplo 1.14
rs
Si en Colombia hay 100 departamentos

F
entonces
entonces
A es directamente a r2
c d
Si el permetro L de un crculo es
entonces
L es directamente
proporcional a R
ef
Si una pulgada es 2,54cm
entonces
10 pulgadas
25,4cm
entonces
su rea es 25cm2
ab
Si el rea A de un crculo es
L 2 R
(g h) j
A r
hay 100 capitales

F
son
31
Si la base de un rectngulo MNPQ mide

10cm y su base 3cm
En el quehacer matemtico se dedica bastante tiempo en encontrar relaciones abstractas entre

dos conceptos, relaciones que normalmente tienen forma de implicacin HT, donde H es
la hiptesis y T la tesis. Demostrar la verdad de proposiciones de la forma HT ha sido, es
y ser una parte importante de la actividad matemtica desde los griegos. La hiptesis es un
supuesto que se considera verdadero al iniciar una investigacin para producir una
consecuencia lgica verdadera.
Los matemticos leen e interpretan la expresin HT de la siguiente manera:

Si H entonces T
H implica T
H es condicin suficiente para T (lo que significa que si el hecho H est presente, con
seguridad el hecho T se dar)
T es condicin necesaria para H (lo que significa que si el hecho T no se da, tampoco se
dar H)
T si H
T siempre que H
T cuando H
Ejemplo 1.15
Formas de expresar un condicional
Expresar la proposicin condicional si hay vida entonces hay oxgeno en otras seis formas.
Solucin.
Este condicional equivale en el lenguaje cotidiano a: Si hay vida implica que hay oxgeno,
es suficiente que haya vida para que haya oxgeno, es necesario que haya oxgeno para
que haya vida, hay oxgeno si hay vida hay oxgeno siempre que haya vida y hay
oxgeno cuando hay vida.
Clases de implicaciones:
Con respecto a un condicional, hay cuatro clases de implicaciones
DIRECTA
RECIPROCA
H T
T H
CONTRADIRECTA CONTRARRECIPROCA
H T
T H
Tabla 7 Tabla de las clases de condicionales: directa, recproca, contradirecta y contrarrecproca.
32
Ejemplo 1.16
Clases de condicionales
Escriba los cuatro clases de condicionales para el condicional Si un carro anda entonces
tiene combustible.
Solucin
SIMBOLO
HT:
TH:
HT:
TH:
EJEMPLO
Si un carro anda entonces tiene combustible
Si un carro tiene combustible entonces anda
Si un carro no anda entonces no tiene combustible
Si un carro no tiene combustible entonces no anda
IMPLICACIN
Directa
Recproca
Contra-directa
Contra-recproca
Prctica 1.4
hacerlo"
En el contexto de la respectiva figura, resuelva los ejercicios del 1 al 4 de la siguiente manera:
Lea la proposicin con buena puntuacin para determinar cul es el conectivo principal,
es decir aquel que parte la frase en dos.
Simbolice cada proposicin simple mediante cualquier letra
En la expresin simblica, encierre la primera parte de la frase entre parntesis al igual

que la segunda.
Finalmente, halle su valor de verdad utilizando una tabla como se ilustra en el ejercicio
1.
Ejercicio 1
Ejerccio 2
33
Ejercicio 3
Ejerccio 4
1. Si la base del tringulo de la figura mide 12 metros y su altura 6 metros, el rea de la

superficie triangular es 36 metros cuadrados.
Simbolizacin:
p: La base del tringulo de la figura mide 12 metros (V)
q: La altura del tringulo de la figura mide 6 metros (V)
r: El rea del tringulo de la figura mide 42 metros cuadrados (F)
Una buena lectura del texto de la proposcicin permite concluir que esta es un condicional,
el cual se simboliza pq r .
El valor de verdad de p q r se sintetiza en la tabla que sigue:
p q r
pq
pq r
2. Si las diagonales del rombo de la figura miden 30 metros y 40 metros, su rea es 600
metros cuadrados.
3. Si el radio del crculo de la figura mide 30 centmetros, su rea es 9 cm2
4. Si el tringulo sombreado de la figura mide 10 centmetros cuadrados, el rea de todo el
hexgono es 120 centmetros cuadrados.
5. El siguiente condicional es verdadero.
p q : Si un tringulo es equiltero entonces es issceles.
Con este condicional haga lo siguiente:
Simbolice y enuncie literalmente su recproco,
Simbolice y enuncie literalmente su contradirecto
Simbolice y enuncie literalmente su contrarrecproco.
Para los ejercicios del 6 al 10, escriba las proposiciones condicionales en la forma si
entonces
34
6. Ser issceles es una condicin necesaria para que un tringulo sea equiltero.
7. Que la suma de dos ngulos agudos de un tringulo sea 90 es condicin suficiente para
que el tringulo sea rectngulo.
8. A B C 180 siempre que A, B y C sean los ngulos internos de un tringulo.
9. El nmero n es par cuando n 2k donde n 0, 1, 2, 3, 4,...
10. Una condicin necesaria para que el nmero n sea natural es que n sea entero
11. Escriba una condicin suficiente pero no necesaria para que una expresin simblica de
la lgica proposicional sea una frmula bien formada.
12. Escriba una condicin necesaria pero no suficiente para que una expresin simblica de
13. Escriba una condicin suficiente pero no necesaria para que una expresin simblica de
14. Escriba una condicin necesaria pero no suficiente para que una frmula bien formada
no sea tautologa
15. Escriba una condicin necesaria y suficiente para que un razonamiento sea vlido.
Bicondicional o equivalencia.
Usamos la expresin si y solo si, abreviadamente sii, para obtener de dos proposiciones
una nueva proposicin llamada bicondicional o equivalencia de proposiciones. La
equivalencia o bicondicional es una operacin lgica que consiste en unir dos proposiciones
simples con el operador lgico si y solo si, simbolizado . Este smbolo denota dos
condicionales, una de izquierda a derecha y otra de derecha a izquierda, es decir,
p q p q q p .
Son ejemplos de bicondicionales: un conjunto A es vaco si y solo si carece de elementos,
un polgono es cuadrado si y solo si tiene cuatro lados y canto si y solo si me pagan. El
smbolo tiene el significado dado en la Tabla 8.
q
1
pq
1
Definicin 1.5
Tabla 8. Significado de la operacin lgica bicondicional. El bicondicional es

verdadero cuando las dos proposiciones son verdaderas o las dos falsas.
Bicondicional o equivalencia
35
Un bicondicional es verdadero si y solo si ambas proposiciones son

verdadera o ambas falsas.
Propiedad muy importante como se mostrar ms adelante!
Ejemplo 1.17
Bicondicionales en contexto no matemtico
Consideremos las dos proposiciones compuestas con su respectivo valor de verdad

Juan estudia matemticas y tiene excelentes habilidades cognitivas (F)
Juan estudia matemticas si y slo si tiene excelentes habilidades cognitivas (V)
Se puede saber si es cierto que Juan estudia matemticas?
Solucin. Si. Puesto que, Juan estudia matemticas y tiene excelentes habilidades cognitivas
es una conjuncin falsa, segn la tabla de la conjuncin existen tres posibilidades de verdad
para estas dos proposiciones:
i.
ii.
iii.
Juan estudia matemticas (V); Juan tiene excelentes habilidades cognitivas (F)
Juan estudia matemticas (F); Juan tiene excelentes habilidades cognitivas (V)
Juan estudia matemticas (F); Juan tiene excelentes habilidades cognitivas (F)
En los casos (i) e (ii) el bicondicional Juan estudia matemticas si y slo si tiene excelentes
habilidades cognitivas es falsa, pero en (iii) cumple con la condicin de ser verdadera. Por
tanto tenemos la certeza que es falso que Juan estudia matemticas.
Por otro lado, como Juan estudia matemticas si y slo si tiene excelentes habilidades
cognitivas es verdadera, segn la tabla del bicondicional existe dos posibilidades de verdad
para estas dos proposiciones:
i.
ii.
Juan estudia matemticas (V); Juan tiene excelentes habilidades cognitivas (V)
Juan estudia matemticas (F); Juan tiene excelentes habilidades cognitivas (F)
En el caso (i) la conjuncin Juan estudia matemticas y tiene excelentes habilidades

cognitivas es verdadera, pero en (ii) cumple con la condicin de ser falsa. Por tanto tenemos
la certeza que es falso que Juan estudia matemticas.
As que por ambos lados se tiene la certeza de que Juan estudia matemticas es falso.
Ordinariamente los matemticos leen o interpretan PQ as:

P si y solo si Q
P es equivalente a Q
P es una condicin suficiente y necesaria para Q
36
La expresin un conjunto es vaco si y solo si carece de elementos, un matemtico tambin

puede leerla un conjunto es vaco, es equivalente a, el conjunto carece de elementos o un
conjunto es vaco es condicin suficiente y necesaria para que el conjunto carezca de
elementos. En toda definicin matemtica hay implcita una equivalencia, tal como se
muestra a continuacin:
p1 p 2 : Un nmero natural n mayor que 1 es primo si y solo si n es divisible solamente por n y por
1
p3 p 4 : Un
rectngulo es cuadrado si y solo si sus cuatro lados son iguales
p5 p6 : Un
paralelogramo es un rombo si y solo si sus cuatro lados son iguales
P
V
V
F
F
C1
q
V
F
V
F
C2
~q
0
V
C3
pq
V
F
F
F
C4
p v q pq pq
F
V
V
V
V
F
V
V
V
F
F
V
C5 C6 C7
Bicondicional
Condicional
Disyuncin
Inclusiva
Disyuncin
Exclusiva
Conjuncin
Negacin
Proposicin
Simple
Proposicin
Simple
De esta manera se ha completado el estudio de los conectivos lgicos, los cuales como hemos
visto, unen proposiciones atmicas para formar una proposicin compuesta que recibe el
nombre de acuerdo al conectivo utilizado: negacin, conjuncin, disyuncin exclusiva e
inclusiva, condicional y bicondicional. En la Tabla 9 se presenta el resumen de los valores
de verdad de las cinco operaciones lgicas estudiadas.
pq
V
F
F
V
C8
Tabla 9. Resumen de las operaciones lgicas. En las columnas C1 y C 2 se dan las cuatro
combinaciones posibles de valores de verdad 1 y 0 para las proposiciones simples p y q. En las
columnas C3 , C 4 , C5 , C6 C7 y C8 se da respectivamente el significado de los smbolos de las cinco
operaciones lgicas.
Prctica 1.5
hacerlo"
Escriba las proposiciones bicondicionales en la forma si y solo si
37
1. Es necesario y suficiente que un tringulo tenga los tres lados iguales para que sea
equiltero
2. Que los ngulos de un tringulo sean agudos es condicin necesaria y suficiente para que
el tringulo sea acutngulo
3. Que una proposicin sea verdadera independientemente de los valores de verdad de las
proposiciones simples equivale a decir que la proposicin es una tautologa.
4. Que una funcin sea inyectiva y sobreyectiva equivale a ser biyectiva.
Negacin de las operaciones lgicas

Negacin de la conjuncin o primera ley de De Morgan
La negacin de la conjuncin equivale a la disyuncin de las negaciones de las proposiciones.
Simblicamente,
p q
Ejemplo 1.18
Negacin de una conjuncin en contexto geogrfico
Negar la conjuncin,
Neiva no es la capital arqueolgica del Huila
y se ubica a 300 kilmetros de Bogot
Solucin. Empecemos por simbolizar la conjuncin constituida por las proposiciones simples
p: Neiva es la capital arqueolgica del Huila (F)
q: Neiva se ubica a 300 kilmetros de Bogot (V)
As,
Neiva no es la capital arqueolgica del Huila y se ubica a 300 kilmetros de Bogot
~p
q
es simbolizada ~ p q . Su valor de verdad verdadero se obtiene mediante la tabla siguiente
en C5.
C1
p
F
Su negacin simblica es
C2
q
V
C3
~p
C4
~q
C5
~ pq
C6
p ~ q
p q p
q mientras que su negacin literal es:
Neiva es la capital arqueolgica del Huila o no se ubica a 300 km.

Esta es falsa segn la columna C6 de la tabla.
38
Negacin de la disyuncin o segunda ley de De Morgan

La negacin de la disyuncin equivale a la conjuncin de las negaciones de las proposiciones.
Simblicamente,
p q
Ejemplo 1.19
Negacin de una disyuncin en contexto matemtico
Considrese el tringulo rectngulo de la figura, en donde uno de sus ngulos agudos es .

Cateto opuesto a
Los nmeros reales Sen y Cos son definidos como Sen
y
Hipotenusa
Cateto adyacente a
.
Cos
Hipotenusa
Negar simblica y literalmente la disyuncin,
Sen
Hipotenusa
Cateto opuesto a
Cos
Hipotenusa
Cateto adyacente a
Solucin. Empecemos por simbolizar la disyuncin constituida por las proposiciones simples
Hipotenusa
(F)
Cateto opuesto a
Hipotenusa
s: Cos
(F)
Cateto adyacente a
r: Sen
As,
Sen
Hipotenusa
Cateto opuesto a
F
Cos
Hipotenusa
Cateto adyacente a
F
39
es simbolizada r s . Su valor de verdad es falso y se obtiene mediante la tabla siguiente en

C5.
C1
r
F
Sen
C2
s
F
C3
~r
V
r s
Hipotenusa
Cateto opuesto a
C4
~s
V
r
y
C5
rs
F
C6
~ r ~ s
V
s mientras que su negacin literal es

Cos
Hipotenusa
Cateto adyacente a
y es verdadero segn la columna C6 de la tabla.
Negacin del condicional

La negacin del condicional equivale a la conjuncin del antecedente con la negacin del
consecuente del condicional. Simblicamente,
p q p
Ejemplo 1.20
Negacin de un condicional en contexto matemtico
Negar simblica y literalmente el condicional enunciado segn la siguiente figura,
Si el pentgono MNPQR tiene los lados iguales
entonces
es regular
Solucin. Empecemos por simbolizar la proposicin condicional constituida por las

proposiciones simples
t: El pentgono MNPQR tiene los lados iguales (V)
u: El pentgono MNPQR es regular (F)
40
As,
Si el pentgono MNPQR tiene los lados iguales
V
entonces
es regular
F
es simbolizada t u . Su valor de verdad es falso y se obtiene mediante la tabla siguiente en

C4.
C1
t
V
C2
u
F
C3
~u
V
C4
t u
F
t u t
C5
t ~ u
V
u mientras que su negacin literal es
El pentgono MNPQR tiene los lados iguales
no es regular,
el cual es verdadero segn la columna C5 de la tabla.
Ejemplo 1.21
Negacin de un bicondicional en contexto matemtico
Negar simblica y literalmente el bicondicional,

222 es mltiplo de 3
2 + 2 + 2 es mltiplo de 3
si y solo si
Solucin. Empecemos por simbolizar la proposicin bicondicional constituida por las

proposiciones simples
r: 222 es mltiplo de 3 (V)
s: 2 + 2 + 2 es mltiplo de 3 (V)
As,
222 es mltiplo de 3
V
si y solo si
V
es simbolizada r s . Su valor de verdad es verdadero y se obtiene mediante la tabla

siguiente en C5.
C1
r
F
C2
s
F
C3
~r
V
C4
~s
V
C5
r s
V
C6
r ~ s
C7
~ r s
41
negacin literal es
r s r s
r s
r s mientras que su
222 es mltiplo de 3
2 + 2 + 2 no es mltiplo de 3
222 no es mltiplo de 3
y es verdadero segn la columna C6 y C7 de la tabla.
Ejemplo 1.22
Negacin simblica
Negar la expresin simblica
r s t s
Solucin
Se debe negar la conjuncin de una disyuncin con un condicional. Por consiguiente se
utilizarn las leyes de negacin de la conjuncin, de la disyuncin y del condicional, paso a
paso.
r s t s
Conjuncin
EXPRESIN SIMBLICA
EXPLICACIN
1.
Expresin simblica dada
2.
r s t s
r s t s
r s
t s
3.
r s t s r
11.
r s t s r
s t s
t s
La negacin de la
conjuncin es equivalente a
la disyuncin de la
negacin de ambos
miembros de la conjuncin
Desarrollando la negacin
de disyuncin. La negacin
de la disyuncin es
equivalente a la conjuncin
de la negacin de ambos
miembros de la disyuncin
Desarrollando la negacin
del condicional. La
negacin del condicional es
42
la conjuncin del
antecedente con la
negacin del consecuente.
Negacin del bicondicional

La negacin del bicondicional equivale al bicondicional de la negacin de una de sus
proposiciones. Simblicamente,
p q p q
Ejemplo 1.23
p q
p q
Negacin simblica
Negar la expresin simblica
v r u w
Solucin
Se debe negar la disyuncin de un bicondicional con un condicional. Por consiguiente se
utilizarn las leyes de negacin de la disyuncin, del bicondicional y del condicional, paso a
paso.
v r u w
Disyuncin
EXPRESIN SIMBLICA
EXPLICACIN
1.
Expresin
simblica dada
v r u w
2.
v r u w
3.
v r u w v r
v r
u w
u w
La negacin de la
disyuncin es
equivalente a la
conjuncin de la
negacin de ambos
miembros de la
disyuncin
Desarrollando la
negacin del
43
bicondicional. Se
niega solo una.
12.
v r u w v r u w
Desarrollando la
negacin del
condicional. Se
niega solo el
consecuente.
Prctica 1.6
hacerlo"
1. Considere la proposicin siguiente.

Si una funcin no es biyectiva entonces no es inyectiva o no es sobreyectiva.
a. Escriba simblica y literalmente la recproca, contrarrecproca y la contradirecta
b. Escriba simblica y literalmente la negacin de este condicional
c. Escriba este condicional mediante condiciones de suficiencia y necesidad.
Clasifique las proposiciones como simple, negacin, conjuncin, disyuncin, condicional o
bicondicional.
2.
3.
4.
5.
6.
Si un nmero natural no es par entonces es impar

Una proposicin es simple si y solo si carece de conectivos
17 es nmero natural primo
15 es mltiplo de 3 y de 5
40 150 = 110 40 150 = 110
Hallar el valor de verdad de las proposiciones

7. 4 4 0 4 4 1
( )
8. Si 9 4 20 entonces 20 4 9
9. 45 es mltiplo de 5
( )
( )
10. 169 es mltiplo de 13 y 10 es divisor de 25

11.
3 5 1 3 3 17

8 6 2 5 10 12
12.
3 8 5 3

4 3 9 10
2
3
( )
( )
( )
13. 7 14 2 3 4
4
3
5
5
44
( )
14. Problema. Un pastor tiene que pasar un lobo, una cabra y una lechuga de una a la otra
orilla de un ro; dispone de una barca en la que solo caben l y una de las otras tres cosas.
Si el lobo se queda solo con la cabra se la come, si la cabra se queda sola con la lechuga
se la come, cmo debe hacerlo?
15. Lectura. Consideremos el siguiente texto extrado del libro Clculo y Geometra Analtica
de George Simmons. Extraiga del texto, simbolice y niegue: tres proposiciones simples,
tres simples negadas, tres conjunciones, tres disyunciones, tres condicionales y tres
bicondicionales.
Los filsofos presocrticos de la antigua Grecia, es decir aquellos que vivieron antes de la
poca de Scrates (470?- 399 a.C.) constituyeron uno de los grupos de personas ms
destacados e influyentes en la historia de la humanidad. El ms conocido de ellos fue
Pitgoras de Samos (580? - 500? A.C.), un matemtico, cientfico y mstico cuyas ideas
siguen vivas hoy como parte del cuerpo de la civilizacin moderna. La geometra griega fue
ciertamente uno entre la media docena de logros intelectuales supremos de todos los tiempos.
Tales (625?-547?), el maestro de Pitgoras, haba creado la geometra como la
contemplacin de modelos abstractos de lneas y figuras y haba construido las primeras
demostraciones de los primeros teoremas. Pero Pitgoras fue la primera persona en ver la
geometra como un sistema organizado de pensamiento sostenido por la demostracin
deductiva, con un teorema dependiendo de otro en un tejido lgico firmemente unido. La
tradicin nos dice tambin que l mismo descubri muchos teoremas, muy destacadamente
el hecho de que la suma de los ngulos en cualquier tringulo es igual a dos ngulos rectos,
y el famoso teorema de Pitgoras que dice que, en todo tringulo rectngulo el cuadrado de
la longitud de la hipotenusa es igual a la suma de las longitudes de los cuadrados de los
catetos.
Pitgoras naci en la, hermosa isla de Samos, a una milla o dos de la costa del mar Egeo y a
un da de camino de Mileto, la ciudad de Tales, a lo largo de la orilla del mar. Cuando tena
unos 50 aos, emigr de Samos a la colonia griega de Trotona, en el sur de Italia, donde
estableci la famosa escuela pitagrica, una sociedad cuasi-religiosa que puede reclamar el
honor de ser la primera universidad del mundo. Los pitagricos fueron muy conocidos por
dos enseanzas: la doctrina de la transmigracin de las almas de un cuerpo al otro en el
momento de la muerte y la teora de que los nmeros constituyen la verdadera esencia de
todas las cosas.
Los creyentes llevaban a cabo ritos de purificacin y segn reglas alimenticias y morales
estrictas (nada de sexo y nada de carne) para permitir a sus almas la elevacin a niveles
superiores de espiritualidad en vidas posteriores. Sus creencias les conducan tambin a
considerar los sexos como iguales y a tratar humanamente los animales y a los esclavos:
porque quin sabe? En una vida posterior uno podra volver como esclavo, o el alma de uno
podra tomar como residencia el cuerpo de un animal, incluso ay! El de un insecto. Como
modo de lograr la purificacin de la mente, los pitagricos estudiaban geometra, aritmtica,
msica y astronoma: aritmtica no en el sentido de las tcnicas computacionales tiles, sino
ms bien como la teora de nmeros abstracta. Eran aficionados en particular a los nmeros
45
figurados, que surgen al colocar puntos en formas geomtricas regulares. Por ejemplo,
tenemos los nmeros cuadrados:
Como se indica, cada nmero puede obtenerse a partir de su predecesor sumando una frontera
en forma de L llamada gnomon, que significa la escuadra de un carpintero. Dado que los
gnomos sucesivos son los sucesivos nmeros impares, es inmediatamente claro a partir de
2
las distribuciones en cuadrados que la suma de los n primeros nmeros impares es igual a n
2
: 1 3 5 7 9 11 ... (2n 1) n .
Ilustracin 6 Sucesin de los cuadrados de los nmeros naturales estrechamente relacionados con
los nmeros impares
Negar paso a paso cada una de las siguientes expresiones simblicas:

16. Disyuncin r s t v
17.
Conjuncin r s t v
18.
Condicional r
19.
Bicondiconal r s t v
20.
Condicional
21.
p r q r p q
p r q r p q
s t p q r t
22.
23.
24.
p q r
s t v
r s
t v
t s t u
FRMULAS BIEN FORMADAS DEL CLCULO

PROPOSICIONAL
Euclides [330 a.C - 275 a.C].
46

Euclides [330 a.C - 275 a.C]. Matemtico griego. Poco
se conoce a ciencia cierta de la biografa de Euclides,
pese a ser el matemtico ms famoso de la Antigedad.
Es probable que Euclides se educara en Atenas, lo que
explicara su buen conocimiento de la geometra
elaborada en la escuela de Platn, aunque no parece
que estuviera familiarizado con las obras de Aristteles.
Ense en Alejandra, donde alcanz un gran prestigio
en el ejercicio de su magisterio durante el reinado de
Tolomeo I Ster; se cuenta que ste lo requiri para que
le mostrara un procedimiento abreviado para acceder al conocimiento de las
matemticas, a lo que Euclides repuso que no exista una va regia para
llegar a la geometra.
La tradicin ha conservado una imagen de Euclides como hombre de notable
amabilidad y modestia, y ha transmitido as mismo una ancdota relativa
a su enseanza, recogida por Juan Estobeo: un joven principiante en el
estudio de la geometra le pregunt qu ganara con su aprendizaje;
Euclides, tras explicarle que la adquisicin de un conocimiento es siempre
valiosa en s misma, orden a su esclavo que diera unas monedas al
muchacho, dado que ste tena la pretensin de obtener algn provecho de
sus estudios.
Euclides fue autor de diversos tratados, pero su nombre se asocia
principalmente a uno de ellos, los Elementos, que rivaliza por su difusin
con las obras ms famosas de la literatura universal, como la Biblia o el
Quijote. Se trata, en esencia, de una compilacin de obras de autores
anteriores (entre los que destaca Hipcrates de Quos), que las super de
inmediato por su plan general y la magnitud de su propsito.
De los trece libros que la componen, los seis primeros corresponden a lo que
se entiende todava como geometra elemental; en ellos Euclides recoge las
tcnicas geomtricas utilizadas por los pitagricos para resolver lo que hoy
se consideran ejemplos de ecuaciones lineales y cuadrticas, e incluyen
tambin la teora general de la proporcin, atribuida tradicionalmente a
Eudoxo.
Los libros del sptimo al dcimo tratan de cuestiones numricas y los tres
restantes se ocupan de geometra de los slidos, hasta culminar en la
construccin de los cinco poliedros regulares y sus esferas circunscritas,
que haba sido ya objeto de estudio por parte de Teeteto.
47
La influencia posterior de los Elementos de Euclides fue decisiva; tras su

aparicin, se adopt de inmediato como libro de texto ejemplar en la
enseanza inicial de la matemtica, con lo cual se cumpli el propsito que
debi de inspirar a Euclides. Ms all, incluso, del mbito estrictamente
matemtico, fue tomado como modelo, en su mtodo y exposicin, por
autores como Galeno, para la medicina, o Espinoza, para la tica.
De hecho, Euclides estableci lo que, a partir de su contribucin, haba de
ser la forma clsica de una proposicin matemtica: un enunciado deducido
lgicamente a partir de unos principios previamente aceptados. En el caso
de los Elementos, los principios que se toman como punto de partida son
veintitrs definiciones, cinco postulados y cinco axiomas o nociones
comunes.
La naturaleza y el alcance de dichos principios han sido objeto de frecuente
discusin a lo largo de la historia, en especial por lo que se refiere a los
postulados y, en particular, al quinto (postulado de las paralelas). Su
condicin distinta respecto de los restantes postulados fue ya percibida
desde la misma antigedad, y hubo diversas tentativas de demostrarlo
como teorema; los esfuerzos por hallarle una demostracin prosiguieron
hasta el siglo XIX, cuando se puso de manifiesto que era posible definir
geometras consistentes, llamadas no euclidianas, en las que no se
cumpliera la existencia de una nica paralela trazada a una recta por un
punto exterior a ella.
Conceptos fundamentales
Para escribir una frase correctamente en espaol necesitamos de un conjunto de letras
(alfabeto), signos de puntuacin, reglas ortogrficas, entre otras cosas. Para escribir
correctamente una expresin en el Clculo Proposicional necesitamos de un conjunto de
smbolos que consiste de: letras proposicionales, conectivos (operadores lgicos) y parntesis
y corchete izquierdos y derechos ( ) y [ ] (signos de puntuacin).
Smbolos del CP = p1 , p2 , p3 ,... , ~, , , , , , ,
En el Clculo proposicional, CP, las expresiones correctamente escritas se llaman, frmulas

bien formadas, (fbf). En espaol las frmulas bien formadas vienen a ser las palabras o frases
con sentido; la frase La amam de Carlos no tiene sentido pues una de sus palabras,
posiblemente mam, est mal escrita, por cual sta frase es una frmula mal formada del
espaol. As mismo es muy importante la puntuacin para que las frases tengan el sentido
deseado; no es lo mismo decir por ejemplo, Leidy, razona, rpido! que Leidy razona
rpido, el sentido cambia al colocar las comas y los signos de admiracin; igual sucede con
la puntuacin en los lenguajes no naturales como el Clculo Proposicional.
48
Ilustracin 7. Mapa conceptual de las partes del lenguaje Clculo Proposicional
Formula bien formada

Una frmula bien formada, fbf, del Clculo Proposicional CP, se
define inductivamente as:
Definicin 1.5
i.
ii.
iii.
iv.
Cualquier letra proposicional es frmula bien formada

La expresin formada por el smbolo negacin seguido de una
letra proposicional es frmula bien formada
Si A y B son frmulas bien formadas entonces
A B, A B, A B, A B tambin son frmulas bien
formadas.
Si una expresin no proviene de la aplicacin de las tres
reglas anteriores, no es una frmula bien formada
Una frmula bien formada, fbf, diferente de una letra proposicional, posee una estructura
proposicional dada por los conectivos lgicos que la forman; y en una estructura
proposicional sobresale un conectivo lgico llamado conectivo lgico principal que le da el
nombre a la proposicin de negacin, conjuncin, disyuncin, condicional o bicondicional.
49
En el siguiente mapa conceptual se observa una clasificacin de las frmulas bien formadas
del Clculo Proposicional. Una frmula bien formada puede ser tautologa, contradiccin o
una que no es tautologa ni contradiccin llamada indeterminacin. La tautologa es como la
nia consentida del Clculo Proposicional; hemos trabajado para llegar a estudiar y aplicar
la tautologa en los razonamientos humanos.
Ilustracin 8. Mapa conceptual de la clasificacin de las frmulas bien formadas (fbf) del lenguaje Clculo Proposicional
Ejemplo 1.24
Frmula bien formada del Clculo Proposcicional
Hagamos una traduccin del espaol al Clculo Proposicional de la ltima proclama del
Libertador Simn Bolvar, para obtener una frmula bien formada:
Si mi muerte contribuye a que cesen los partidos y se consolide la unin entonces bajar
tranquilo al sepulcro.
Intervienen las proposiciones simples:
p: mi muerte contribuye a que cesen los partidos
q: mi muerte contribuye a que se consolide la unin
r: yo bajar tranquilo al sepulcro
Al leer con una puntuacin adecuada, se obtiene la fbf para la ltima proclama de Bolivar:
(pq)r
50
En aras de clarificar un poco ms el concepto de estructura diremos que el condicional

(pq)r tiene mayor estructura que el condicional st, puesto que el antecedente del
primero es una conjuncin mientras que en el segundo es una proposicin simple.
Para analizar la verdad de una fbf se utiliza un instrumento llamado Tabla de valores de
verdad que consiste en una matriz nm, n filas por m columnas; n = 2N lneas o filas, donde
N es el nmero de proposiciones simples (atmicas) tanto explcitas como implcitas.
Para hallar el valor de verdad de (pq)r, se procede as: primero se coloca las letras
proposicionales p, q, r. Enseguida se colocara las letras proposicionales negadas si las
hubiera (pero en este caso no hay). Con la ayuda de los parntesis se coloca a continuacin
las proposiciones compuestas con dos letras proposicionales, en este caso solo pq. Por
ltimo las de tres letras, que corresponde a la fbf completa.
p q
r pq (pq)r
1
1
1
1
0
0
0
0
1
0
1
0
1
0
1
0
1
1
0
0
1
1
0
0
1
1
0
0
0
0
0
0
1
0
1
1
1
1
1
1
Tabla 10. Posibilidades de verdad de la ltima proclama de Bolvar. Puesto que hay N = 3
proposiciones simples, la tabla consta de un nmeros de filas n = 2 N =23 = 8. Como hay 8 filas, para la
primera columna se toma 4 verdades (1) y a continuacin cuatro falsedades (0). En la segunda, 2
verdades con 2 falsedades y en la tercera una verdad con una falsedad
Obsrvese que (pq)r es falsa solamente cuando: p es 1, q es 1 y r es 0, es decir, cuando

lo nico falso en la proclama de Bolvar hubiera sido bajar tranquilo al sepulcro.
Ejemplo 1.25
Analizar la verdad de la proposicin compuesta:

Se sabe que, si no me he equivocado alguna vez, no he tenido la oportunidad de aprender y
que yo he tenido la oportunidad de aprender. Por tanto, me he equivocado alguna vez.
Solucin. La frase se sabe que anuncia una hiptesis, algo conocido por al menos un grupo
de personas con las que se pretende establecer una comunicacin comprensiva; obsrvese
que la hiptesis es una conjuncin. La frase por tanto anuncia una conclusin a partir de una
informacin proporcionada en la hiptesis; esta frase puede asimilarse a entonces que
51
. As que la proposicin compuesta es un condicional con proposiciones
simbolizaremos
simples:
p: me he equivocado alguna vez

q: hemos tenido la oportunidad de aprender
La hiptesis se formaliza en p q q y la conclusin en p . As la frase dada
queda formalizada: ~ p ~ q q p .
El anlisis de verdad se realiza mediante la tabla de verdad siguiente:

p
V
V
F
F
V
F
V
F
~p
~q
F
F
V
V
F
V
F
V
~ p ~ q ~ p ~ q q
V
V
F
V
V
F
F
F
~ p ~ q q p
V
V
V
V
La frmula bien formada ~ p ~ q q p es verdadera independientemente de

los valores de verdad de las proposiciones simples; siempre es verdadera. Las frmulas bien
formadas de este tipo se llaman Tautologas.
Ejemplo 1.26
Analizar la verdad de la proposicin compuesta bicondicional

~ p q ~ p ~ q .
p
~p
~q
~ p q
~ p ~ q
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
V
V
F
F
F
F
V
~ p q ~ p ~ q
F
F
F
F
La frmula bien formada ~ p q ~ p ~ q es falsa independientemente de

los valores de verdad de las proposiciones simples; siempre es falsa. Una frmula bien
formada de este tipo se llama Contradiccin. Aqu ~ p q se contradice con
~ p ~ q ; cuando una es verdadera, la otra es falsa.
52
Tautologa
Ahora veremos uno de los conceptos ms importantes del Clculo Proposicional: la
tautologa. Su importancia se debe a que las leyes de la Lgica del Clculo Proposicional
son tautologas y son los esquemas de razonamiento correcto.
Definicin 1.6
Tautologa
Una frmula bien formada es tautologa si y solo si es verdadera
independientemente de los valores de las proposiciones atmicas.
La fbf (pq)r no es una tautologa, pues como se puede ver en la Tabla10, es falsa en la
fila 2. Esta fbf, algunos autores le llaman Frmula bien formada Indeterminada o
Contingencia.
Contradiccin
Definicin 1.7
Contradiccin
Una frmula bien formada es contradiccin si y solo si es falsa
independientemente de los valores de las proposiciones atmicas.
Observacin. Una fbf que no es Tautologa ni Contradiccin se llamar Frmula bien

formada Indeterminada o Contingencia; se caracteriza por ser algunas veces verdadera y
otras falsas. Su verdad depende de los valores de verdad de las proposiciones atmicas,
mientras que la verdad de la tautologa y de la contradiccin depende nicamente de su forma.
Para comenzar la discusin de estos temas, analicemos las dos frmulas bien formadas:
(p) y p (p). Construyamos sus tablas.
p
V
F
p
F
V
p (p)
V
V
p (p)
F
F
Tabla 11. Prototipos de Tautologa y Contradiccin.
Segn las definiciones, p (p) es tautologa mientras que p (p) es contradiccin.

Obsrvese que al reemplazar las letras proposicionales de p (p) por otras simples o
compuestas, las fbf resultantes tambin ser tautologa, como por ejemplo (ru)(ru), a
(a) y (wz) (wz). Si en estas fbf cambiamos el smbolo por se obtienen
contradicciones.
De todas las tautologas, la implicacin tautolgica y la equivalencia tautolgica, gozan de
un privilegio especial en el Clculo Proposicional, particularmente las primeras debido a que
las leyes del razonamiento son implicaciones tautolgicas. Una implicacin tautolgica es
un condicional el cual es una tautologa y una equivalencia tautolgica es un bicondicional
la cual es tautologa.
Ejemplo 1.27
Mostrar que la fbf de reduccin al absurdo p q ~ q ~ p es una tautologa.
53
Solucin. El proceso de mostracin se da en la siguiente tabla.

p
~p
~q
~ q q
p q ~ q
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
F
F
F
F
F
F
V
V
p q ~ q ~ p
V
V
V
V
Luego p q ~ q ~ p es una tautologa.
Prctica 1.7
hacerlo"
Haga una traduccin a frmulas bien formadas del Clculo Proposicional de las siguientes
proposiciones compuestas del espaol. Haga un anlisis de la verdad de cada frmula bien
formada mediante una tabla de verdad.
1. El nio llora si y solo si est triste o enfermo.
2. Si no te equivocas de vez en cuando, no ests aprovechando todas tus oportunidades.
3. Puedes engaar a todo el mundo algn tiempo, puedes engaar a algunos todo el tiempo
pero no puedes engaar a todo el mundo todo el tiempo.
4. Si no estudiamos a conciencia entonces perdemos nuestro tiempo o el de otros.
5. Si no quieres perderte en el olvido tan pronto como hayas muerto entonces escribe cosas
dignas de leerse o haz cosas dignas de escribirse.
6. Una figura geomtrica es un tringulo si y solo si la figura geomtrica es una poligonal
cerrada y tiene tres lados.
7. Si te conoces bien, has aprendido a confiar en ti mismo, eres sincero contigo mismo,
eres sincero con los dems, le obedeces a tu corazn y eres leal a tus verdades entonces
ests listo para compartir tu vida, para fijar tus metas y hallar tu felicidad.
8. Mediante una tabla de verdad mostrar que
La fbf
p ~ p q es fbf
indeterminada.
p
pq
(pq)
p [ (pq)]
54
9. Mediante una tabla de verdad mostrar que la fbf (p q) (p q) es contradiccin

p
pq
p q
(p q) (p q)
Resolver los problemas siguientes:

10. Un hombre, que dispone de una linterna, est al principio de un largo pasillo que tiene
tres interruptores, al final hay una habitacin con la puerta cerrada. Uno de estos tres
interruptores enciende la luz de esa habitacin, que est inicialmente apagada. Cmo
hizo para saber qu interruptor enciende la luz recorriendo una sola vez el trayecto del
pasillo.
11. Buscamos un nmero de seis cifras con las siguientes condiciones
Ninguna cifra es impar.
La primera es un tercio de la quinta y la mitad de la tercera.
La segunda es la menor de todas.
La ltima es la diferencia entre la cuarta y la quinta
implicaciones tautolgicas
Las implicaciones tautolgicas esquematizan leyes del razonamiento. Son frmulas para
pensar correctamente. Constituyen la herramienta principal del concepto de deduccin.
No
IMPLICACION
NOMBRE
01.
p p q q
02.
~ q p q ~ p
Ley de separacin o modus ponendo

ponens
Ley modus tollendo tollens
03.
p q ~ p q
Ley modus tollendo ponens
04.
p q p
p q p q
p p p
p p q
Ley de simplificacin
05.
06.
07.
Ley de adjuncin
Ley de simplificacin disyuntiva
Ley de adicin
55
08.
p q q r p r
Ley del silogismo hipottico
09.
p q p r q s r s
Ley del silogismo disyuntivo
10.
p q r p q r
Ley de importacin
11.
p q r p q r
Ley de exportacin
12.
p q p q
p q q p
Ley del bicondicional
14.
p q q p p q
15.
p q p q q p
p q ~ q ~ p
13.
16.
Ley del absurdo
Tabla 12. Implicaciones tautolgicas. Todas estas tautologas esquematizan leyes de razonamiento vlido.
El conectivo principal de cada una de las frmulas bien formadas de la tabla 12, es el
condicional. En consecuencia la parte del condicional que se encuentra antes del smbolo ,
se llama hiptesis del razonamiento, la cual est formada por una proposicin o una
conjuncin de proposiciones; dichas proposiciones se llaman premisas. La proposicin
ubicada despus del smbolo se llama tesis o conclusin.
Prctica 1.8
hacerlo"
1. Mediante una tabla de verdad mostrar que p q ~ p q es tautologa. Esta
frmula bien formada se llama ley modus tollendo tollen.
p
pq
p(pq)
[p(pq)]q
2. Mediante una tabla de verdad mostrar que p q r p q r es

tautologa. Esta frmula bien formada se llama ley de exportacin.
56
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r qr pq (p(qr) (pq)r
V
F
V
F
1
F
V
F
[(p(qr)] [(pq)r]
3. Mediante una tabla de verdad mostrar que ~ p q ~ q ~ p es tautologa.

Esta frmula bien formada se llama ley cotrarrecproca o contraposicin.
p
pq
(p q)
q p
(pq) (qp)
4. La ley cotrarrecproca o contraposicin es tautologa:

[ p (q r) ] ( p q ) ( p r )
qr
pq p r
p(q
r)
[ p (q r)
]
(pq)(pr)
5. Mediante una tabla de verdad muestre que cada frmula bien formada de la tabla 12 son
tautologas.
Equivalencias tautolgicas
Las siguientes equivalencias o bicondicionales son importantes porque, al igual que las
implicaciones, son algunas de las tautologas que esquematizan leyes del razonamiento.
Tambin son frmulas para pensar correctamente.
No EQUIVALENCIA
NOMBRE
57
01.
p ~ ~ p
Ley de doble negacin
02.
p q ~ q ~ p
03.
~ p q ~ p ~ q
Ley de la contraposicin o
contrarrecproca
Primera ley de De Morgan
04.
~ p q ~ p ~ q
Segunda ley de De Morgan
05.
p q q p
p q q p
p q q p
p q ~ p q
Ley conmutativa de la conjuncin
06.
07.
08.
09.
~ p q p ~ q
10.
p q p q q p
~ p q ~ p q
~ p q p ~ q
p q r p q p r
11.
12.
13.
Ley conmutativa de la disyuncin

Ley conmutativa del bicondicional
Ley de equivalencia entre condicional y
disyuncin
Ley de negacin del condicional
Leyes del bicondicional
Ley de negacin del bicondicional
Ley de negacin del bicondicional
Ley distributiva de la disyuncin con
respecto a la conjuncin
Ley distributiva de la conjuncin con
respecto a la disyuncin
Ley asociativa de la disyuncin
14.
p q r p q p r
15.
p q r p q r
16.
p q r p q r
Ley asociativa de la conjuncin
17.
p q r p q r
Ley asociativa del bicondicional
Tabla 13. Equivalencias tautolgicas. Todas estas tautologas esquematizan leyes de razonamiento
vlido.
Cada miembro de la equivalencia es hiptesis y conclusin a la vez.
Prctica 1.9
hacerlo"
1. Demostrar que cada frmula bien formada de la tabla 13 es una tautologa.
2. Negar paso apaso las siguientes frmulas bien formadas.
a. p r q r r s p q
58
b. s p t u p q s t
c. u w p t s u p q
d. r s p r u t s p
3. Dar y explicar una condicin suficiente pero no necesaria para que una expresin
simblica de la lgica proposicional sea una frmula bien formada.
4. Dar y explicar una condicin necesaria pero no suficiente para que una expresin
5. Dar y explicar una condicin suficiente pero no necesaria para que una expresin
6. Dar y explicar una condicin necesaria pero no suficiente para que una frmula bien
formada no sea tautologa.
DEDUCCIN O INFERENCIA
Bertran Rusell (1872-1970).
Henri Poincar disponible en http://www.euclides.org/menu/articles/article101.htm y
http://www.biografiasyvidas.com/biografia/p/platon.htm.
Bertrand Rusell.
Filsofo y matemtico
britnico. Es uno de los creadores de la logstica y
uno de los pensadores de mayor influencia en la
filosofa cientfica contempornea. Lo fundamental
en su obra es su aportacin a la lgica.
Antiaristotlico por excelencia lleg a afirmar que
para iniciarse en lgica lo bsico era no estudiar
la lgica de Aristteles. Conociendo los trabajos de
Cantor descubre en la Teora de Conjuntos
varias paradojas que resuelve mediante la Teora
de los Tipos. Aos ms tarde establece una teora
similar, -la de la jerarqua de los lenguajes- para eliminar las paradojas
semnticas. Siguiendo adems de los trabajos de Cantor, a Peano y Frege,
Rusell se propone fundamentar y axiomatizar la matemtica a partir de
conceptos lgicos. Este empeo culmina con la publicacin (1910-1913) de
los monumentales Principia Mathematica -en colaboracin con Whitehead-,
obra que, adems, sienta las bases de la moderna lgica formal.
59
Conceptos fundamentales
Siendo yo an muy joven, a propsito hace ya mucho tiempo, me preocupaban esencialmente
dos problemas, de los cuales el primero consista en cmo fue la creacin del universo y su
evolucin y el segundo giraba en torno a cmo piensan las personas y en particular qu es la
matemtica y cmo piensan los matemticos. La bsqueda de la solucin a cmo piensan las
personas, qu es la matemtica y cmo piensa el matemtico me indujo a estudiar lgica y
sigo pensando al igual que antes, que gran parte de la solucin est por esta va; por esta
razn he dedicado varios aos de mi vida a madurar conceptos de la lgica matemtica.
El pensamiento en el ser humano se presenta en tres niveles, en su orden: concepto, juicio y
razonamiento. El pensamiento a nivel conceptual o simplemente concepto o idea acerca de
un objeto de conocimiento es una representacin intelectual de dicho objeto, la cual no es
una imagen fotogrfica, sino el descubrimiento y entendimiento de las caractersticas o
caracteres que determinan ese objeto y que lo hace inconfundible con otro. La concepcin o
idea de carro es distinta en cada persona y cambia a travs del tiempo; hay tantos conceptos,
ideas o entendimientos de un objeto como de personas. El concepto es siempre susceptible
de mejorarse, en cuanto a entender ms el objeto de estudio; el concepto es claro u oscuro,
es decir, se entiende o no, no puede ser verdadero ni falso porque en l no hay afirmaciones.
La gran lucha intelectual de un estudioso consiste en primera instancia, en mejorar sus
conceptos o ideas sobre sus saberes. Esto tiene que ver con la claridad con la cual clasifica
las caractersticas escenciales que determinan los objetos de aprendizaje para diferenciarlo
de otro. El concepto est en la cabeza del individuo que piensa y lo exterioriza mediante una
expresin verbal llamada Trmino; as la palabra casa es el trmino del concepto casa.
Ilustracin 9. Niveles de pensamiento. El ser humano piensa conceptuando, haciendo juicios o razonando
sobre el objeto de estudio.
El pensamiento a nivel de juicio o simplemente juicio consiste en una comparacin o relacin

de conceptos; por primera vez se relacionan los conceptos en nuestro pensamiento
60
produciendo una mayor actividad intelectual que en el concepto. Cuando pensamos

2+3
= 5 estamos identificando el concepto 2+3 con el de 5; en el juicio el nmero 9 es
primo se relacionan los conceptos el nmero 9 con nmero primo. El juicio est en el
intelecto humano y se exterioriza por medio de una expresin verbal llamada Proposicin.
Es a travs de las proposiciones que damos a conocer nuestros juicios con el fin de
socializarlos. Los juicios y por ende las proposiciones se caracterizan por ser verdaderos o
falsos mientras que, como ya dijimos, el concepto es claro u oscuro.
El mximo nivel de pensamiento es el razonamiento, el cual puede ser inductivo o deductivo.
Por ahora hablemos solamente del razonamiento deductivo. Este es el pensamiento que
consiste en partir de un conjunto finito de proposiciones verdaderas P A1 , A2 , A3 ,..., An
llamadas premisas (proposiciones primeras de un razonamiento) para obtener una nueva
proposicin verdadera llamada conclusin C mediante la aplicacin de reglas de inferencia
o de razonamiento. Siempre que se razone, se est deduciendo o infiriendo. La expresin
verbal de un razonamiento se llama argumentacin. El razonamiento se caracteriza por ser
vlido (correcto) o invlido (incorrecto).
Un caso tpico de razonamiento es el de un nio mientras almuerza:
Mi madre me ha dicho siempre y lo ha cumplido:
Si almuerza juicioso entonces sale a jugar (p1p2): PREMISA 1
Puesto que ya,
almorc juicioso (p1) : PREMISA 2
concluyo que
saldr a jugar (p2): CONCLUSIN
En este sencillo ejemplo podemos decir que p2 se sigue o se deduce de p1 y de p1p2. Para
este nio las premisas p1 y (p1p2) son verdaderas como tambin la conclusin p2. Si la
conclusin salir a jugar fuera falsa por culpa de su madre, el nio dira que su mam no es
lgica, que razona mal, que su razonamiento no es vlido.
De esta manera preparamos el ambiente para entrar a discutir cuando una conclusin C se
deduce o se infiere de un conjunto de premisas P. El esquema simblico de este razonamiento
es:
Ilustracin 10. Un esquema de razonamiento de los humanos llamado Modus Ponendo Ponens o Modo
en que afirmando afirma.
61
Los smbolos , y significan se deduce, se concluye o se infiere. El conjunto

de premisas es P p1 p2 , p2 mientras que p2 es la conclusin y la regla que permite
obtener la conclusin a partir de las premisas se llama modo que afirmando, afirma como
veremos ms adelante.
A continuacin veremos algunas leyes de razonamiento, esquemas diseados en el cerebro
de todo ser humano, con las cuales razona: obtiene conclusiones a partir de una o varias
proposiciones verdaderas.
Toda ley de razonamiento es una tautologa: la conjuncin de las premisas implica
tautolgicamente la conclusin.
He aqu la importancia de las tautologas en la lgica!
Leyes o reglas de inferencia
Ley de razonamiento Modus ponendo ponens

La ley de razonamiento Modus Ponendo Ponens o Modo que Afirmando Afirma es la regla
de razonamiento que ms usan los humanos en sus pensamientos diarios. Tiene la estructura
Sabemos que p q es verdadera; como p es verdadera se concluye q verdadera
El condicional pq es un conocimiento generalizado para el grupo de personas con quienes
nos estamos comunicando; todas esas personas saben que dicho conocimiento es verdadero
y se denomina premisa mayor mientras que p, la premisa menor, es el antecedente del
condicional anterior. Del conjunto de estas dos premisas se concluye (se deduce, se infiere)
vlidamente el consecuente del condicional premisa mayor.
Lo anterior se sintetiza en uno de estos esquemas:
Ilustracin 11. Razonamiento modus Ponendo Ponens. La expresin p q es la premisa mayor y p la

premisa menor. Estas dos premisas constituyen la hiptesis o datos conocidos. La conclusin es q .
62
Estos esquemas se pueden leer brevemente: del conjunto de premisas

deduce q , donde los smbolos
p, p q se
, , significan se deduce, se infiere o se concluye.
Para probar que el Modus Ponendo Ponens constituye un razonamiento vlido verificamos
que p p q q es una tautologa.
p
1
1
0
0
q
1
0
1
0
pq
p p q
p p q q
1
0
1
1
1
0
0
0
1
1
1
1
Tabla 14. La regla del Modus Ponendo Ponens
p p q q es una tautologa
En resumen:
Ilustracin 12. Esquema de la ley de razonamiento Modus ponendo ponens. La conjuncin de las
premisas implican tautolgicamente la conclusin.
Ejemplo 1.28
Ley de inferencia Modus Ponendo Ponens
63
Sabemos que, si l est en el partido de ftbol entonces est en el estadio.

Efectivamente, l est en el partido de ftbol. Por tanto, l est en el
estadio.
Premisa mayor r t : Si l est en el partido de ftbol entonces est
en el estadio
Premisa menor r : l est en el partido de ftbol
Conclusin
t: l est en el estadio
Puede usted probar que r r t t es una tautologa.

Ejemplo 1.29

Se sabe que, si no hace sol entonces la gente sale a desfile. Puesto que hoy,
no hace sol, se deduce que, la gente sale al desfile.
u: Hace sol
r: La gente sale al desfile
Puede usted probar que ~ u ~ u r r es una tautologa.
Ejemplo 1.30

Sabemos que, si no voy al mdico entonces no me alivio de mis males.
Como, no voy al mdico, se infiere que, no me alivio de mis males.
a: Voy al mdico
b: Me alivio de mis males
Pruebe que ~ a ~ a ~ b ~ b es una tautologa.
Ejemplo 1.31

Se sabe que, si hoy es lunes entonces no puedo viajar a Bogot. Puesto
que, hoy es lunes, se infiere que, no puedo viajar a Bogot.
m: Hoy es lunes
n: Puedo viajar a Bogot
Pruebe que m m ~ n ~ n es una tautologa.
Ejemplo 1.32
64
Se sabe que, si n>1 es divisible solamente por n y por 1 entonces es

primo. Puesto que, 2 >1 es divisible solo por 2 y por 1, se deduce que, 2
es primo.
c: n es divisible solamente por n y por 1
e: n es primo
Pruebe que c c e e es una tautologa.
Ejemplo 1.33

Se sabe que, si una planta no crece entonces necesita ms agua
o necesita mejor abono. Esta planta no crece. Por tanto,
necesita ms agua o mejor abono.
p1: Una planta crece
p2: Una planta necesita ms agua
p3: Una planta necesita mejor abono
Pruebe que p1 p1 p2 p3 p2 p3 es una
tautologa.
Ejemplo 1.34

Se sabe que, si un nmero entero n es par entonces no es impar.
Puesto que, 0 es par, se deduce que 0 no es impar.
p4: Un nmero n es entero par
p5: Un nmero n entero es impar
Puede usted probar que p4 p4 ~ p5 ~ p5 es una
tautologa.
IMPORTANTE!
Las leyes de inferencia son razonamientos cortos; son los tomos del razonamiento. Pero
hay razonamientos largos que se componen de una cadena de estos razonamientos cortos,
establecindose una estrecha relacin de una proposicin con otra u otras anteriores; ste es
un tipo de relacin de proposiciones llamado relacin deductiva. En el ejemplo 35 se muestra
una cadena de razonamientos Modus Ponendo Ponens.
Ejemplo 1.35
Ilustracin habitual de la demostracin de un problema
65
La figura muestra una seccin transversal de una columna pentagonal

de madera para una casa, inscrita en una circunferencia de radio 10cm;
el carpintero raspa la parte sombreada para formar la columna de
seccin transversal pentagonal de lado 8cm. Calcular el rea raspada
argumentando cada afirmacin.
Solucin
PASO
AFIRMACIN
RAZN
El pentgono es regular
El lado del pentgono mide L = 12
cm
El radio del crculo mide
cm
r = 10
Por hiptesis o premisas

(Datos conocidos)
La apotema del pentgono regular es

a.
2.
ON es perpendicular NM en N y
L
NM
2
Por definicin de apotema

de un polgono regular
3.
El tringulo ONM es rectngulo en N
Por la afirmacin 2
Por teorema de Pitgoras
4.
10cm
12
cm
2
L
r 2 a2
2
L
a r
2
2
5.
a 8cm
Simplificando
66
6.
A 10cm
7.
A 100 cm2
1
5 6cm 8cm
2
El rea de un crculo es
A r 2 , donde r es el
radio
Simplificando
El rea de un polgono
1
regular es A Pa , donde
2
P es el permetro del
polgono y a es su
apotema
8.
9.
A 120cm2
Simplificando
Arasp 100 cm2 120cm2
Estrategia de solucin
planteada en la parte (a):
10.
4(25 - 30)cm2
Arasp Acir Apent
Observacin:
1. En esta ilustracin de deduccin se muestra lo fundamental de un razonamiento:
siempre se hace una afirmacin y se justifica dando una razn o por qu se realiza tal
afirmacin. As se razona en todas la ciencias.
2. Una razn es otra afirmacin (proposicin) que bien puede ser un teorema ya
demostrado, axioma o una definicin, es decir, una afirmacin aceptada por toda la
comunidad, en este caso, la comunidad matemtica.
3. Se puede presentar la demostracin sin el formalismo de las tres columnas y aun
ms abreviada, as:
Por hiptesis, el pentgono es regular, el lado del pentgono mide

L = 12 cm, el radio del crculo r = 10 cm y la apotema del
pentgono regular es a.
Ahora, por definicin de apotema de un polgono regular, ON es perpendicular
L
NM en N y NM .
2
De la conclusin anterior, el tringulo ONM es rectngulo en N.
67
L
Por teorema de Pitgoras r a y
2
2
L
a r
2
se obtiene
12
a 10cm cm y simplificando a 8cm . Luego la apotema mide 8cm.
2
Por otro lado, el rea de un crculo es A r 2 , donde r es el radio y por

2
consiguiente, A 10cm y simplificando, A 100 cm2 .
Ahora bien, el rea de un polgono regular es A
polgono y a es su apotema; as A
1
Pa , donde P es el permetro del
2
1
5 6cm 8cm y simplificando,
2
A 120cm2 .
Finalmente, puesto que la estrategia de solucin planteada es
Arasp Acir Apent se llega a Arasp 100 cm2 120cm2 = 4(25 - 30)cm2 y
por consiguiente, el rea raspada mide 4(25 - 30)cm2 , con lo cual termina la
demostracin.
Ejemplo 1.36
Deduccin
Demostrar ~ t es verdadera a partir de la siguiente hiptesis

1. r ~ t
2. s r
3. s
Demostracin
PASO CONCLUSIN
r ~ t
1.
2.
3.
s r
s
4.
5.
~t
RAZON
Dada como premisa (parte de la hiptesis)
Se sabe que, s r y s son verdaderas por ser premisas. En
consecuencia por Modus Ponendo Ponens, en los pasos 2 y 3
se obtiene la conclusin
Se sabe que, r ~ t es verdadera por ser premisa y que r
es verdadera por ser una conclusin en el paso 4. En
consecuencia por Modus Ponendo Ponens, en los pasos 1 y 4
se obtiene la conclusin
68
Ley de razonamiento Modus tollendo tollens
Ilustracin 13. Razonamiento Modus Tollendo Tollens. La expresin p q es la premisa mayor y

~ q premisa menor. Estas dos premisas constituyen la hiptesis o datos conocidos. La conclusin es
~ p.
La ley de razonamiento Modus Tollendo Tollens o Modo que Negando Niega es una regla
de razonamiento muy usada por los matemticos para realizar demostraciones por un mtodo
llamado mtodo de la contrarrecproca. Tiene la estructura
Sabemos que p q ; como ~ q se concluye ~ p .
El condicional pq se llama premisa mayor y ~ q premisa menor, la cual es la negacin
del consecuente del condicional. Se concluye vlidamente la negacin del antecedente.
Para probar que el Modus Tollendo Tollens constituye un razonamiento vlido verificamos
que q p q ~ p es una tautologa.
P
~p
1
1
0
0
1
0
1
0
0
0
1
1
q
0
1
0
1
pq
1
0
1
1
Tabla 15. La regla del Modus Tollendo Tollen
En resumen:
q p q
0
0
0
1
q p q ~ p
1
1
1
1
q p q ~ p es una tautologa
69
Ilustracin 14 Esquema de la ley de razonamiento Modus Tollendo Tollens. La conjuncin de las

premisas implican tautolgicamente la conclusin
Ejemplo 1.37
Modus Tollendo Tollens

Sabemos que, si un rbol es grande entonces da buena sombra; pero
este rbol no da buena sombra. Por tanto, no es grande
g: Un rbol es grande
s: Un rbol da buena sombra
Ejemplo 1.38

Se sabe que, si n > 1 es divisible solamente por n y por 1 entonces es
primo. Puesto que, 6 no es primo, se deduce que, 6 no es divisible
solamente por 6 y por 1.
c: n > 1 es divisible solamente por n y por 1
e: n es primo
Ejemplo 1.39
70

Se sabe que, si estamos en la maana entonces el sol est en el este.
Puesto que en este momento, el sol no est en el este, se deduce que,
no es de maana.
p1: Estamos en la maana
p2: El sol est en el este
Ejemplo 1.40
Deduccin
Demostrar ~ n es verdadefa a partir de la siguiente hiptesis

1. m n j
2.
f g ~ j
3. f g
Demostracin
PREMISA
DE APOYO
p1
p 2
p3
p2, p3
PASO
CONCLUSIN
2.
m n j
f g ~ j
3.
f g
1.
4.
~ j
p1, p2, p3
5.
~ m n
p1, p2, p3
6.
~ m ~ n
RAZON

Se sabe que, f g ~ j y f g son
verdaderas por ser premisas (parte de la
hiptesis). En consecuencia por Modus
Ponendo Ponens, en los pasos 2 y 3 se
obtiene la conclusin
Se sabe que, m n j es verdadera por
ser premisa (parte de la hiptesis) y que ~ j
es verdadera por ser una conclusin en el
paso 4. En consecuencia por Modus Tollendo
Tollens, en los pasos 1 y 4 se obtiene la
conclusin
Sabemos que, ~ m n es verdadero por ser
conclusin de la deduccin en el paso 5. Por
tautologa de equivalencias nmero 4,
segunda ley de De Morgan, se concluye
71
Ejemplo 1.41

Supongamos que son verdaderas las dos afirmaciones siguientes,
Si x 0 entonces x y 0 y x y 0 .
Obsrvese que x y 0 es justamente la negacin de x y 0 , el
cual es el consecuente del condicional. Razonando mediante la regla de
inferencia Modus tollendo tollens, se concluye x 0 es verdadero.
En este ejemplo p: x 0 , q: x + y < 0,
p:x 0 y
q: x y 0.
Ejemplo 1.42 Deduccin o inferencia

Demostrar que f es verdadera a partir de la siguiente hiptesis
1. g h
2. ~ g ~ ~ f
3. ~ h
Demostracin
Premisa P
de
CONCLUSIN
apoyo
1 1. g h
2
3
1,3
RAZON
2.
3.
Se sabe que, g h y ~ h son verdaderas por ser

premisas. En consecuencia por Modus Tollendo
Tollens, en los pasos 1 y 3 se obtiene la
conclusin
4.
5.
6.
Se sabe que, ~ g ~ ~ f es verdadera por

hiptesis y que ~ g es verdadera por ser una
conclusin en el paso 4. En consecuencia por
Modus Ponendo Ponens, en los pasos 2 y 4 se
Sabemos que, ~ ~ f es verdadero por ser
conclusin de la deduccin en el paso 5. Por
tautologa de equivalencias nmero 1, doble
negacin, se concluye
Ejemplo 1.43
72
Deduccin o inferencia
Demostrar que: x 0 , sabiendo que

1. x 0 y 1
2. x y y w
3. y w y 1
4. x y
Demostracin
Premisas de Paso
apoyo
1
1.
Conclusin
Justificacin
x 0 y 1
Por hiptesis
2.
x yyw
Por hiptesis
3.
y w y 1
Por hiptesis
x y
2, 4
5.
yw
2,3, 4
6.
y 1
1, 2,3, 4
7.
x0
2
3
4
Por hiptesis
Sabemos que, x y y w y x y son
verdaderas por ser premisas. En consecuencia por
Modus Ponendo Ponens, en los pasos 2 y 4 se
Como, y w y 1 es verdadera por hiptesis y
y w es verdadera por ser la conclusin en el
paso 5, se obtiene por Modus Ponendo Ponens, en
los pasos 3 y 5 la conclusin
Puesto que, x 0 y 1 es verdadera por ser
premisa y adems y 1 es verdadero por ser
conclusin de la deduccin en el paso 6, se sigue
por Modus Tollendo Tollens, la conclusin
Ley de razonamiento modus tollendo ponens
Ilustracin 15. Esquema de razonamiento Modus tollendo ponens o Modo que negando afirma. La
expresin p q es la premisa mayor y ~ q premisa menor. Estas dos premisas constituyen la
73
hiptesis o datos conocidos y la conclusin es p . Tambin, la premisa menor es

conclusin es q.
p y en este caso la
La ley de razonamiento Modus Tollendo Ponens o Modo que Negando Afirma es una regla
de razonamiento que tiene la estructura
Sabemos que p q ; como ~ q se concluye p .
o,
Sabemos que p q ; como ~ p se concluye q .

La disyuncin inclusiva p q se llama premisa mayor y ~ q premisa menor, la cual es
la negacin de una de las proposiciones de la disyuncin. Se concluye vlidamente la otra
proposicin de la disyuncin.
Para probar que el Modus Tollendo Ponens constituye un razonamiento vlido verificamos
que q p q p y p p q q son tautologas.
P
~p
1
1
0
0
1
0
1
0
0
0
1
1
q
0
1
0
1
pq
q p q
1
1
1
0
0
1
0
0
Tabla 16. La regla del Modus Tollendo Ponens
~p
1
1
0
0
1
0
1
0
0
0
1
1
q
0
1
0
1
En resumen:
~ q p q p es una tautologa
pq
p p q
1
1
1
0
0
0
1
0
Tabla 17. La regla del Modus Tollendo Ponens
q p q p
1
1
1
1
p p q q
1
1
1
1
~ p p q q es una tautologa
74
Ilustracin 16. Esquema de la ley de razonamiento Modus tollendo ponens. La conjuncin de las premisas
implican tautolgicamente la conclusin.
Ejemplo 1.44
Ley de razonamiento Modus Tollendo Tollens

Se sabe que, sta persona est trabajando o estudiando. Pero ahora, ella
no est trabajando. Por tanto, est estudiando.
g: Esta persona trabaja
s: Esta persona estudia
Ejemplo 1.45
Mostrar que la conclusin es consecuencia de las premisas dadas.

Hace fro y llueve o el festival se realizar al aire libre. Pero, no hace fro o no llueve. Por
tanto, el festival se realizar al aire libre.
Demostracin
p: hace fro
q: llueve
r: el festival se celebrar al aire libre
75
PREMISA
DE
PASO RAZON
APOYO
1
1.
Por hiptesis
2.
3.
1, 2
4.
Ejemplo 1.46
CONCLUSIN
p q r
~ p ~ q
Por hiptesis
Sabemos que, ~ p ~ q es verdadera por ser
premisa. En consecuencia por tautologa de la
primera ley de De Morgan, se obtiene la
conclusin.
Como ~ p q es verdadera por ser la
conclusin en el paso 3, se obtiene por Modus
Tollendo Ponens, en los pasos 1 y 3 la
conclusin
~ p q
Ejemplo 39. Deduccin

Mostrar que la conclusin es consecuencia de las premisas dadas.
Si Juan es ms alto que Pedro entonces Mara es ms baja que Juana
p
q
Mara no es ms baja que Juana
q
Si Juan y Lus tienen la misma estatura entonces Juan es ms alto que Pedro
r
p
Por tanto, Juan y Lus no tienen la misma estatura
r
Demostracin
PASO
RAZON
1.
Por hiptesis
2.
Por hiptesis
3
Por hiptesis Modus Ponendo Ponens
Sabemos que, p q es verdadera por ser premisa. En
4.
consecuencia por Modus Tollendo Tollens, se obtiene la
conclusin
Como r p es verdadera por ser premisa y ~ p
6.
verdadera por ser la conclusin en el paso 4, se obtiene por
Modus Tollendo Ponens, en los pasos 3 y 4 la conclusin
Ejemplo 1.47 Deduccin o inferencia
Demostrar q a partir de la siguiente hiptesis
1. s p q
CONCLUSIN
pq
~q
rp
~p
~r
76
2. s
3. ~ p
Demostracin
PREMISAS
DE
PASO RAZON
APOYO
1
1.
Por hiptesis
2
3
CONCLUSIN
s p q
2.
Por hiptesis
Por hiptesis
~p
1, 2
4.
1, 2,3
5.
Sabemos que, s p q es verdadera por ser

premisa. En consecuencia por Modus Ponendo
Ponens, se obtiene la conclusin
Como ~ p es verdadera por ser premisa y
p q verdadera por ser la conclusin en el
paso 4, se obtiene por Modus Tollendo Ponens,
en los pasos 3 y 4 la conclusin
pq
LEY DE RAZONAMIENTO SIMPLIFICACIN
Ilustracin 17 Esquema de razonamiento Simplificacin. La expresin p q es la nica premisa y la

conclusin es p . Tambin puede concluirse q.
La ley de razonamiento Simplificacin es una regla de razonamiento que tiene la estructura

Sabemos que p q por tanto se concluye p
o,
Sabemos que p q por tanto se concluye q
La conjuncin p q se llama premisa y p es la conclusin. Tambin, de p q puede
concluirse q .
Para probar que la ley de Simplificacin constituye un razonamiento vlido verificamos que
p q p y p q q son tautologas.
77
pq
1
1
0
0
1
0
1
0
1
0
0
0
p q p p q q
1
1
1
1
1
1
1
1
Tabla 18. Tautologa ley de Simplificacin
En resumen,
Ilustracin 18. Esquema de la ley de razonamiento Simplificacin. La premisa conjuncin implica

Ejemplo 1.48
Ley de Simplificacin
Se sabe que, el polgono regular tiene los lados iguales y ngulos iguales. Se concluye que,
el polgono regular tiene los lados iguales
Ejemplo 1.49
Ley de Simplificacin
Se sabe que, Sen30
1
3
3
y Cos30
. Se concluye que Cos30
2
2
2
Ley de razonamiento adjuncin

La ley de razonamiento Adjuncin es una regla de razonamiento que tiene la estructura
78
Sabemos que p y q ; por tanto se concluye p q .

La proposiciones p y q se llaman premisas y p q es la conclusin.
Ilustracin 19. Esquema de razonamiento Adjuncin. Las proposiciones p y q son premisas y la

conclusin es p q .
Para probar que la ley de Simplificacin constituye un razonamiento vlido verificamos que
p q p q y p q q p son tautologas.
P q pq (pq) (pq)
1
1
0
0
1
0
1
0
1
0
0
0
1
1
1
1
Tabla 19. Esquema de la ley de razonamiento Adjuncin. La

conjuncin de las premisas implica tautolgicamente la
conclusin
En resumen,
Ilustracin 20. Esquema de la ley de razonamiento Adjuncin. La conjuncin de las premisas implica
79
Ejemplo 1.50
Se sabe que,
Ley de Adjuncin
1. Los tringulos issceles tienen dos ngulos iguales.

2. Los tringulos equilteros son equingulos (ngulos iguales).
Por tanto, los tringulos issceles tienen dos ngulos iguales y los equilteros son
equingulos.
Ejemplo 1.51 Ley de Adjuncin
Se sabe que,
1. un buen estudiante lee el tema antes de la clase
2. un buen estudiante realiza ejercicios
Por consiguiente, un buen estudiante lee el tema antes de la clase y realiza ejercicios
1.3.2.6 Ley de razonamiento simplificacin disyuntiva
Tabla 20 Esquema de razonamiento Simplificacin Disyuntiva. La proposicin

la conclusin.
p p es premisa y p
La ley de razonamiento Simplificacin Disyuntiva es una regla de razonamiento que tiene la

estructura
Sabemos que p p ; por tanto se concluye p .
La proposicin p p se llama premisa y p es la conclusin.
Para probar que la ley de Simplificacin Disyuntiva constituye un razonamiento vlido
verificamos que p p p es tautologa.
P pp (pp) p
1
1
1
0
0
1
En resumen,
Tabla 21. Esquema de la ley de razonamiento Simplificacin Disyuntiva.

La premisa disyuncin implica tautolgicamente la conclusin.
Ejemplo 1.52
80
Ley de Simplificacin disyuntiva
Se sabe que, 3 5 = -2 3 5 = -2. Por tanto, 3 5 = -2
Ley de razonamiento Adicin
Ilustracin 21. Esquema de razonamiento Adicin. La proposicin p es premisa y p q la

conclusin.
La ley de razonamiento Adicin es una regla de razonamiento que tiene la estructura

Sabemos que p ; por tanto se concluye p q .
La proposicin p se llama premisa y p q es la conclusin, donde q es cualquier
proposicin.
Para probar que la ley de Adicin constituye un razonamiento vlido verificamos que
p p q es tautologa.
p
1
1
0
0
q pq p (pq)
1
1
1
0
1
1
1
1
1
0
0
1
En resumen,
Tabla 22. Esquema de la ley de razonamiento Adicin. La premisa

disyuncin implica tautolgicamente la conclusin.
81
Ilustracin 22. Esquema de ley de razonamiento Adicin.
Ejemplo 1.53
Sabemos que, la tierra gira alrededor del sol. Se concluye que, la tierra gira alrededor del sol
o el sol es incandescente.
Ejemplo 1.54
Sabemos que, la tierra gira alrededor del sol. Se concluye que, la tierra gira alrededor del sol
o la tierra no rota
Ejemplo 1.55
Sean los conjuntos, A 3,5,6,7 , B 1, 2 . Se sabe que, 5 A . Se concluye que,
5 A 5 B
Ley de razonamiento Silogismo hipotetico

La ley de razonamiento Silogismo Hipottico es una regla de razonamiento que tiene la
estructura
Sabemos que p q y q r ; por tanto se concluye q r .
Las proposiciones p q y q r son las premisas y p r la conclusin.
Para probar que la ley del Silogismo Hipottico constituye un razonamiento vlido
verificamos que p q q r p r es tautologa.
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
r pq qr pr (pq)(qr) [(pq)(qr)](pr)
1
1
1
1
1
1
0
1
0
0
0
1
1
0
1
1
1
1
0
0
1
0
0
1
1
1
1
1
1
1
0
1
0
1
0
1
1
1
1
1
1
1
0
1
1
1
1
1
Tabla 23. Esquema de la ley de razonamiento Silogismo

implica tautolgicamente la conclusin.
Hipottico. La premisa disyuncin
Ilustracin 23. Esquema de razonamiento Silogismo Hipottico.
En resumen,
Ilustracin 24. Esquema de ley de razonamiento
Silogismo Hipottico.
82
83
Ejemplo 1.56 Ley de razonamiento Silogismo Hipottico

Se sabe que, si el agua se hiela entonces sus molculas forman cristales; y si las molculas
forman cristales entonces el agua aumenta de volumen. Por tanto, si el agua se hiela entonces
el agua aumenta de volumen.
Ejemplo 1.57 Ley de razonamiento Silogismo Hipottico
Como 2 es primo entonces 2 3 6 no es primo; y como 6 no es primo entonces 6n no es
primo (para cualquier entero n). Por tanto, si 2 es primo entonces 6n no primo.
Ejemplo 1.58 Deduccin
Demostrar que: Si 5x 4 3x 4 entonces x 4
1. Si 5x 4 3x 4 entonces 5x 3x 8
2. Si 2 x 8 entonces x 4
3. Si 5x 3x 8 entonces 2 x 8
PASO
RAZON
1.
Por hiptesis
2.
Por hiptesis
3.
Por hiptesis
Sabemos que, si 5x 4 3x 4
entonces 5x 3x 8 y que si
5x 3x 8 entonces 2 x 8 son
2.
verdaderas por ser premisas. Por ley
de razonamiento silogismo
hipottico se concluye
Sabemos que, Si 5x 4 3x 4
entonces 2 x 8 es verdadera por ser
conclusin en el paso 2 y que Si
3
2 x 8 entonces x 4 es verdadera
por hiptesis. Por ley de
razonamiento silogismo hipottico
se concluye
CONCLUSIN
Si 5x 4 3x 4 entonces 5x 3x 8
Si 5x 3x 8 entonces 2 x 8
Si 2 x 8 entonces x 4
Si 5x 4 3x 4 entonces 2 x 8
Si 5x 4 3x 4 entonces x 4
Ley de razonamiento silogismo disyuntivo
84
La ley de razonamiento Silogismo Disyuntivo es una regla de razonamiento que tiene la

estructura
Sabemos que p q , p r y
Las proposiciones p q , p r y
q t ; por tanto
q t
se concluye r t .
son las premisas y r t la conclusin.
Para probar que la ley del Silogismo Disyuntivo constituye un razonamiento vlido
verificamos que p q p r q t r t es tautologa.
p
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
q
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
r
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
s
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
pq
1
1
1
1
1
1
1
1
1
1
1
1
0
0
0
0
pr
1
1
0
0
1
1
0
0
1
1
1
1
1
1
1
1
qs
1
0
1
0
1
1
1
1
1
0
1
0
1
1
1
1
rs
1
1
1
0
1
1
1
0
1
1
1
0
1
1
1
0
(pr)(qs)
1
0
1
0
1
1
0
0
1
0
1
0
1
1
1
1
(pq)[(pr)(qs)]
1
0
1
0
1
1
0
0
1
0
1
0
0
0
0
0
Tabla 24 Tautologa ley de razonamiento Silogismo Disyuntivo
En resumen,
Ilustracin 25. Esquema del razonamiento Silogismo Disyuntivo
(pq)[(pr)(qs)](rs)
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
85
Ejemplo 1.59
Ley de razonamiento Silogismo Disyuntivo
Este nmero es positivo o negativo. Si es positivo entonces es mayor que cero; si es negativo
entonces es menor que cero. Por tanto, este nmero es mayor que cero o menor que cero.
p: este nmero es positivo
q: este nmero es negativo
r: este nmero es mayor que cero
s: este nmero es menor que cero
p q Este nmero es positivo o negativo

p r Si este nmero es positivo entonces es mayor que cero
q s Si este nmero es negativo entonces es menor que cero
pq
pr
qs
_____
rs
Mtodos de demostracin de la validez de un razonamiento

La demostracin de la validez de un razonamiento se puede realizar mediante dos mtodos:
Directo e Indirecto o reduccin al absurdo.
Mtodo Directo
La demostracin mediante el mtodo directo consiste en relacionar las premisas de la
hiptesis mediante las reglas de infrerencia hasta llegar a construir la frmula bien formada
que desea demostrar como verdadera llamada tesis o conclusin. Este tipo demostracin se
han venido utilizando en los ejercicios anteriores.
Demostracin de la validez de un razonamiento mediante el
mtodo directo.
Demostrar que el siguiente razonamiento es vlido:
Sabemos que 3x 2 14 3x 12 y adems que 3x 12 x 4 . Por lo tanto,
3x 2 14 x 4 .
Ejemplo 1.60
Simbolizacin.
Para demostrar su validez, se expresa el razonamiento en trminos de frmulas bien formadas
del Clculo proposicional.
p : 3x 2 14
q : 3x 12
86
pq
r:x 4
qr
_______
pr
CONJUNTO DE PREMISAS
DE LA CONSECUENCIA
LGICA
1 ;
2 ;
PASO
CONSECUENCIA LGICA
JUSTIFICACIN
1.
p q;
Por ser premisa en el paso 1.
2.
qr
1 ;
3.
p q q p;
2 ;
4.
q r r q;

Equivalencia tautolgica entre el
bicondicional y los condicionales
directo y su contrasrrecproca en
el paso 1.
bicondicional y los condicionales
directo y su contrasrrecproca en
el paso 2.
p q;
q r;
p r;
q p;
r q;
r p;
p r;
r p p r;
p r;

mtodo directo.
Demostrar que el siguiente razonamiento es vlido: Si estudio, tengo buenas calificaciones.
Si no estudio, me divierto. Por consiguiente, obtengo buenas calificaciones o me divierto.
Ejemplo 1.61
Simbolizacin.
Para demostrar su validez, se expresa el razonamiento en trminos de frmulas bien formadas
del Clculo proposicional.
p : estudio
q : tengo buenas calificaciones
r : me divierto
pq
pr
_______
qr
87
CONJUNTO DE PREMISAS
DE LA CONSECUENCIA
LGICA
1 ;
2 ;
PASO
1.
CONSECUENCIA
LGICA
p q;
2.
p r;
1, 2 ;
3.
q p;
1, 2 ;
4.
q r;
JUSTIFICACIN

condicional directo y su
contrarrecproca en el paso 1.
condicional y la disyuncin en el paso 3.

mtodo directo.
Demostrar por el mtodo directo:
Si el mercado es completamente libre, un solo proveedor no afecta los precios. Si un solo
proveedor no afecta los precios, hay un gran nmero de proveedores. Pero, no hay un gran
nmero de proveedores. En consecuencia, si hay un gran nmero de proveedores, no hay
inflacin.
Ejemplo 62
Razonamiento formalizado:
p q:
Si el mercado es completamente libre, un solo proveedor no afecta los precios
qr:
Si un solo proveedor no afecta los precios, hay un gran nmero de proveedores
r:
No hay un gran nmero de proveedores
En consecuencia,
p q
Si hay un gran nmero de proveedores, no hay inflacin.
As,
p q
qr
r
_______
p q
Demostracin directa
88
1. p q; por ser premisa

1
2 2. q r; por ser premisa
3 3. r; por ser premisa
2,3 4. q; por mod us tollendo tollens en 2 y 3
1, 2,3 5. ~ p; por mod us tollendo tollens en 1 y 4
1, 2,3 6. ~ p t; por adicin en 5
1, 2,3 7. p t; por equivalencia tautolgica en 6

mtodo directo.
El testigo no dice la verdad o Carlos estaba en casa antes de la once. Si Carlos estaba en casa
alrededor de las once, l vi a tu to. Si vi a su to, el sabe quien estuvo antes. Por tanto, si
el testigo dice la verdad, Carlos sabe quien estuvo antes.
Ejemplo 63
pq:
El testigo no dice la verdad o Carlos estaba en casa antes de la once.
q t :
Si Carlos estaba en casa alrededor de las once, l vio a tu to.
t r:
Si vio a su to, l sabe quien estuvo antes
En consecuencia,
t r:
Si el testigo dice la verdad, Carlos sabe quien estuvo antes.
As,
pr
qt
tr
_______
pr
Demostracin directa
89
1
2
3
2,3
1
1, 2,3

2. q t; por ser premisa
3. t r; por ser premisa
4. q r; por si log ismo hipottico en 2 y 3
5. p q; por equivalencia tautolgica entre condicional y disyuncin en 1
7. p r; por equivalencia tautolgica entre condicional y disyuncin en 4 y 5

mtodo directo.
La lgica matemtica es fcil y le gusta a los estudiantes de ingeniera. Si la lgica
matemtica es fcil, el estudiante de ingeniera deduce. Si le gusta a los estudiantes de
ingeniera, habr aplicaciones lgicas. Por consiguiente, los estudiantes de ingeniera
deducen y hacen aplicaciones lgicas.
Ejemplo 64
pq:
La lgica matemtica es fcil y le gusta a los estudiantes de ingeniera.
pr
Si la lgica matemtica es fcil, el estudiante de ingeniera deduce.
q t :
Si le gusta a los estudiantes de ingeniera, habr aplicaciones lgicas.
En consecuencia,
r t :
Los estudiantes de ingeniera deducen y hacen aplicaciones lgicas.
As,
pq
pr
qt
_______
r t
Demostracin directa
1
2
3
1
1
1, 2
1,3
1, 2,3
90

2. p r ; por ser premisa
3. q t ; por ser premisa
4. p; por simplificacin en 1
5. q; por simplificacin en 1
6. r ; por mod us ponenedo pones en 2 y 4
7. t ; por mod us ponenedo pones en 3 y 5
8. r t; por mod us ponenedo pones en 3 y 5

mtodo directo.
Si los Cardenales quedan en tercer lugar entonces los Millonarios quedarn en segundo y
Huila en cuarto. O Nacional no queda en primer lugar o los Cardenales quedan en tercero.
De hecho, los Millonarios quedarn en segundo lugar y Nacional queda de primero. En
consecuencia, si Nacional queda de primero entonces Huila quedar en cuarto lugar.
Ejemplo 65
p q r :
Si los Cardenales quedan en tercer lugar entonces los Millonarios quedarn en segundo y
Huila en cuarto.
t p:
Nacional no queda en primer lugar o los Cardenales quedan en tercero.
q t :
los Millonarios quedarn en segundo lugar y Nacional queda de primero.
En consecuencia,
t r:
Si Nacional queda de primero entonces Huila quedar en cuarto lugar.
As,
p q r
t p
qt
_______
tr
Demostracin directa
91
1
2
3
3
3
2,3
1, 2,3
1, 2,3
1, 2,3
1, 2,3
1, 2,3
1. p q r ; por ser premisa

2. t p; por ser premisa
3. q t ; por ser premisa
4. t; por simplificacin en 3
5. q; por simplificacin en 3
6. p; por mod us tollendo pones en 2 y 4
7. q r; por mod us ponenedo pones en 1 y 6
8. r; por simplificacin en 7
9. r t; por adicin en 7
10. t r ; por equiv. tautolgica conmutatividad de la disyuncin en 7
11. t r ; por equiv. tautolgica entre el condicional y la disyuncin en 7
Prctica 1.10
hacerlo"
Identifique, simbolice y esquematice el tipo de razonamiento.
1. Sabemos que, si n es par entonces n 1 es impar y adems que, 20 es par. Se infiere que
21 es impar.
2. Es sabido que, si no me he equivocado alguna vez, no he tenido la oportunidad de
aprender y adems, yo he tenido la oportunidad de aprender. Por tanto, me he equivocado
alguna vez
3. De todos es conocido que, si un nmero n es mltiplo de 10, termina en cifra 0 y adems
que 89 no termina en cifra 0. Por ende, 89 no es mltiplo de 10.
4. Sabemos que, un nmero natural es par o impar y que 30 no es impar. Se deduce que, 30
es par.
5. Dar y explicar una condicin necesaria y suficiente para que un razonamiento sea vlido.
En los siguientes ejercicios se pide deducir una frmula bien formada desde un conjunto de
frmulas bien formadas, conjunto que es llamado hiptesis o de premisas de la deduccin.
Las justificaciones de cada paso se har con las 9 reglas de inferencias expuestas, las
impliciones tautolgicas y las equivalencias tautolgicas.
1. Demostrar que ~ s se deduce de la
hiptesis
1.
p q
2. Demostrar que ~ a b se deduce

de la hiptesis
1. c ~ d
92
2.
3.
4.
~ q t
~ p t
s ~ t
3. Demostrar que r q se deduce

de la hiptesis
1.
s p t
2. t
3.
q r
5. Demostrar que ~ r se deduce de la

hiptesis
1. p ~ q
3.
~ q ~ s
p ~ s ~ t
4.
r t
2.
7. Demostrar que s t se deduce de la

hiptesis
1. ~ p ~ r
2. q p
3. r s
4. q s t s
9. Demostrar que g ~ h se deduce
de la hiptesis
1. e s ~ h
2. j e
3. p s
4. j p
11. Demostrar que t u se deduce de
la hiptesis
1. s
2. t s p
2. c ~ a
3.
4. Demostrar que ~ t se deduce de la

hiptesis
1. t p s
2. q ~ p
3. r ~ s
4. r q
6. Demostrar que s u se deduce de la
hiptesis
1. r ~ p
2.
r s t
3.
4.
ps
~ q ~ t
8. Demostrar que s r se deduce de la

hiptesis
1. p q
2. s q r
3. p s
4. q s
10. Demostrar que t s
deduce de la hiptesis
1. ~ p r
2.
3.
hr
r
p se
2. r t
12. Demostrar que ~ q r se

1. p t r s q r
2.
13. Demostrar que q se deduce de la

hiptesis
1. t h p q
d ~ b
14. Demostrar que ~ q s se deduce

de la hiptesis
1. q p r q
2.
3.
pq
r s
93
15. Demostrar que ~ u p se deduce

de la hiptesis
1. s t
2. u t h
17. Demostrar que ~ t

de la hiptesis
1.
p
2. p r t
p se deduce
19. Demostrar que q u se deduce

de la hiptesis
1.
pq
2. s q
3.
p q r s
16. Demostrar que

de la hiptesis
1. p q
2.
t u se deduce
p q s
3. r s
4. r t
18. Demostrar que ~ u t se deduce de
la hiptesis
1. p t r
2. r t q
pt
3.
20. Demostrar que
q u p t r se
1. u t
En cada ejercicio siguiente simbolizar las proposiciones matemticas y realice la deduccin:

21. Demostrar que ~ x y y 1 se
1. y 1 y 1
2. x 3 x 3
3. x 3 x y
4. x 3 x y
23. Demostrar que ~ 2 x 8 x 3 se
1. 2 x 6 x 3
2. 2 x 8 x 4
3. 2 x 6 x 4
22. Demostrar que x y 2 se deduce

de la hiptesis
1. ~ x y x y 7
2. x y x 4
3. x y 7 x 4
4. x y 2 x 4
24. Demostrar que x 4 3x 2 14
se deduce de la hiptesis
1. 3x 2 14 3x 12
2. 3x 12 x 4
25. Demostrar que x y x y se deduce de la hiptesis

1. y x x y x y
2. ~ y 1 y x
Mtodo indirecto de demostracin de la validez de un

razonamiento por reduccin al absurdo
El Mtodo indirecto por reduccin al absurdo o tambin llamado mtodo de contradiccin
consiste en considerar que la tesis que se quiere demostrar como verdadera es falsa y por
tanto su negacin es verdadera. La negacin de la tesis se considera como una nueva
94
premisa que unida a las premisas originales constituyen la hiptesis de contradicin. Se

relacionan todas estas premisas mediante las reglas de inferencia como en el mtodo directo,
lo cual permite en cualquier momento llegar a una conclusin contradicctoria de la forma
p p .
mtodo de reduccin al absurdo.
Demostrar por contradiccin que t s se deduce vlidamente de la hiptesis cuyas
premisas son
1.
u t
2. v s
uv
3.
Ejemplo 66
Demostracin
Supongamos que t s no se deduce vlidament de las premisas dadas, es decir, es falsa.
Por tanto su negacin t s que equivale a t s es verdadera, la cual constituye
junto a las originales la hiptesis de contradiccin.
Demostracin
PREMISAS
DE
APOYO
PASO
1
2
3
4
4
4
1, 4
1,3, 4
1, 2,3, 4
1, 2,3, 4
CONCLUSIN
u t
1.
2.
RAZON

3.
uv
4.
t s
Por hiptesis de reduccin al absurdo
5.
Por simplificacin en 4
6.
~t
7.
Por Modus tollendo tollens en 1 y 6
8.
9.
10.
Por Modus ponenendo ponens en 2 y 8
Adjuncin en 5 y 9
11.
Absurdo!
Hay una contradiccin en 10 .
Si se ha llegado a una contradiccin fue pro haber considerado falsa la frmula
bien formada t s . Por lo tanto es verdadera.
Ejemplo 67

mtodo de reduccin al absurdo.
95
Demostrar por contradiccin que h u se deduce vlidamente de la hiptesis cuyas

premisas son
1.
u t
2. t s
s h
3.
Demostracin
Supongamos que h u no se deduce vlidament de las premisas dadas, es decir, es falsa.
Por tanto su negacin h u que equivale a h u es verdadera, la cual constituye
junto a las originales la hiptesis de contradiccin.
Demostracin
PREMISAS
DE
APOYO
PASO
1
2
3
4
4
4
3, 4
2,3, 4
1, 2,3, 4
1, 2,3, 4
CONCLUSIN
RAZON
1.
u t
2.
t s
s h
3.
4.
5.
7.
8.
Por hiptesis de reduccin al absurdo

6.
9.
Por Modus ponenendo ponens en 1 y 8
10.
u u
Por Adjuncin en 6 y 9
11.
Absurdo!
Hay una contradiccin en 10 .
Si se ha llegado a una contradiccin fue pro haber considerado falsa la frmula
bien formada t s . Por lo tanto es verdadera.
Prctica 1.11
hacerlo"
En los siguientes ejercicios se pide demostrar por reduccin al absurdo que la deduccin
la frmula bien formada desde el conjunto de frmulas bien formadas, hiptesis o premisas,
96
es vlida. Las justificaciones de cada paso se har con las 9 reglas de inferencias expuestas,
las impliciones tautolgicas y las equivalencias tautolgicas.
1. Demostrar s t a partir
de la hiptesis siguiente:
p r
2.
3. q p
4. r s
5. q s t s
2. Demostrar w t v
a partir de la hiptesis
siguiente:
1. s t u v
3. Demostrar
k l m
partir
de
hiptesis
siguiente:
1. k l
a
la
2. w s u
3. w
4. Demostrar h j a partir 5.Demostrar a b a partir de 6. Demostrar el siguiente
razonamiento:
la hiptesis siguiente:
de la hiptesis siguiente:
Si estudio, tengo buenas
a
1.
1. h i j
calificaciones.
i
2.
Si no estudio, me
divierto
Por
consiguiente,
obtengo
buenas
calificaciones o me
divierto.
Cunto sabemos?
Evaluacin Saber Pro
PREGUNTAS DE SELECCIN MLTIPLE CON UNA RESPUESTA
97
Tres valores son esenciales en la vida: responsabilidad, respeto y honestidad. Lea lo

suficientemente despacio para comprender la pregunta y conteste en la hoja de respuestas
sealando una sola opcin A, B, C o D. Seale aquellas tems que NO comprende. Por ningn
motivo conteste al azar.
1. Un enunciado del lenguaje natural con
sentido completo que tiene la cualidad
de ser verdadera o falsa se denomina
A. Disyuncin
B. Conjuncin
C. Proposicin
D. Condicional
2. Una frase que NO es proposicin es
A. Estudio para progresar
B. Por favor estudie
C. En este paso hay un error
D. Aprendo practicando
3. Una de las siguientes proposiciones es
simple
A. Si practico, aclaro dudas
B. No estudio y aprendo
C. Estudio para aprender
D. Leo pero no entiendo
4. Una de las siguientes proposiciones es
una disyuncin
A. Si estudio practicando, aprendo
B. Aprendo si y solo si reflexiono
C. Reflexiono el tema o no aprendo
D. No estudio debido a mi pereza
5. Una interpretacin incorrecta de la
expresin simblica h t es
A. h es condicin suficiente aunque
no necesaria para t
B. t es condicin necesaria aunque no
suficiente para h
C. t es condicin suficiente y
necesaria para h
D. se cumple t siempre que se cumpla
h
6. Antecedente y Consecuente son los
miembros de una
A. Disyuncin
B. Conjuncin
C. Bicondicional
D. Condicional
7. La simbolizacin apropiada de la
proposicin
3 4 12 porque
4 4 4 12 donde p : 3 4 12 y
q : 4 4 4 12 es
A. q p
B. q p
C. q p
D. q p
8. Que un polgono sea regular es una
condicin suficiente pero no necesaria
para que el polgono tenga iguales sus
lados. Obsrvese la figura.
Esta expresin puede escribirse:

h t : Si un polgono es regular
entonces tiene iguales sus lados.
La
contrarrecproca
de
este
condicional es
A. Si un polgono no es regular, no
tiene iguales sus lados.
B. Si un polgono es regular, tiene
iguales sus lados.
C. Si un polgono tiene sus lados
iguales, es regular.
D. Si un polgono no tiene sus lados
iguales, no es regular.
9. Conocer las reglas de inferencia es una
condicin necesaria pero no suficiente
para poder hacer una demostracin
proposicional.
Esta expresin puede escribirse:
Si puedo hacer una demostracin
entonces conozco las reglas de
demostracin.
98
La contradirecta de este condicional es

A. Si
no
puedo
hacer
una
demostracin entonces no conozco
las reglas de demostracin.
B. Si puedo hacer una demostracin
entonces conozco las reglas de
demostracin.
C. Si conozco las reglas de
demostracin, puedo hacer la
demostracin.
D. Si no conozco las reglas de
demostracin, no puedo hacer la
demostracin.
10. Una condicin suficiente y necesaria

para
que
que
3 4 12 es
4 4 4 12 , donde p : 3 4 12 y
q : 4 4 4 12 . Esta expresin puede
escribirse
A. q p
B. q p
C. q p
D. q p
HOJA DE RESPUESTAS
CIENCIAS BSICAS
Nombre
COEVALUACIN TIPO
SABER PRO
Cdigo
Grupo
99
BIBLIOGRAFA
Bibliografa bsica
1. SUPPES,Patrick y HILL, Shirley. Primer curso de lgica matemtica, Bogot: Reverte,
1976, p.25 217
2. SUPPES,Patrick. Introduccin a la lgica simblica, Mxico: Continental, 1969, p.1
p.264
3. COPI, Irving M. Lgica Simblica, Mxico: Continental, 1979, p.15 p.132
Bibliografia complementaria
1. ROBIN, Joel W. Mathematical logic, New York: W. A. Benjamin, 1969, p.66 p.81
2. ENDERTON, Herbert B. A mathematical introduction to logic, New York: Academy
Press, 1973, p.14 p.164
3. ALLENDOERFER, Carl B.; CLETUS, Oakey. Fundamentos de Matemticas
Universitarias. Mxico: McGraw Hill, 1972,ed 3, p.1 p.83
4. STEWART, James y otros. Preclculo, Bogot: Thomson Learning, 2001, p.1 p.606
Webgrafa
1. Valdz, Luis E. Lgica Proposicional. En: Departamento de Matemticas IES.
AlgebraModerna. Video de Youtube. Consultado 2015 06 10.
https://www.youtube.com/watch?v=r9fJfts3Ktk
2. Poincar, Henri. Gnesis y revolucin del pensamiento cientfico. En: Breve historia de
la lgica. http://www.euclides.org/menu/articles/article101.htm . Consultado 2015 06
10.
3. Aristteles. En: Biografa y Vidas. Enciclopedia biogrfica en lnea. 2015 06 10 .
http://www.biografiasyvidas.com/biografia/a/aristoteles.htm
4. Sitio Web. Problemas lgicos y matemticos, http://www.friki.net/informes/7689problemas-logicos-y-matematicos.html, 2010 12 12, 10am.
5. Sitio Web. Lgica, http://platea.pntic.mec.es/jescuder/logica.htm, 2010 12 12, 10am

Logica Matematica Ucc Cap 1

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Logica Matematica Ucc Cap 1

Hochgeladen von

Copyright:

Verfügbare Formate

NOTAS DE CLASE

Una introduccin a la lgica matemtica para ciencia e ingeniera

Perfil del autor.

Cicern Jimnez Sierra

Una introduccin a la lgica matemtica para ciencia e ingeniera

Cicern Jimnez Sierra

1.3.2.3 Ley de razonamiento Modus Tollendo Ponens

Aristteles. Estagira, 384 - Calcis, 322 aC.

Una introduccin a la lgica matemtica para ciencia e ingeniera

Los tratados de lgica de Aristteles, conocidos como Organn, contienen el

Cicern Jimnez Sierra

Una introduccin a la lgica matemtica para ciencia e ingeniera

1.1 CONCEPTOS FUNDAMENTALES DE LOGICA

La proposicin y su papel en las matemticas. Proceso de

Cicern Jimnez Sierra

Una introduccin a la lgica matemtica para ciencia e ingeniera

Tabla 1. Proposiciones matemticas sintetizadas en frmulas matemticas. Por ejemplo,

1. Las siguientes proposiciones se refieren a propiedades de los polgonos acerca de las

Cicern Jimnez Sierra

r : El rea de un rombo de diagonales 4,5 cm y 8 cm es 40 cm2

3. Resolver los problemas siguientes

Cul nmero corresponde a la ltima casilla?

e. Cul es el nombre del polgono correspondiente a la ltima casilla?

Una introduccin a la lgica matemtica para ciencia e ingeniera

Proposicin en contexto aritmtico.

mismo valor que el derecho 1. En efecto:

Proposicin en contexto geomtrico de rea de polgonos

Proposicin verdadera: El rea A de un paralelogramo es el producto de su base b por su

del grfico se explica, por qu la proposicin El rea A de un paralelogramo es el producto

Proposicin en contexto geomtrico de rea de polgonos

Proposicin verdadera: El rea A de un rombo es el semiproducto de sus diagonales D y d.

Al igual que en el caso anterior, se acepta como verdadera la proposicin El rea A de un

Una introduccin a la lgica matemtica para ciencia e ingeniera

congruentes, de los cuales cuatro constituyen el rombo. Como 4 es la mitad de 8, se concluye

Cicern Jimnez Sierra

edifica su teora del conocimiento con el fin de justificar el poder emergente de la

Ilustracin 1 Estructura de una teora cientfica. Esta se compone de conceptos y leyes.

Una introduccin a la lgica matemtica para ciencia e ingeniera

Como ilustracin, para mostrar la verdad de las proposiciones en el ejemplo 2, se us como

Cicern Jimnez Sierra

Aplicando la propiedad distributiva en el paso 3 .

Restando b2 h a ambos lados de 4 .

Simplificando mediante la propiedad del inverso

El rea de un tringulo es el semiproducto de su base por su altura

Una introduccin a la lgica matemtica para ciencia e ingeniera

c. Al despejar la variable R desde la ecuacin A R2 se obtiene R

d. [De acuerdo a la Tabla 1, esta es la frmula para hallar el rea A de un crculo;

Demostrar que la proposicin siguiente es verdadera:

Proposicin en contexto de ecuaciones lineales con una

Para ver si dicha afirmacin es verdadera o falsa, se sigue el siguiente proceso.

Cicern Jimnez Sierra

De la comparacin resulta que a 6, b 15, c 10 .

Frmula de solucin una cuadrtica

Por simplificacin en el paso 3 .

Por simplificacin en el paso 4 .

Por simplificacin en el paso 5 .

Por simplificacin en el paso en 6

Reemplazando a por 6, b por 11 y c por en -10 en

Una introduccin a la lgica matemtica para ciencia e ingeniera

b. Al resolver la ecuacin 4 5t 4t 5 10t 3 7 2t se obtiene t

d. Al resolver la ecuacin 7 t 4 3 t 5 4 t 1 t 1 2 se obtiene t

tiene conjunto solucin

tiene conjunto solucin