LA LGICA

La Lgica es la ciencia que estudia los modos y formas de raciocinio. La lgica es una ciencia
auxiliar de la Matemtica, pues ayuda a comprenderla, razonarla, etc.
Para iniciar los estudios de la lgica, es necesario analizar oraciones particulares de las
cuales se pueden decir que son VERDADERAS O FALSAS y reciben el nombre de proposiciones.Por ejemplo:
El nmero 5 es un nmero natural
Toda proposicin es representada por las ltimas letras minsculas del abecedario:
p, q, r, s, t, w

CONECTIVOS LOGICOS
Se denominan conectivos lgicos, a smbolos que permiten formar proposiciones con otras
proposiciones. Estos son:
Conectivo

Nombre
NO
O INCLUYENTE
Y
ENTONCES O IMPLICA
S Y SOLO S
O EXCLUYENTE

Estos conectivos lgicos tienen una jerarqua en las operaciones, esta es: el NO en primer
lugar, luego el O INCLUYENTE y el Y, luego el IMPLICA, le sigue el S Y SOLO S y por ltimo el O
EXCLUYENTE.PROPOSICIONES SIMPLES Y COMPUESTAS
Una proposicin se dice que es simple si no est afectada por conectivos lgicos; caso
contrario, se dice que es compuesta.
Proposicin simple: p
Proposicin compuesta: pq

TABLA DE VALORES DE VERDAD

Una tabla de valores de verdad de una proposicin compuesta, es una tabla que se arma con
los posibles valores de verdad de las proposiciones simples para determinar el valor de verdad de la
proposicin compuesta.

OPERACIONES PROPOSICIONALES
LA NEGACIN
La negacin de la proposicin p es p, cuya tabla de valores de verdad es la siguiente:
p
p
V
F
F
V
Esta tabla proviene de hacer un anlisis simple de una proposicin cualquiera, por ejemplo:
p: el 2 es un nmero natural. Esta proposicin es VERDADERA.
www.LibrosZ.com

www.Matematica1.com

www.FisicaA.com

Y negando la proposicin p queda:

p: NO ES CIERTO que el 2 es un nmero natural. Esta proposicin es FALSA

Ahora, busquemos una proposicin falsa, por ejemplo:
p: el 3 es un nmero natural. Esta proposicin es VERDADERA.
Y negando la proposicin p queda:

p: NO ES CIERTO QUE el 3 es un nmero natural. Lo cual es FALSA

DISYUNCIN O SUMA LOGICA

La disyuncin o suma lgica de las proposiciones p y q, es pq, donde p y q se denominan
disyuntivos, y cuya tabla de valores de verdad es la siguiente:
Antes de armar esta tabla de valores de verdad, debemos saber cmo se obtiene la cantidad
de valores de verdad de la proposicin dada: para ello se recurre al anlisis combinatorio, y
concluimos que los valores de verdad se repiten y no interesa el orden, por lo tanto estamos en
presencia de un arreglo con repeticin de n elementos tomados de 2 en 2, o sea:

n valores = A'2n proposiciones =

n proposiones
2

En nuestro caso particular, tendramos que la VALORES = 2 = 4

p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

Esta tabla se explica con un ejemplo fcilmente:

P: estudio

q: veo televisin

pq: estudio O veo televisin

Como este o es incluyente, lo que significa que LA VERDAD se dar cuando realice al
menos una de las acciones. Se tiene que la primera lnea es VERDADERA porque estoy
ESTUDIANDO Y VIENDO TV; la segunda lnea es VERDADERA ya que si bien no veo TV pero estoy
ESTUDIANDO; la tercera lnea es similar a la anterior y en la cuarta lnea se tiene QUE NO ESTOY
REALIZANDO NINGUNA DE LAS DOS ACCIONES, por lo tanto es FALSA.Como conclusin se puede decir que la disyuncin es verdadera si al menos unos de
los disyuntivos tambin lo es.-

CONJUNCIN O PRODUCTO LGICO

La conjuncin o producto lgico de las proposiciones p y q, es pq, donde p y q se
denominan conjuntivos, y cuya tabla de valores de verdad es la siguiente:
p
V
V
F
F

www.LibrosZ.com

q
V
F
V
F

pq
V
F
F
F

www.Matematica1.com

www.FisicaA.com

