HISTORIA DE LA LGICA

En el pasado las matemticas eran consideradas como la ciencia de la cantidad, referida a las magnitudes (como en la geometra), a los nmeros (como la aritmtica), o a la
generalizacin de ambos (como en lgebra). Hacia mediados del siglo XIX, las matemticas se empezaron a considerar como la ciencia de las relaciones, o como la ciencia que produce condiciones necesarias. Esta ltima nocin abarca la lgica matemtica o simblica, ciencia que consiste en utilizar smbolos para generar una teora exacta
de deduccin e inferencia lgica basada en definiciones, axiomas, postulados y reglas
que transforman elementos primitivos en relaciones y teoremas ms complejos.
Trataremos la evolucin de los conceptos e ideas matemticas siguiendo su desarrollo
histrico. En realidad, las matemticas son tan antiguas como la propia humanidad: En
los diseos prehistricos de cermica, tejidos, y en las pinturas rupestres se pueden
encontrar evidencias del sentido geomtrico y del inters en figuras geomtricas. Los
sistemas de clculo primitivo estaban basados, seguramente, en el uso de los dedos de
una o dos manos, lo que resulta evidente por la gran abundancia de sistemas numricos en los que las bases son los nmeros 5 y 10.
LAS MATEMTICAS EN LA ANTIGEDAD
Las primeras referencias a matemticas avanzadas y organizadas datan del tercer milenio antes de cristo, en Babilonia y Egipto. Estas matemticas estaban dominadas por
la aritmtica, con cierto inters en medida y clculos geomtricos y sin mencin de
conceptos matemticos como los axiomas o las demostraciones.
Los primeros libros egipcios, escritos hacia el ao de 1800 A.C., muestran un sistema
de numeracin decimal con distintos smbolos para las sucesivas potencias de 10 (1,
10, 100), similar al sistema utilizado por los romanos. Los nmeros se representaban
escribiendo el smbolo del 1 tantas veces como unidades tena el nmero dado, el smbolo del 10 tantas veces como decenas haba en el nmero, y as sucesivamente. Para sumar nmeros, se sumaban por separado las unidades, las decenas, las centenas
de cada nmero. La multiplicacin estaba basada en duplicaciones sucesivas y la divisin era el proceso inverso.
Los egipcios utilizaban sumas de fracciones unidad a, junto con la fraccin b, para expresar todas las fracciones. Utilizando este sistema, los egipcios fueron capaces de
resolver problemas aritmticos con fracciones, as como problemas algebraicos elementales. En geometra encontraron las reglas correctas para calcular el rea de tringulos, rectngulos y trapecios, y el volumen de figuras como ortoedros, cilindros y, por
supuesto, pirmides. Para calcular el rea de un crculo, los egipcios utilizaban un
cuadrado de lado U del dimetro del crculo, valor muy cercano al que se obtiene utilizando la constate (3.1416).
El sistema babilnico de numeracin era bastante diferente del egipcio. En el babilnico se utilizaban tablillas con varias muescas o marcas en forma de cua (cuneiforme); una cua sencilla representaba al 1 y una marca en forma de flecha representaba
al 10. Los nmeros menores de 59 estaban formados por estos smbolos utilizando un
proceso aditivo, como en las matemticas egipcias. El nmero 60, sin embargo, representaba con el mismo smbolo que el uno, y a partir de ah, el valor de un smbolo vena dado por su posicin en el nmero completo. Por ejemplo, un nmero compuesto
por el smbolo del 2 seguido por el del 27 y terminado con el del 10, representaba 2 x
602 + 27 x 60 + 10. Este mismo principio fue ampliado a la representacin de fraccio-

nes, de manera que el ejemplo anterior poda tambin representar 2 x 60 + 27 + 10 x

