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
v O INCLUYENTE
. Y
ENTONCES O IMPLICA
S Y SOLO S
v 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 o atmica si no est
afectada por conectivos lgicos; caso contrario, se dice que
es compuesta o molecular.

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.

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 pvq,
donde p y q se denominan disyuntivos, cuya tabla de valores de verdad
es la siguiente:

Antes de armar esta tabla de valores de verdad, debemos saber
como 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:


Valores de verdad = 2
nmero de proposiciones


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

p Q pvq
V V V
V F V
F V V
F F F

Esta tabla se explica con un ejemplo fcilmente:

P: estudio q: veo televisin

pvq: 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 por que 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.-

CONJ UNCIN O PRODUCTO LGICO

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

p Q p.q
V V V
V F F
F V F
F F F


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

p: estudio q: veo televisin
p.q: 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 por que 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 Q p q
V V V
V F F
F V V
F F 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; el 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 Q pq
V V V
V F F
F V F
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 v q, cuya tabla de
valores de verdad es la siguiente:

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

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 - (-
p) p
V V F V V
F F V V F

2. LA IDEMPOTENCIA
De la disyuncin: La disyuncin de una misma proposicin, es
equivalente a la misma proposicin, o sea:
p v p p

Demostramos con una tabla de valores de verdad:

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

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


4. CONMUTATIVIDAD

La disyuncin y la conjuncin son conmutativas

p v q q v p

Se demuestra con una tabla de valores de verdad:

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

p . q q . p

Se demuestra con una tabla de valores de verdad:

p q p . q q . p
V V V V V
V F F V F
F V F V F
F F F V F


5. DISTRIBUTIVIDAD

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


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


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


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


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

Se demuestra con una tabla de valores de verdad:

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

Demostramos esta ley usando la tabla de valores de verdad:

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

p q - (p v q) -p . -q
V V F V V F F F
V F F V V F F V
F V F V V V F F
F F V F V V V V

10. NEGACION DE UNA IMPLICACIN

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 vq)

p q - (p q) - (- p vq)
V V F V V F F V
V F V F V V F F
F V F V V 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 v q)] -p v q

Pero la negacin de la negacin de la implicacin queda:

p q -p v 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:

-[-(p q)] -[ -(-p v q)] -(p . -q)
O sea que:

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:



Este circuito se relaciona con la conjuncin:

p Q p . q
V V V
V F F
F V F
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.
En la segunda lnea p es VERDADERO y q FALSO, lo que significa que
la corriente pasa hasta antes de q.
En la tercera lnea p es FALSO y q VERDADERO, lo que significa que la
corriente pasa hasta antes de p.
En la cuarta lnea p es FALSO y q FALSO, lo que significa que la
corriente pasa hasta antes de p. O sea que:

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.



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 q pvq
V V V
V F V
F V V
F F 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.-
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.
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.
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.

Ahora, el problema est cuando debemos construir 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 v q -(pq) -[(pq) . (qp)] -(pq) v -(qp) (p .-
q)v(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:




RAZONAMIENTOS DEDUCTIVOS

Se llama razonamiento al par ordenado ({p
i
},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:

p
1
. p
2
. p
3
. ... . p
4
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:

p
1
. p
2
. p
3
. ... . p
4
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:

p
1

p
2

p
3

...........
p
n

________
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 q (p q) .p q
V V V V V
V F F F V
F V V F V
F F V F 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 q (p q) . -q -p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V 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:

pvq pvq
-p -q
______ ______
q p

Se demuestra fcilmente usando una tabla de valores de verdad:

p q (p v q) . -p q
V V V F F V
V F V F F V
F V V V V V
F F F F 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 q r (p q) . (q r) (pr)
V V V V V V V V
V V F V F F V F
V F V F F V V V
V F F F F V V F
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V 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 1) pq 1) pr De 1 y
2 LSH
1) -p 1 y
4 MT
2) -r-q 2) qr De 2 por
I.C.R.
2) pvt 2) pvt
3) -(-p.-t) 3) pvt 3) ts 3) ts_
4) ts 4) ts 4) -r__ s
5) -
r__
5) -
r__
s
s s

1) t 1 y 2 LSD
2) ts
s


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, yts. 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 abc
TESIS

a +b +c =180

DEMOSTRACIN




Analizando el dibujo, nos damos cuenta que a'+b+c' = 180, pero
como a=a' y c=c' por ser alternos internos entre paralelas, 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 aeZ . beZ

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

TESIS
a +b +c =180

DEMOSTRACIN



Negamos la tesis, o sea que a+b+c 180 y como a=a' y c=c' por ser alternos
internos entre las paralelas la recta A y el lado ac no son paralelos, lo que nos
indica que 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, H=>T es
verdadera.

LA FUNCIN PROPOSICIONAL

Se llama funcin proposicional, a todo predicado u objeto directo que
est ligado a una variable, y que para el 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:xeN, 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:2|x x:P(x)

Negamos esta oracin y nos queda:

No es cierto que todos los nmeros enteros son impares

~x:2|x ~x:P(x)

Y esto es equivalente a decir que:

Existen enteros que no son impares

-x/~(2|x) -x/~P(x)

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/~(2|x) -x/P(x)

Negamos esta oracin y nos queda:

No es cierto que algunos nmeros enteros son impares

~-x/~(x|2) ~-x/P(x)

Y esto es equivalente a decir que:

Todos los nmeros enteros no son impares

x x:~P(x)

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:

~-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

x,-y/x+y=0
Negando el cuantificador queda:

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