Esta tabla, al igual que la anterior, se explica con un ejemplo fcilmente:

p: estudio
q: veo televisin
pq: estudio Y veo televisin
El y nos est indicando que la proposicin ser VERDADERA si ambas acciones se
cumplen. Se tiene que la primera lnea es VERDADERA porque estoy ESTUDIANDO Y VIENDO TV;
la segunda lnea es FALSA ya que no veo TV aunque est ESTUDIANDO; la tercera lnea es similar
a la anterior y en la cuarta lnea se tiene QUE NO ESTOY REALIZANDO NINGUNA DE LAS DOS
ACCIONES, por lo tanto es FALSA.Como conclusin se puede decir que la conjuncin es verdadera si ambos conjuntivos
tambin lo son.-

LA IMPLICACIN O CONDICIONAL
La implicacin o condicional de las proposiciones p y q, es pq donde p se denomina
antecedente, y q consecuente, y cuya tabla de valores de verdad es la siguiente:
p
V
V
F
F

q
V
F
V
F

p q
V
F
V
V

Esta tabla de valores de verdad se la puede interpretar con el siguiente ejemplo:

p: apruebo
q: te presto el libro
O sea que la proposicin ser: Apruebo, ENTONCES te presto el libro
La VERDAD del condicional est basada en el cumplimiento del compromiso de aprobar. O
sea que: en la primera lnea aprob y le prest el libro, por lo tanto es VERDADERA; en la segunda
lnea aprob y no le prest el libro, lo que significa que no cumpl con el compromiso, por lo tanto es
FALSA; en la tercera lnea no aprob y le prest el libro, pero el hecho de no aprobar no est inserto
en el compromiso, por lo tanto cuando no apruebe, queda librado a prestar o no el libro, lo que
significa que ser VERDADERO al igual que la lnea cuatro.
En conclusin, la implicacin es FALSA cuando el antecedente es verdadero y el
consecuente es falso.

LA DOBLE IMPLICACIN O EL BICONDICIONAL

La doble implicacin o el bicondicional de las proposiciones p y q es pq cuya tabla de
valores de verdad es la siguiente:
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

Esta operacin proposicional se la puede entender con el siguiente ejemplo:

p: te presto el libro
q: apruebo
Nuestra proposicin ser: te presto el libro SI Y SOLO SI apruebo
La VERDAD de esta proposicin se basa en el compromiso doble que existe, o sea que el
prstamo del libro se basa en la aprobacin solamente, lo que queda excluido el hecho de no
aprobar, por lo tanto en la primera lnea aprob y le prest el libro, lo que es VERDADERA; en la

segunda lnea aprob y no le prest el libro, lo indica que romp el compromiso, por lo tanto es
FALSA, en la tercera fila no aprob y le prest el libro, lo que es FALSA ya que el hecho de no
aprobar tambin est en el compromiso; y la cuarta lnea es VERDADERA, ya que no aprob y no le
prest el libro.Como conclusin se puede decir que la bicondicional es VERDADERO cuando ambas
proposiciones que lo componen son de igual valor de verdad.

LA DIFERENCIA SIMTRICA
La diferencia simtrica de las proposiciones p y q es p q cuya tabla de valores de verdad
es la siguiente:
p
V
V
F
F

q
V
F
V
F

pq
F
V
V
F

La explicacin de esta tabla de valores de verdad se basa en que este o es en sentido

excluyente, lo que significa que se puede dar una o bien la otra accin.Como conclusin se puede decir que la diferencia simtrica es VERDADERA, si ambas
proposiciones que la componen tienen distinto valor de verdad.-

CONDICIONES NECESARIA Y SUFICIENTE

En la tabla de valores de verdad del condicional, existen tres lneas donde es VERDADERA
(primera, segunda y tercera), pero de ellas, la tercera y la cuarta p es falsa y en la primera es
verdadera, entonces se dice que el antecedente p es condicin suficiente para q. Ahora, si el
antecedente p es verdadero, el consecuente q debe ser necesariamente verdadero para que la
implicacin lo sea, entonces se dice que el consecuente q es condicin necesaria para el
antecedente p.

TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA

Una proposicin compuesta se dice que es una tautologa si es VERDADERA
independientemente de los valores de verdad de las proposiciones simples que la componen.Por ejemplo la siguiente proposicin: (p q) p v q
Para resolver esta tabla de valores de verdad, se debe comenzar por el parntesis de la
izquierda de la doble implicacin, teniendo en cuenta que es una conjuncin, luego se sigue por su
negacin. Luego seguimos con la parte derecha de la doble implicacin, o sea con la negacin de p y
de q, luego con estos valores se resuelve la disyuncin. Por ltimo se resuelve la doble implicacin
(operacin principal) con el ltimo resultado de la derecha (la negacin del parntesis) y el ltimo de
la izquierda (la disyuncin)
p
V
V
F
F

q
V
F
V
F

- (p q)
F
V
V
F
V
F
V
F

-p
V F
V F
V V
V V

v
F
V
V
V

-q
F
V
F
V

Una proposicin es una contradiccin si es FALSA independientemente de los valores de

verdad de las proposiciones simples que la componen.Por ejemplo:
p
V
V
F
F
www.LibrosZ.com

q
V
F
V
F

p q
V
F
F
F

www.Matematica1.com

-p v -q
F F F F
F F V V
F V V F
F V V V
www.FisicaA.com

Una proposicin es una contingencia si no es ni VERDADERA ni FALSA.Por ejemplo:

p
q
p q
-p v -q
V
V
V
F F F F
V
F
F
V F V V
F
V
F
V V V F
F
F
F
V V V V

LEYES LOGICAS
Se llaman leyes lgicas a todas aquellas proposiciones que son verdaderas.
1. INVOLUCIN
La negacin de la negacin de una proposicin es equivalente a la misma proposicin.
-(-p) p
Demostramos esta ley usando la tabla de valores de verdad:
p
V
F

V
F

(-p)
F
V

V
V

p
V
F

2. LA IDEMPOTENCIA
De la disyuncin: La disyuncin de una misma proposicin, es equivalente a la misma
proposicin, o sea:
pvpp
Demostramos con una tabla de valores de verdad:
P
V
F

(p v p)
V
F

V
V

p
V
F

De la conjuncin: La conjuncin de una misma proposicin, es equivalente a la misma

proposicin, o sea:
p p p
Demostramos con una tabla de valores de verdad:
p
V
F

(p p)
V
F

V
V

p
V
F

3. ASOCIATIVIDAD
La disyuncin y la conjuncin son asociativas. O sea que:
(p v q) v r p v (q v r)
Para armar esta tabla se debe tener en cuenta que las proposiciones simples son tres, por lo
tanto tendrn 8 valores por cada proposicin dispuestas de la siguiente forma:
p
V
V
V
V
F
F
F
F
www.LibrosZ.com

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

(p v q)
V
V
V
V
V
V
F
F

vr
V
V
V
V
V
V
V
F

www.Matematica1.com

V
V
V
V
V
V
V
V

p v (q v r)
V
V
V
V
V
V
V
F
V
V
V
V
V
V
F
F
www.FisicaA.com

(p q) r p (q r)
Para armar esta tabla se debe tener en cuenta que las proposiciones simples son tres, por lo
tanto tendrn 8 valores por cada proposicin dispuestas de la siguiente forma:
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 q) r
V
V
V
V
F
V
F
F
V
F
F
V
F
F
V
F
F
V
F
F
V
F
F
V

p
V
F
F
F
F
F
F
F

(q r)
V
F
F
F
V
F
F
F

4. CONMUTATIVIDAD
La disyuncin y la conjuncin son conmutativas
pvqq vp
Se demuestra con una tabla de valores de verdad:
p
V
V
F
F

q
V
F
V
F

pvq
V
V
V
V
V
V
F
V

qvp
V
V
V
F

p q q p
Se demuestra con una tabla de valores de verdad:
p
V
V
F
F

q
V
F
V
F

p q
V
V
F
V
F
V
F
V

q p
V
F
F
F

5. DISTRIBUTIVIDAD
De la conjuncin con respecto a la disyuncin: la conjuncin es distributiva con respecto a
la disyuncin.
(p q) r (p r) v (q r)
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

www.LibrosZ.com

r
V
F
V
F
V
F
V
F

(p q) r
V
V
V
F
V
V
V
F
V
V
V
F
F
F
F
F

V
V
V
V
V
V
V
V

www.Matematica1.com