(), o 2 + 27 x () + 10 x () 2. Este sistema, denominado sexagesimal (base 60),
resultaba tan til como el sistema decimal (base 10).
Con el tiempo, los babilonios desarrollaron unas matemticas ms sofisticadas que les
permitieron encontrar las races positivas de cualquier ecuacin de segundo grado.
Fueron incluso capaces de encontrar las races de algunas ecuaciones de tercer grado,
y resolvieron problemas ms complicados utilizando el teorema de Pitgoras. Los babilonios compilaron una gran cantidad de tablas, incluyendo tablas de multiplicar y de
dividir, tablas de cuadrados y tablas de inters compuesto. Adems, calcularon no solo
la suma de progresiones aritmticas y de algunas geomtricas, sino tambin de sucesiones de cuadrados.
Existen algunos personajes que los citaremos a continuacin que han hecho historia
ya sea por sus frases clebres o por su pensamiento, como son:

PARMENIDES: Negaba el cambio, ya que para l cambiar significaba que una cosa
deje de ser lo que es.

SCRATES: Uno de los grandes personajes de la historia: su frase clebre slo se

que nada se

PLATN: Discpulo de Scrates, al contrario de lo de su maestro deca que el individuo nace sabindolo todo, pues el alma antes de venir al mundo de lo material
existe en el mundo de las ideas, en donde todo es perfecto.

ARISTTELES: Es considerado el padre de la Lgica, sealaba que el ser humano

nace limpio de conocimiento, y que debe adquirirlos a travs de la vida.

En su obra organn trata sobre la lgica como mtodo del conocimiento.

Categoras o conceptos
Juicios o interpretaciones
Silogismos
Demostraciones

HERCLITO: Sealaba que todo lo que existe es obra del cambio y evolucin.
Dialctica o razonamiento.

DEFINICIN Y OBJETO DE LA LGICA

La palabra lgica se deriva de la palabra griega logos que significa razonamiento o
discurso.
La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido
un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar
teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos;
en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas.
Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier
actividad.

Definicin de lgica de acuerdo a algunos autores:

Para Gorski: Lgica es la ciencia de las formas del pensamiento cientfico estudiadas
desde el punto de su estructura; la ciencia de las leyes que deben observarse para
obtener un conocimiento inferido; la lgica estudia tambin los procedimientos lgicos
generales utilizados para el conocimiento de la realidad.
Segn Fingemann: Lgica en la ciencia de las formas y leyes del pensamiento, que
nos da normas para la investigacin cientfica y nos suministra un criterio de verdad.
Entonces se puede decir que la lgica en una ciencia que ensea a razonar con exactitud y que posee un lenguaje exacto, el cual para su desarrollo utiliza reglas las cuales
nos permite obtener una conclusin.
Castro Guerrero nos dice que segn Gorski Tabant el objeto de la lgica como ciencia
es el estudio del pensamiento humano. El estudio de la lgica permite que el estudiante adquiera habilidades para razonar ya sea verbal o matemticamente utilizando
un lenguaje simblico que expresa el aspecto cuantitativo de la realidad.
Existen adems otras definiciones:

Lgica es la ciencia que estudia la estructura del pensamiento, prescindiendo del

contenido.

Lgica tambin es la manera ordenada de pensar y de expresar nuestras ideas.

El objetivo principal de la lgica es analizar la estructura del pensamiento,

forma lgica para descubrir leyes y reglas.

es decir su

RELACIN DE LA LGICA CON LAS DEMS CIENCIAS

Con la filosofa: por ser parte de ella.

Con la psicologa: por cuanto el pensamiento es un proceso psicolgico.
Con la gramtica: el pensamiento se halla unido al lenguaje, a travs del cual se da
forma y expresin del pensamiento, cuyo material final es la palabra.
Con la sociologa: por que el hombre piensa de acuerdo con las leyes sociales.
Con las matemticas: por que ambas disciplinas tienen carcter formal.
Con la biologa: Porque el hecho lgico es un hbito y todo hbito es un hecho biolgico.
Con la fsica: Porque cuando la lgica nos dice que puede ser o no ser, se refiere a
objetos fsicos y stos son un captulo de la fsica que trata sobre objetos de cualquier naturaleza.
DIFERENCIAS ENTRE JUICIO, ORACIN Y PROPOSICIN

El juicio.- Es una relacin o conjuntos de conceptos que se caracteriza por constituir

una afirmacin o aseveracin de algo, es una forma, una estructura del pensamiento
que objetivamente es verdadero o falso. (Astudillo, Dolores; Inciso, Liliana).
El enunciado.- Es la expresin verbal o escrita del juicio.

