Está en la página 1de 19

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

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:
www.LibrosZ.com

p: el 2 es un nmero natural. Esta proposicin es VERDADERA.


www.Matematica1.com

.L ib

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

ro s

Z.

co m

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:

2 n proposiones n valores = A'n proposiciones = 2


p V V F F q V F V F

P: estudio

Esta tabla se explica con un ejemplo fcilmente: 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 q V F V F pq V F F F

www.LibrosZ.com

www.Matematica1.com

.L ib

ro s

Z.

co m

En nuestro caso particular, tendramos que la VALORES = 22 = 4 pq V V V F

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
www.LibrosZ.com www.Matematica1.com www.FisicaA.com

.L ib

ro s

Z.

co m

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.

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

TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA

.L ib

ro s

Z.

co m
pq V F F F

q V F V F

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

www.Matematica1.com

Una proposicin es una contingencia si no es ni VERDADERA ni FALSA.Por ejemplo: p q pq -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

Z.

co m
V V p V F V V p V F vr V V V V V V V F 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

De la conjuncin: La conjuncin de una misma proposicin, es equivalente a la misma proposicin, o sea: ppp Demostramos con una tabla de valores de verdad:

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

.L ib
r V F V F V F V F

(p p) V F

www.Matematica1.com

ro s

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

Se demuestra con una tabla de valores de verdad: p V V F F q V F V F pq V V F V F V F V qp 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 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 (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.LibrosZ.com

www.Matematica1.com

.L ib

ro s

pqqp

Z.

co m

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

C O N T R A R I A S

.L ib

ro s

pq

Z.

co m

Con estas implicaciones podemos armar un cuadro visualmente entendible: qp

RECPROCAS

CONTRA - RECPROCAS

C O N T R A R I A S

-p -q

RECPROCAS

-q -p

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 -p V V F V F F V V F F V V F V V V V V V V
www.FisicaA.com

www.Matematica1.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 9. LEYES DE DE MORGAN q V F V F pq F V V F V V V V - (p q) F V V F V F F V

w w w

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)
www.LibrosZ.com www.Matematica1.com www.FisicaA.com

.L ib

De la conjuncin: La negacin de una conjuncin, es equivalente a la disyuncin de las negaciones. O sea que: -(p q) -p -q

ro s

Z.

co m

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:

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 pq V F F F

www.LibrosZ.com

CIRCUITOS LGICOS

www.Matematica1.com

.L ib

Por lo tanto podemos decir que la implicacin es equivalente a la negacin de la conjuncin del antecedente y la negacin del consecuente.

ro s

p q -(p -q)

Z.

co m

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

www.FisicaA.com

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 q

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 q

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 q

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 q

co m

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

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

www.LibrosZ.com

www.Matematica1.com

.L ib
q

ro s

Z.

www.FisicaA.com

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:

.L ib

ro s

Z.

co m

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:

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

www.LibrosZ.com

www.Matematica1.com

www.FisicaA.com

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:

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 V V F F V F V V c 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

www.LibrosZ.com

www.Matematica1.com

p1 p2 p3 ... p4 c

.L ib

ro s

Z.

co m

www.FisicaA.com

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

ro s

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 pq -p -q ______ ______ q p Se demuestra fcilmente usando una tabla de valores de verdad: p q (p 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
www.LibrosZ.com www.Matematica1.com www.FisicaA.com

p V V F F

q V F V F

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

Z.

Se demuestra fcilmente usando una tabla de valores de verdad: -q F V F V -p V F V F V V V V

.L ib

co m

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

De 2 por I.C.R.

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
www.LibrosZ.com www.Matematica1.com www.FisicaA.com

.L ib

ro s

Z.

1 y 3 LSD

co m

DEMOSTRACIN

b A a c

Analizando el dibujo, nos damos cuenta que a '+ b + c ' = 180 , pero como alternos internos entre las paralelas ab y A , entonces a + b + c = 180

a' = a y b' = b por ser

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:

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.
www.LibrosZ.com www.Matematica1.com www.FisicaA.com

TESIS

Sean a b

.L ib

HIPTESIS

ro s

La suma de nmeros enteros es conmutativa

Z.

co m

HIPTESIS

Sea el tringulo a bc TESIS


a + b + c = 180
DEMOSTRACIN

b A a c

a
Negamos la tesis, o sea que

+c +b 180 , a

y como

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

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

www.LibrosZ.com

www.Matematica1.com

.L ib

LA FUNCIN PROPOSICIONAL

ro s

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.

Z.

co m

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

A no es una recta,

www.FisicaA.com

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 : x 2
Negamos esta oracin y nos queda:

x:P(x)

No es cierto que todos los nmeros enteros son impares

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

-x:P(x)

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

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 / x 2
Negamos esta oracin y nos queda:

NEGACIN DEL CUANTIFICADOR EXISTENCIAL

.L ib

ro s

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:

Z.

co m

x / x = 2

x/-P(x)

x/P(x)

No es cierto que algunos nmeros enteros son impares

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

-x/P(x)

Todos los nmeros enteros no son impares

x : x = 2

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:
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 x,y/x+y=0 Negando el cuantificador queda: -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) pq p ps -p q -(p r) s -r ______ -r -(p q) s ps pq rs p ___________ p rs pr sq - q -r r qt ____________ t -p-q rs p r qr ___________ r b)

.L ib

ro s
e) g) i)

Z.

co m

-p rs pq -q s q -p ______ p (r s) p -p q pq (q s) r _________ r - q -r ps r tq ________ q pq rs rq qp q __________ qs


www.FisicaA.com

d)

f)

h)

www.LibrosZ.com

www.Matematica1.com

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

.L ib

ro s

Z.

co m

www.FisicaA.com

También podría gustarte