(p r) v (q r)
V
V
V
F
F
F
V
V
F
F
F
F
F
V
V
F
F
F
F
F
F
F
F
F

www.FisicaA.com

De la disyuncin con respecto a la conjuncin: la disyuncin es distributiva con respecto a

la conjuncin.
(p q) v r (p v r) (q v r)
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 q) v r
V
V
V
V
F
V
F
F
F
V
F
F
F
V
F
F

(p v r)
V
V
V
V
V
V
V
V
V
V
V
F
V
V
V
V
F
F
V
V
V
V
F
F

(q v r)
V
V
V
F
V
V
V
F

6. IMPLICACIONES ASOCIADAS
Si se tiene en cuenta la implicacin y las posibilidades de negar o cambiar el antecedente por
el consecuente y/o viceversa, podemos concluir en lo siguiente:
p q Implicacin Directa
q p Implicacin Recproca
-p -q Implicacin Contraria
-q -p Implicacin Contra recproca
Con estas implicaciones podemos armar un cuadro visualmente entendible:
RECPROCAS

pq

C
O
N
T
R
A
R
I
A
S

qp

C
O
N
T
R
A
R
I
A
S

CONTRA - RECPROCAS

-q -p

RECPROCAS

-p -q

Las implicaciones contra - recprocas son equivalentes; o sea que:

p q -q -p
Demostramos esta ley lgica usando una tabla de valores de verdad:
p
V
V
F
F

www.LibrosZ.com

q
V
F
V
F

p q -q
V
V F
F
V V
V
V F
V
V V

www.Matematica1.com

-p
V F
F F
V V
V V

www.FisicaA.com

7. LA DOBLE IMPLICACIN Y LA IMPLICACIN

La doble implicacin es equivalente a la conjuncin de la implicacin y su recproca. O sea:
p q (p q) (q p)
Se demuestra usando una tabla de valores de verdad.
p
V
V
F
F

q
V
F
V
F

(pq)
V
F
F
V

V
V
V
V

(p q)
V
F
V
V

V
F
F
V

(q p)
V
V
F
V

8. LA DIFERENCIA SIMTRICA Y LA DOBLE IMPLICACIN

La diferencia simtrica es equivalente a la negacin de la doble implicacin. O sea que:
p q -(p q)
Se demuestra con una tabla de valores de verdad:
p
V
V
F
F

q
V
F
V
F

pq
F
V
V
F

V
V
V
V

- (p q)
F
V
V
F
V
F
F
V

9. LEYES DE DE MORGAN
De la conjuncin: La negacin de una conjuncin, es equivalente a la disyuncin de las
negaciones. O sea que:
-(p q) -p -q
Demostramos esta ley usando la tabla de valores de verdad:
p
V
V
F
F

q
V
F
V
F

- (p q)
F
V
V
F
V
F
V
F

-p -q
V F F
F
V F V V
V V V
F
V V V V

De la disyuncin: La negacin de una disyuncin, es equivalente a la conjuncin de las

negaciones. O sea que:
-(p q) -p -q
p
V
V
F
F
10. NEGACION DE UNA IMPLICACIN

q
V
F
V
F

- (p q)
F
V
F
V
F
V
V
F

-p
V F
V F
V V
V V

-q
F
F
F
V
F
F
V V

La negacin de una implicacin es equivalente a negacin de la disyuncin de la negacin del

antecedente y el consecuente. O sea:
-(p q) -(-p q)

p
V
V
F
F

q
V
F
V
F

- (p q)
F
V
V
F
F
V
F
V

V
V
V
V

- ( - p q)
F
F
V
V
F
F
F
V V
F
V V

Ahora, aplicando la ley de De Morgan e Involucin en la disyuncin, queda:

-(p q) p -q
O sea que se puede decir que la negacin de una implicacin tambin es equivalente a la
conjuncin del antecedente y la negacin de consecuente.
Ahora negando la negacin de la implicacin queda:
-[-(p q)] -[ -(-p q)] -p q
Pero la negacin de la negacin de la implicacin queda:
p q -p q
O sea que la implicacin tambin es equivalente a la disyuncin de la negacin de
antecedente y el consecuente.Ahora, partiendo de la negacin de la negacin de una implicacin y aplicando involucin y
ley de De Moran, queda:
O sea que:

-[-(p q)] -[ -(-p q)] -(p -q)