Ejemplos:
Pedro es estudiante de la Universidad Nacional de Loja
x+2=7
3+2=5
No son enunciados:

Las oraciones exclamativas. (Sentimientos, interjecciones). Ej.: socorro!, auxilio!

te quiero!
Las oraciones imperativas. (rdenes), Ej.: Cierra la puerta; te vas afuera.
Las desiderativas. (Deseos, splicas). Ej.: Ojala no haya clases.
Las oraciones interrogativas. (Preguntas). Ej.: Qu hora es?

Razonamiento.-Es un conjunto de afirmaciones o juicios relacionados de manera al

que se supone que uno de ellos (llamado conclusin) se desprende o infiere del o los
otros (llamados premisas). La pretensin de que la conclusin se deriva de las premisas se manifiesta a travs de expresiones especiales como: por lo tanto, luego, por
consiguiente, etc.
La proposicin.- Es un enunciado que puede ser falso o verdadero, pero no ambas
cosas a la vez. La proposicin es un elemento fundamental de la lgica matemtica;
generalmente se las expresa en oraciones declarativas o aseverativas, tales como:
Oraciones afirmativas. (Informan). Ej.: Maana es lunes.
Oraciones descriptivas. (Describen). Ej.: La tiza es blanca
Oraciones explicativas. (Explican). Ej.: Si hace fro entonces es invierno
A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se
explica el porqu algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula, dos puntos y la proposicin propiamente dicha.
Ejemplo.
p
q
r
s
t:
w

La tierra es plana.
-17 + 38 = 21
x > y-9
La Liga de Loja ser campen en la presente temporada de ftbol.
Hola como estas?
Lava el coche por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto
son proposiciones vlidas. El inciso r tambin es una proposicin vlida, aunque el
valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposicin del inciso s, es vlida Sin embargo los enunciados t y w
no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es
un saludo y el otro es una orden.
Tarea:

Escribir 10 proposiciones vlidas y 10 invlidas.

Valor de verdad.- Una proposicin es verdadera o es falsa; si es verdadera se denotar por la letra V o el 1 y si es falsa se denotar por F o por el 0. Si no se puede
determinar su valor de verdad, se podr analizar los posibles valores de verdad (tablas
de certeza).
CLASES DE PROPOSICIONES:
Las proposiciones se clasifican en proposiciones simples o atmicas y proposiciones
compuestas o moleculares:
Proposiciones simples.- Son aquellas proposiciones que no se pueden descomponer.
Ejemplo:
p: Todo organismo viviente se adapta a su medio fsico.
q: Si un nmero es divisible por 4 tambin lo es por 2.
r: (a +b)2 = a2 + 2ab + b2
Proposiciones compuestas o moleculares.- Son aquellos enunciados que estn
formados por dos o ms proposiciones simples y unidos por trmino lgico.
Ejemplos:
p: La nia Mara canta y su hermano Luis toca el piano.
q: Ecuador es un pas Amaznico y latinoamericano.
Podemos observar en los ejemplos anteriores que tanto p como q estn compuestas de
dos proposiciones simples.
Los conectivos lgicos son elementos gramaticales que unen dos o ms proposiciones
simples; estos son:

CONECTIVOS LGICOS
OPERADOR LGICO

LGICA SIMBLICA

TERMINOLOGA LGICA

Negacin
Conjuncin
Disyuncin
Disyuncin exclusiva
Condicional
Bicondicional

no
y
o
o en sentido excluyente
Si., entonces
Si y slo si

PROPOSICIONES COMPUESTAS Y CONECTIVOS LGICOS

Los operadores lgicos tambin permiten formar proposiciones compuestas (formadas
por varias proposiciones). Los operadores o conectores bsicos son:

NEGACIN ( ) NO
Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica el operador no se obtendr su complemento o negacin (falso). Al
negar una proposicin simple, se transforma en una proposicin compuesta Este operador se indica por medio de los siguientes smbolos: (~, ) Ejemplo.
Ejemplos:
p: Patricio est estudiando en la sala
p: Patricio no esta estudiando en la sala.

V (p) = V
V ( p) = F

q: Mara es novia de Ivn

q: No es cierto que Mara es novia de Ivn

V (q) = F
V (q) = V

Su tabla de verdad es:

p
V
F

p
F
V

A veces la negacin de una proposicin simple se obtiene mediante otra proposicin

simple, as:
p: x es mortal
p: x es inmortal
q: y es par
q: y es impar
La negacin en matemticas se realiza as:
p: 2 + 3 = 5
p: 2 + 3 5

V (p) = V
V (p) = F

NEGACIN DE PROPOSICIONES COMPUESTAS:

Se puede tambin utilizar otras formas de negar como: no es el caso que; no es cierto
que, (frecuentemente se acostumbra a utilizar esta forma cuando se niegan proposiciones compuestas)
No es el caso que: 3 2 y 4 + 1 = 5; simblicamente tenemos: ( p q )
No es cierto que: 3 2 y 4 + 1 = 5; simblicamente tenemos: ( p q )
p: 3 2
V (p) = F
q: 4 + 1 = 5
V (q) = V
Consecuentemente:
V(pq)=V
TAREA: Escriba 5 ejemplos de negacin.

CONJUNCIN ( ) QUE SE LEE Y

Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda
obtener un resultado verdadero. Su smbolo que se lee y. Se lo conoce como la
multiplicacin lgica y tiene estrecha relacin con la interseccin de conjuntos.
Ejemplo.
Sea el siguiente enunciado El coche enciende cuando tiene gasolina en el tanque y
tiene corriente la batera. Simbolizando tenemos:
p: el conche enciende cuando tiene gasolina en el tanque
q: tiene corriente la batera.
V(p) = V
V(q) = V
En consecuencia:
V(p q) = V
Otro ejemplo:
3 + 4 = 6 y 3 + 7 = 10
p: 3 + 4 = 6
V(p) = F
q: 3 + 7 = 10
V(q) = V
Por consiguiente:
V (p q) = F
De tal manera que la representacin del enunciado anterior usando simbologa lgica
es como sigue:

p q; que se lee:

pyq
p pero q
p aunque q
p incluso q
p tambin q; etc.

Su tabla de verdad es:

p
V
V
F
F

q
V
F
V
F

p q
V
F
F
F

TAREA:
Escribir 5 ejercicios de conjuncin y determine el valor de verdad de cada uno.

LA DISYUNCION:
LA DISYUNCIN INCLUSIVA: ( ) QUE SE LEE: O.
Es la unin de dos proposiciones simples con el conectivo lgico o. Simblicamente
se lo representa as: p q que se lee p q o ambas. El enunciado es verdadero cuando alguna de las proposiciones es verdadera o ambas son verdaderas; Se conoce
tambin como la suma lgica y se relaciona estrechamente con la unin de conjuntos.
Ejemplos:
Sea el siguiente enunciado Una persona puede entrar al cine si compra su boleto u
obtiene un pase. Donde.
p: Una persona puede entrar al cine si se compra su boleto.
q: Obtiene su pase.
Simblicamente tenemos:
pq
V( p ) = V
V( q ) = V
En consecuencia: V (p q) = V
4+3=9o3+5=8
p: 4 + 3 = 9
q: 3 + 5 = 8

V ( p) = F
V (q ) = V

En consecuencia: V (p q) = V
Su tabla de verdad es:
p
V
V
F
F

q
V
F
V
F

p q
V
V
V
F

TAREA:
Escriba 5 ejemplos de disyuncin inclusiva y determine su valor de verdad.

DISYUNCIN EXCLUSIVA.- ( V ) QUE SE LEE O EN SENTIDO EXCLUYENTE

El enunciado es verdadera cuando p es verdadero y q es falso o viceversa. Simblicamente se lo representa por p q que se lee p o q pero no ambas.
Ejemplos:
Carmen es hija de Jos de Vicente

Simblicamente tenemos:
p: Carmen es hija de Jos
q: Carmen es hija de Vicente

V(p) = V
V (q) = V