p q -(p -q)

Por lo tanto podemos decir que la implicacin es equivalente a la negacin de la conjuncin

del antecedente y la negacin del consecuente.

CIRCUITOS LGICOS
Haciendo un anlisis con las tablas de valores de verdad de la conjuncin y de la disyuncin,
podemos compararlo con circuitos elctricos, relacionando la VERDAD con la llegada de la corriente
al final de circuito. Cada proposicin es un interruptor, y as tenemos:
CIRCUITO EN SERIE
Este circuito tiene la particularidad de que sobre una misma lnea se encuentran los
interruptores, o sea que:
p
q

Este circuito se relaciona con la conjuncin:

p
V
V
F
F

q
V
F
V
F

p q
V
F
F
F

En la primera lnea p y q son VERDADEROS, lo que significa los interruptores estn cerrados o sea
que pasa la corriente por los dos. O sea que:
p

V
En la segunda lnea p es VERDADERO y q FALSO, lo que significa que la corriente pasa hasta antes
de q. O sea que:
p

F
En la tercera lnea p es FALSO y q VERDADERO, lo que significa que la corriente pasa hasta antes
de p. O sea que:
p

F
En la cuarta lnea p es FALSO y q FALSO, lo que significa que la corriente pasa hasta antes de p. O
sea que:
p

F
CIRCUITO EN PARALELO
Este est formado por dos lneas que tienen el mismo principio y el mismo fin y con un
interruptor en cada lnea.
p

q
Este circuito se relaciona con la disyuncin teniendo en cuenta que la VERDAD de esta proposicin
est basada en la llegada de la corriente al final del mismo. O sea:
p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

En la primera lnea p y q son VERDADEROS, o sea que las llaves estn cerradas y pasa la corriente
por las dos lneas del circuito:
p

V
q
En la segunda lnea, p es VERDADERO y q FALSO, o sea que solamente la llave p est cerrada, lo
que deja pasar la corriente, o sea que:
p

V
q
En la tercera lnea, p es FALSO y q es VERDADERO, lo que significa que la corriente pasa por q,
entonces la disyuncin es VERDADERA, o sea:
p

V
q
En la cuarta lnea, p y q son FALSOS, por lo que tanto las llaves p y q estn abiertas, entonces la
disyuncin es FALSA ya que no llega la corriente hasta el final del circuito. O sea:
p

F
q
Ahora, el problema est cuando debemos armar un circuito lgico de proposiciones que no
son disyunciones ni conjunciones ni negaciones. En estos casos, se deben aplicar propiedades hasta
la reduccin a las mismas.-

Por ejemplo aplicando sucesivamente la equivalencia de la diferencia simtrica y la doble implicacin,

la ley de De Morgan y la equivalencia de la negacin de una implicacin:
p q -(pq) -[(pq) (qp)] -(pq) -(qp) (p -q)(q-p)
Esta ltima proposicin est formada por negaciones en las proposiciones simples,
conjunciones y disyunciones. Observamos que la operacin principal es la disyuncin, por lo tanto el
circuito ser uno en paralelo, donde en cada una de las lneas de este ltimo son conjunciones o
circuitos en serie. O sea que:
p

-q

-p

RAZONAMIENTOS DEDUCTIVOS
Se llama razonamiento al par ordenado ({pi},c), cuya primera componente es un conjunto
finito de proposiciones denominadas premisas, y la segunda componente es otra proposicin
llamada conclusin.
Un razonamiento se dice que es deductivo, si la conclusin es evidencia de los valores de
verdad de las premisas.
Un razonamiento tambin se lo expresa como una implicacin, cuyo antecedente es la
conjuncin de las premisas, y la conclusin es el consecuente. O sea:
p1 p2 p3 ... p4 c
De un razonamiento no se dice que es verdadero o falso, sino, que ES VALIDO o NO
VALIDO.
Teniendo en cuenta que la conjuncin es verdadera cuando los conjuntivos tambin lo son, y
adems, que la implicacin es falsa cuando el antecedente es verdadero y el consecuente es falso,
se tiene slo tres posibilidades donde la conclusin es evidencia de la verdad de las premisas:
p1 p2 p3 ... p4 c V
V V
V
F F
F
V V
F
V F
Entonces, un razonamiento deductivo se dice que es VLIDO, cuando no es posible que de
premisas VERDADERAS, se obtenga una conclusin FALSA.
Un razonamiento se los coloca en columna, enumerando las premisas, o sea que:
p1
p2
p3
...........
pn
c

LEYES DE INFERENCIAS:
Se llaman reglas de inferencias, a todo razonamiento deductivo vlido.Ley de Modus Ponens o Modus Ponendo: Si en un razonamiento se tiene una implicacin y el
antecedente, se obtiene como conclusin el consecuente. O sea que:
pq
p
q
Se demuestra fcilmente usando una tabla de valores de verdad:
p
V
V
F
F

q
V
F
V
F

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

q
V
V
V
V

Ley de Modus Tolens o Modus Tolendo: Si en un razonamiento se tiene una implicacin y la

negacin de consecuente, se concluye en la negacin del antecedente. O sea que:
pq
-q
-p
Se demuestra fcilmente usando una tabla de valores de verdad:
p
V
V
F
F

q
V
F
V
F

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

-q
F
V
F
V

V
V
V
V

-p
F
F
V
V

Ley del silogismo disyuntivo: si en un razonamiento se tiene una disyuncin y la negacin de uno
de los disyuntivos, se obtiene como conclusin el otro disyuntivo. O sea que:
pq
-p

pq
-q

Se demuestra fcilmente usando una tabla de valores de verdad:

p
q
(p q) -p
V
V
V
F F
V
F
V
F F
F
V
V
V V
F
F
F
F V

q
V
V
V
V

Ley del silogismo hipottico: si en un razonamiento se tiene dos implicaciones donde el

consecuente de una de ella, es antecedente de la otra, se obtiene como conclusin una tercera
implicacin, cuyo antecedente es el antecedente de la primera, y cuyo consecuente es el
consecuente de la segunda. O sea:
pq
qr
pr

Se demuestra fcilmente usando una tabla de valores de verdad:

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 q)
V
V
F
F
V
V
V
V

(q r)
V
V
F
F
F
V
F
V
V
V
F
F
V
V
V
V

V
V
V
V
V
V
V
V

(pr)
V
F
V
F
V
V
V
V

Para determinar la validez de una razonamiento, se deben enumerar las premisas, aplicar
leyes a fin de reducir el razonamiento colocando a la derecha de la nueva estructura, la procedencia y
la justificacin. Cuando ya no se pueda reducir ms, se debe tener en cuenta que un razonamiento
deductivo es vlido NO ES POSIBLES QUE DE PREMISAS VERDADERAS SE OBTENGA UNA
CONCLUSIN FALSA.Esto significa que se toman todas las premisas VERDADERAS, y se debe concluir en la
conclusin VERDADERA. Por ejemplo:
1) pq
2) -r-q
3) -(-p-t)
4) ts
5)
-r
s
1) t
2) ts
s

1) pq
2) qr
3) pt
4) ts
5) -r
s

De 2 por I.C.R.

1) pr
2) pt
3) ts
4) -r
s

De 1 y 2 LSH

1) -p
2) pt
3) ts_
s

1 y 4 MT

1 y 3 LSD

Este ltimo da como conclusin s por la Ley de Modus Ponens. Pero de todas maneras,
analizamos este razonamiento teniendo en cuenta que las premisas son verdaderas, y en particular t,
y ts. Entonces lo nico que queda es que s tambin lo sea, por lo tanto de premisas verdaderas,
obtuvimos conclusin verdadera, lo que significa que el Razonamiento Deductivo es VALIDO.Nota: Se aclara que LSH es Ley del Silogismo Hipottico. LMT es Ley de Modus Tolens. Y LSD es
Ley del Silogismo Disyuntivo.

TEOREMA
Un teorema es un esquema vlido de razonamiento. Todo teorema tiene tres partes:
HIPTESIS, que est compuesta por proposiciones verdaderas o premisas, la TESIS o conclusin,
que es lo que se quiere demostrar, y la DEMOSTRACIN que son pasos lgicos que se siguen para
poder demostrar la TESIS. En conclusin, un teorema es una verdad no evidente pero si
demostrable.El siguiente teorema lo vamos a demostrar utilizando el mtodo deductivo, o sea que
utilizaremos proposiciones verdaderas, y trataremos de llegar a una conclusin verdadera.
En todo tringulo, la suma de los ngulos interiores es 180.
HIPTESIS