En consecuencia: V (p q) = F
(p q) que se lee: p q, pero no ambas.
25 = 6 o 3 + 9 = 7
p: 25 = 6
V (p) F
q: 3 + 9 = 7
V 8q) = F

En consecuencia: V (p q) = F

TAREA:
Escribir 5 ejercicios de disyuncin exclusiva y determine el valor de verdad.
Su tabla de verdad es:
p
V
V
F
F

q
V
F
V
F

(p q)
F
V
V
F

PROPOSICIONES CONDICIONALES ( ) que se lee entonces

Una proposicin condicional, es aquella que est formada por dos proposiciones simples (o compuesta) p y q. La cual se indica de la siguiente manera: que se lee si p,
entonces q; simblicamente se la representa por:

pq

qp

Se lee Si p, entonces q
Si p, q
p, slo si q
p es necesario para q; etc. En este caso p: es el antecedente y q: es el consecuente.

Se lee:
q puesto que p
q, si p
q cuando p
q cada vez que p
q dado que p
q porque p

q ya que p; etc. Se caracterizan porque despus de cada uno de

estos conectivos est el antecedente o condicin.
Ejemplo: Simbolice y determine el valor de verdad:
Un candidato a presidente del Ecuador dice: Si salgo electo presidente de la Repblica
del Ecuador, entonces recibirn un 50% de aumento en su sueldo el prximo ao. Una
declaracin como esta se conoce como condicional. Su tabla de verdad es la siguiente:
p: Si salgo electo Presidente de la Repblica del Ecuador
q: Recibirn un 50% de aumento en su sueldo el prximo ao

V (p) = V
V (q) = V

De tal manera que el enunciado se puede expresar de la siguiente manera: p q

El V( p q ) = V
Otro ejemplo:
5+7=12 8- 5 = 4 ; Simblicamente tenemos: p q
p: 5 + 7 = 12 V( p) = V
q: 8 5 = 4
V( q ) = F
Su valor de verdad es: V (p q ) = F
Su tabla de verdad es:
p

p q

V
V
F
F

V
F
V
F

V
F
V
V

Esto significa que una proposicin condicional es falsa cuando p = V y q = F; en los

dems casos ser verdadera.
VARIANTES DE LA CONDICIONAL
A toda proposicin condicional se le asocia tres proposiciones igualmente importantes,
que son: proposicin recproca, inversa y contra recproca.
Proposicin recproca.- Dada la proposicin condicional p q , se llama proposicin recproca a la proposicin que se denota por: q p
Ejemplo:
Si y es par, entonces, y es mltiplo de 2 ; simblicamente: p q. Condicional
Si y es mltiplo de 2, entonces, y es par ; simblicamente: p q. Su recproca:
Si b es perpendicular a c, entonces c es perpendicular a b.
La proposicin anterior simblicamente la denotamos por p q; mientras que la proposicin recproca ser: q p.
c es perpendicular a b, si b es perpendicular a c.

Proposicin inversa. - Dada la proposicin condicional p q , se llama proposicin inversa a la proposicin que se denota por: p q.
Ejemplo: Si Juan consigue la beca, entonces viajar a Francia; simblicamente tenemos:
pq
La proposicin inversa ser: " p q, ser:
Si Juan no consigue la beca, entonces no viajar a Francia.. Simblicamente tenemos:
" p q
Proposicin contra recproca.- Dada la proposicin condicional: p q, se denomina proposicin contra recproca a la que se denota por: q p.
Ejemplo:
Si vivo en Cariamanga, vivo en la provincia de Loja; simblicamente: p q
La proposicin contra recproca ser : No vivo en la provincia de Loja, si no vivo en Cariamanga ; simblicamente: q p
En los siguientes ejercicios escribir la proposicin dada en la forma si p entonces q;
determine su valor de verdad. A continuacin, escribir la recproca y la contrarecproca
y determinar la verdad o falsedad de cada una.
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)

Las lechugas son verduras

Slo las rectas paralelas no se cortan
Slo las rectas perpendiculares forman ngulos rectos.
Un tringulo equiltero tiene tres lados iguales
Si a es mayor que b entonces b es mayor que a
Los tringulos issceles son equilteros
Un hombre natural de Zapotillo es natural de Loja
Si x = 4 entonces x2 = 16
Ningn profesor de idiomas tiene mala ortografa
Toda persona mayor de 18 aos puede votar.