Sea el tringulo a bc
TESIS

a + b+ c = 180

DEMOSTRACIN

b
A

Analizando el dibujo, nos damos cuenta que a'+ b+ c' = 180 , pero como

a' = a y b' = b por ser

alternos internos entre las paralelas ab y A , entonces a + b+ c = 180

RAZONAMIENTO INDUCTIVO
Un razonamiento se dice que es inductivo, cuando partiendo de casos particulares, se puede
llegar a la conclusin en forma general.La siguiente propiedad se demuestra usando el razonamiento inductivo:
La suma de nmeros enteros es conmutativa
HIPTESIS
Sean a b
TESIS
a+b=b+a
DEMOSTRACIN
Como a y b son nmeros enteros, entonces particularizamos la demostracin usando nmeros
enteros, y resolviendo:
-3+2=2-3
-1=-1

5+2=2+5
7=7

100+8=8+100
108=108

-10+38=38-10
28=28

En general podemos decir que siendo a y b enteros, entonces a+b=b+a

REDUCCIN AL ABSURDO
Este mtodo de demostracin, se basa en que las implicaciones contra - recprocas son
equivalentes; o sea que pq -q-p, que sera lo mismo que HT -T-H, lo que significa que
partiendo de la negacin de la tesis y llegando a la negacin de la hiptesis (absurdo, ya que la
hiptesis siempre es verdadera) demuestra la verdad de hiptesis implica tesis. Podemos demostrar
la propiedad de los ngulos interiores de un tringulo por este mtodo:
En todo tringulo, la suma de los ngulos interiores es 180.

HIPTESIS

Sea el tringulo a bc
TESIS

a + b+ c = 180
DEMOSTRACIN

b
A

a
Negamos la tesis, o sea que

a + b + c 180 ,

a' = a y b' = b por ser alternos internos

como

entre las paralelas ab y A , entonces a'+ b+ c' 180 , lo que nos indica que

A no es una recta,

entonces tampoco abc es un tringulo (lo contrario a la hiptesis) lo que es un absurdo.

Y teniendo en cuenta las implicaciones contra - recprocas, HT es verdadera.

LA FUNCIN PROPOSICIONAL
Se llama funcin proposicional, a todo predicado u objeto directo que est ligado a una
variable, y que para un valor de dicha variable, la oracin se transforma en una proposicin
Por ejemplo:
P(x)= x es azul

donde x es una variable o argumento

Ahora, si x = el auto, entonces queda:

P(el auto)= el auto es azul

LOS CUANTIFICADORES
Para poder trabajar con las funciones proposicionales se utilizan los cuantificadores, o sea
que se cuantifica la funcin proposicional. Los cuantificadores son dos: el cuantificador universal y el
cuantificador existencial:
Cuantificador Universal: x: para todo equis se verifica
Cuantificador Existencial: x/ Existe equis tal que
Una funcin proposicional que est afectada por un cuantificador se puede decir que es Verdadera o
Falsa; por ejemplo
x:xN, de esta funcin proposicional ya se puede decir si es verdadera o falsa

NEGACIN DE UN CUANTIFICADOR
Dentro del trabajo de la lgica cuantificacional, lo importante es poder negar un cuantificador:
NEGACIN DEL CUANTIFICADOR UNIVERSAL
Para poder llegar a entender la negacin del cuantificador universal, se debe recurrir a un
ejemplo:
Todos los nmeros enteros son impares
.

x:P(x)

x : x 2
Negamos esta oracin y nos queda:

No es cierto que todos los nmeros enteros son impares

.

-x:P(x)

x : x 2
Y esto es equivalente a decir que:
Existen enteros que no son impares
.

x/-P(x)

x / x = 2

En conclusin, se puede decir que si negamos un cuantificador universal es equivalente a

cambiarlo por el existencial y negar la funcin proposicional.O sea:
-x:P(x) x/-P(x)
NEGACIN DEL CUANTIFICADOR EXISTENCIAL
Al igual que el anterior, para poder llegar a entender la negacin del cuantificador existencial,
se debe recurrir a un ejemplo:
Existen nmeros enteros que son impares
.

x/P(x)

x / x 2
Negamos esta oracin y nos queda:

No es cierto que algunos nmeros enteros son impares

.

-x/P(x)

x / x 2
Y esto es equivalente a decir que:

Todos los nmeros enteros no son impares

.

x:-P(x)

x : x = 2

En conclusin, se puede decir que si negamos un cuantificador existencial es equivalente a

cambiarlo por el universal y negar la funcin proposicional.O sea:
www.LibrosZ.com

www.Matematica1.com

www.FisicaA.com

-x/P(x) x:-P(x)

Por ejemplo:

Cualquiera que sea un entero, existe otro que sumado a l de cero

P(x,y)= x+y=0
Negando el cuantificador queda:

x,y/x+y=0

-x,y/x+y=0 x/-y/x+y=0 x/y:x+y0

TRABAJO PRCTICO N 1
1) Construir la tabla de verdad de cada uno de las siguientes proposiciones:
a) (p q) r s
c) [(p q) (s q) ] r
e) p [q (s r)]

b) (p q) (r q)
d) p (q r)
f) [p (r s)] (p q)

2) Reducir a negaciones, conjunciones y disyunciones las proposiciones del ejercicio anterior y

construir el correspondiente circuito lgico.
3) Determinar la validez o invalidez de los siguientes razonamientos deductivos:
a)

p q
p
ps
-p q
-(p r)
s -r

b)

-p
r s
pq
-q s
q -p
p

-r
d)

-(p q) s
p s
pq
rs
p

e)

(r s) p
-p q
pq
(q s) r
r

p
f)

h)

rs
pr
sq
- q -r
r
qt
t
-p-q
rs
pr
q r

g)

- q -r
p s
r
tq
q

i)

p q
rs
rq
qp
q

r
qs

4) Escribir en forma simblica las siguientes proposiciones, negarlas y luego retraducirlas al lenguaje
coloquial:
a) Si apruebo, t presto el libro
b) Ana es hermosa y buena
c) Estudio o bien, escucho msica, y adems lo hago con mis compaeros
d) Los sbados estudio o me junto con mis amigos
5) Negar lo siguientes cuantificadores:
a) x: [P(x) Q(x)]
c) X/[P(x) Q(x)]

b) x/{P(x) [Q(x) R(x)]}

d) x:{[Q(x) R(x)] P(x)}

6) Dado los siguientes enunciados de teoremas, determinar la Hiptesis y la tesis:

a) Teorema de Pitgoras:
En todo tringulo rectngulo, el cuadrado de la hipotenusa es igual a la suma del cuadrado de los
catetos
b) Teorema fundamental de la semejanza de tringulos
Si a un tringulo se le traza una paralela a uno de sus lados, sta determina dos tringulos
semejantes
c) Propiedad de los cuadrilteros
En todo cuadriltero, la suma de los ngulos interiores es igual de cuatro rectos
7) Reescriba las siguientes frmulas lgicas en lenguaje natural, siendo:
p: Juan vendr en el tren de las 8:15
q: Juan vendr en el tren de las 9:15
r: Juan tendr tiempo de visitarnos
a) -p q r
b) p q r
c) (p q) (p r)
d) p -q r
e) (p q) (p r)
8) Reescriba los siguientes enunciados en lenguaje natural como frmulas del clculo proposicional
clsico:
a) Si M es negativo entonces Q es negativo. Si P es positivo, entonces Q es negativo. Por lo
tanto, si M es negativo o P es positivo, luego Q es negativo.
b) Si M es negativo entonces Q es negativo. Si P es positivo, entonces Q es negativo. Por lo
tanto, si M es negativo y P es positivo, luego Q es negativo.
c) Si miro al cielo y estoy alerta entonces o ver un plato volador o si no estoy alerta, no ver un
plato volador.
9) Determine si las siguientes oraciones en lenguaje natural son equivalentes:
a) Llueve o est nublado. No llueve. Est nublado.
b) Si me levanto temprano, estar cansado. Me levanto temprano. No estoy cansado.
c) Si hay sol, vamos al club. Si es sbado, vamos al club. Si hay sol y es sbado entonces
vamos al club.
d) La venta de casas cae si el inters sube. Los rematadores no estn contentos si la venta de
casas cae. El inters sube. Los rematadores estn contentos.

www.LibrosZ.com

www.Matematica1.com

www.FisicaA.com