PROPOSICIN BICONDICIONAL: ( ), QUE SE LEE SI Y SLO SI

Sean p y q dos proposiciones simples entonces se puede indicar la proposicin bicondicional de la siguiente manera: p q; que se lee p si y solo si q
Esto significa que p es verdadera si y solo si q es tambin verdadera. O bien p es falsa
si y solo si q tambin es falsa. Ejemplo; el enunciado siguiente es una proposicin bicondicional
Luis es buen estudiante, si y solo si; tiene promedio de diez
Simblicamente tenemos:
p: Lus es buen estudiante
q: Tiene promedio de diez.
Por consiguiente: V (p q) = V
Su tabla de verdad es:

V (p) = V
V (q) = V

p
V
V
F
F

q
V
F
V
F

p q
V
F
F
V

La proposicin bicondicional solamente es verdadera si tanto p como q son falsas o

bien ambas verdaderas.
La proposicin bicondicional, tambin se forma por la conjuncin de una proposicin
condicional y su recproca, simblicamente tememos:
pq = pq qp
Ejemplo: Juan viajar a la ciudad de Cuenca si y slo si obtiene un prstamo en el
Banco de Loja; Simblicamente tenemos: q p
Equivale a decir: Si Juan viaja a la ciudad de Cuenca, entonces obtiene un prstamo
en el Banco de Loja, y si obtiene un prstamo en el Banco de Loja viajar a la ciudad
de Cuenca. Simblicamente tenemos: = p q q p
Por lo tanto la primera y segunda proposicin son iguales:
pq = pq qp
SIGNOS DE PUNTUACIN, AGRUPACIN Y ORDEN DE LOS OPERADORES O
CONECTIVOS LGICOS
Los signos de agrupacin ms conocidos tenemos: el parntesis, corchete y llaves
( ); [ ] ;
Estos signos reemplazan a los signos gramaticales: punto (.), la coma (,), el punto y
como (;), y los dos puntos (:).
Los signos de agrupacin se usan en lgica cuando se trata de obtener esquemas lgicos ms complejos con el fin de evitar la ambigedad de las frmulas:
1. Si las proposiciones tienen el mismo tipo de operador o conectivo lgico, se debe
colocar los parntesis de izquierda a derecha as:
p q r = (p q) r
p q r s = [(p q) r ] s
p q r s = [(p q) r] s
2. Si no hay signos de puntuacin ni parntesis se debe considerar el siguiente orden
de menor a mayor jerarqua de los operadores y de izquierda a derecha, para ubicar
los parntesis.

, , , ,

Ejemplos:
p q r = (p q) r
p q r v s = (p q) (r v s )

p q r s = (p q) (r s)
3. Si la proposicin compuesta est escrita con parntesis, la ubicacin de stos nos
indicar cual es el operador predominante:
Ejemplo:
p q r = (p q) v r Es un esquema disyuntivo
p q r v s = (p q) ( r v s ) Es un esquema condicional
p q r s = (p q) (r s ) Es un esquema bicondicional.
4. Si un esquema molecular no lleva los signos de agrupacin, se puede indicar cual
es el operador predominante as:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)

Conjuncin
Condicional
Condicional
Condicional
Conjuncin
Disyuncin
Disyuncin
Disyuncin
Disyuncin
Condicional
Negacin
Condicional
Negacin

prs
pq s
p qr
rpq
rpq
rqt
qps
qps
qrs
qrs
pr
pr
ts

(p r) s
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Dadas las siguientes proposiciones matemticas, incluir los parntesis.

1.
2.
3.
4.
5.
6.
7.

Disyuncin
condicional
condicional
condicional
conjuncin
condicional
conjuncin

x0 x>yy=z
x=0x>yyz
x = 0 x 0 y z
x>yx yy>z
x = 0 x > 0 y= 0
x = y y = z x= z
x=yy=zyz

En la proposicin compuesta:
En la proposicin compuesta:
En la proposicin compuesta:
En la proposicin compuesta:

x 0 ( x > y y = z)
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

p ( q r ) el conector principal es .
p q el conector principal es
p ( p r) el conector principal es
[ ( p q) (r s)] el conector principal es

Como podemos darnos cuenta, que los signos de puntuacin permiten, entre otras cosas, identificar en una proposicin compuesta el CONECTOR DOMINANTE O CONECTOR PRINCIPAL O EL DE MAYOR JERARQUA
Debemos recordar que un esquema molecular es la combinacin de las variables, operadores lgicos y los signos de agrupacin.

CLCULO PROPOSICIONAL
VALORES DE VERDAD DE PROPOSICIONES COMPUESTAS
Hay dos formas de establecer los valores de verdad:
1. Por medio de las tablas de verdad
Las tablas de verdad permiten determinar el valor de verdad de una proposicin compuesta y depende de las proposiciones simples y de los operadores que contengan.
Es posible que no se conozca un valor de verdad especfico para cada proposicin; es
este caso es necesario elaborar una tabla de verdad que nos indique todas las diferentes combinaciones de valores de verdad que pueden presentarse. Las posibilidades de
combinar valores de verdad dependen del nmero de proposiciones dadas.
Para una proposicin (n = 1), tenemos 21 = 2 combinaciones
Para dos proposiciones (n = 2), tenemos 22 = 4 combinaciones
Para tres proposiciones (n = 3), tenemos 2 3 = 8 combinaciones
Para n proposiciones tenemos 2n combinaciones
Ejemplo: dado el siguiente esquema molecular, construir su tabla de valores de verdad:
Pasos para construir la tabla:
( p q) (p r)
1. Determinamos sus valores de verdad 2 3 = 8 combinaciones
2. Determinamos las combinaciones:
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

3. Adjuntamos a ste cuadro el esquema molecular y colocamos debajo de cada una

de la variables sus valores de verdad :

p
V
V
V
V

q
V
V
F
F

r
V
F
V
F

(p
F
F
F
F

F
F
F
F

q )
V
V
F
F

V
F
V
F

(p
V
V
V
V

F
V
F
V

r)
F
V
F
V

F
F
F
F

V
V
F
F

V
F
V
F

V
V
V
V

V
V
F
F

V
V
F
F

V
V
F
F

F
F
F
F

(4)

V
V
V
V

F
V
F
V

(5)
(6)

4. Aplicamos la conjuncin de:

(p

q )

5. Aplicamos la condicional
(p

r)

6. Aplicamos la bicondicional
(p

q )

(p

r)

El operador de mayor jerarqua es el que determina los valores de verdad del esquema
molecular.
Ejercicios:
Sabiendo que p es falsa, q es verdadera y r es falso, hallar el valor de verdad de las
siguientes proposiciones compuestas por medio de la tabla de verdad.
a)
b)
c)
d)
e)
f)

(p q) (p q)
p (q r)
q (p q)
( p q) (p r)
( q ) (q r)
(r r) r

2.- Por medio del diagrama de rbol.Es un procedimiento corto y fcil, se necesita conocer los valores de verdad de cada
variable y aplicar las tablas de certeza lgica:
Ejemplos:
a. Sabiendo que p es falsa, q es verdadera y r es verdadera. Cul es el valor de verdad de la proposicin q (p r).
Solucin:
Tenemos:
q ( p r )

V
F

F
Luego la proposicin: q (p r), es falsa.
b. Dado el siguiente esquema molecular:
( p q) (p r)
Si: p es falsa q es verdadera y r es verdadera. El conector dominante es el bicondicional encontrar el valor de verdad del esquema por medio del diagrama del rbol:
Solucin:
( p q ) ( p r)

V
V

F
V

V
Luego la proposicin: ( p q) (p r) es verdadera
Ejercicios
1. Si el valor de verdad de la proposicin: q p, es falsa, Cul ser el valor de
verdad de: q p.
2. Completar con V o F, cada una de las siguientes proposiciones, justificar la respuesta:
a. Se sabe que p q es verdadera. Por lo tanto el valor de verdad de p q es:
----------------------b. Se sabe que p q es falsa. Por lo tanto, el valor de verdad de p q es:
----------------------c. Se sabe que p q es falsa. Por lo tanto, el valor de vedad de p q es:
----------------------d. Se sabe que p es falsa y p q es verdadera. Por lo tanto, p q es:
----------------------e. Se sabe que q y r es verdadera. Por lo tanto q ( p r) es:
------------------------

3. Escribir simblicamente las proposiciones siguientes y encontrar el valor de verdad

por el diagrama del rbol:
a. 2 es nmero par y 21 es mltiplo de 3, 5 es la raz cuadrada de 10
b. Si el m.c.m. de 12 y 15 es 60 y 3 es el cuadrado de 9, entonces, estudio o juego
ajedrez.

POLINOMIOS BOOLIANOS
Podemos construir Polinomios Booleanos, coordinando proposiciones mediante los
operadores lgicos o trminos lgicos.
En general, los polinomios booleanos se construyen combinando las variables lgicas
con los operadores o trminos lgicos.
Es decir, al polinomio booleano se le conoce tambin como proposicin compuesta o
con el nombre de formula.
CONTINGENTES, TAUTOLOGAS Y CONTRADICCIONES
Los esquemas moleculares se clasifican segn el resultado que se obtenga en el operador de mayor jerarqua, pueden ser:
CONTINGENTES
Cuando en su resultado hay por lo menos una verdad y una falsedad Ejemplo: dado el
siguiente esquema:
( p q) (p r)

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

(p
F
F
F
F
V
V
V
V

F
F
F
F
V
V
F
F

q )
V
V
F
F
V
V
F
F

V
F
V
F
V
V
F
F

(p
V
V
V
V
F
F
F
F

F
V
F
V
V
V
V
V

r)
F
V
F
V
F
V
F
V

El esquema es contingente

TAUTOLOGA
Es una proposicin que siempre es verdadera, independientemente del valor lgico de
las proposiciones simples que la componen..
Se puede decir tambin que un esquema es un tautolgico cuando los valores de verdad del operador principal son todos verdaderos.
Ejemplo
Si p y q son proporciones simples distintas, demuestre mediante tablas de certeza que
el siguiente esquema proposicional es una tautologa.

(p q) (p q)
p

( p

V
V
F
F

V
F
V
F

V
V
F
F

V
F
F
F

q )

( p

q )

V
F
V
F

V
V
V
V

V
V
F
F

V
F
F
V

V
F
V
F

Es un esquema tautolgico
CONTRADICCIN
Es cuando en el resultado todos los valores de verdad son falsos o Un esquema A es
una contradiccin si no A ( A), es una contradiccin cuando todos los valores del
operador de mayor jerarqua son falsos.
Indeterminacin: es la sentencia que ni es verdadera ni falsa.
Ejemplo: Dado el siguiente esquema molecular:
( p q) r [ r ( p q ), determinar si se trata de una contradiccin:

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

( p
F
F
F
F
V
V
V
V
4

F
F
F
F
V
V
F
F
10

V
V
F
F
V
V
F
F

V
V
V
V
F
V
V
V

r
F
V
F
V
F
V
F
V

F
F
F
F
V
F
F
F

[r
V
F
V
F
V
F
V
F

(
F F
F F
F F
F F
V V
F V
F F
F F

p
V
V
V
V
F
F
F
F

11

15

14 13

q)

q )
V
F
V
F
V
V
V
V
F
F
F
F
V
V
V
V
12

Podemos observar en el ejemplo anterior que no se trata de una contradiccin; pero si

es un es un esquema contingente.
OBSERVACIN:
A la tautologa se la simboliza con la letra T
A la idea de tautologa se la relaciona con el conjunto universal
A la contradiccin se la simboliza con la letra C
A la contradiccin se la relaciona con el conjunto vaco.
La negacin de una tautologa es una contradiccin
La negacin de una contradiccin es una tautologa.
EJERCICIOS

Comprobar por medio de una tabla de verdad que las siguientes esquemas compuestas son tautologas, contingentes o contradictorios
1.
2.
3.
4.
5.

pp
(p q) ( q p)
( p q ) ( q r )] ( p r)
[p ( p q ) q
( p q) ( q p)