UNIVERSIDAD NACIONAL DE CHIMBORAZO

INSTITUTO DE POSTGRADO

MAESTRA EN CIENCIAS DE LA EDUCACIN APRENDIZAJE DE LA MATEMTICA MDULO:

DIRECTOR DEL IP: COORDINADORA: "ACILITADOR:

LGICA MATEMTICA Y TEORA DE CONJUNTOS

Ing. Patrici Carri!! "! r# Mg$. Mg$. S c rr Par%&%$ Dr. MARLON 'ILLA 'ILLA# M$.C. Ri (a)(a * Ec+a& r ,.-./

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

1.

INTRODUCCIN
Sirvan a la humanidad y luchen desinteresadamente por lograr sus objetivos sin, esperar recompensa alguna

Juan Vicente Villa Cando En matemtica para construir la teora partimos de las primeras proposiciones (conceptos primitivos) que se deben aceptar sin demostraci n, !stas constituyen la base sobre la cual se demuestran otras proposiciones conocidas como a"iomas# $tras proposiciones denominadas de%iniciones, no se demuestran s lo se asigna un signi%icado a una palabra, a una e"presi n# &or 'ltimo, hay proposiciones que se deducen a partir de los conceptos primitivos, los a"iomas de otras proposiciones ya demostradas, aplicando las reglas de la l gica que se denominan teoremas# El orden que aparecen los conceptos primitivos, los a"iomas, de%iniciones y teoremas dependen de las necesidades, uso y aplicaciones que demos a la teora# &or esto es necesario el estudio de la l gica y la teora de conjuntos# (a importancia de la ( gica es reconocida desde la antig)edad, ya los griegos clsicos saban que el ra*onamiento es un proceso sujeto a ciertos esquemas y que, al menos parcialmente, est gobernado por leyes per%ectamente %ormulables# &ero su importancia en la actualidad se debe, sin duda, al destacado papel que ha tomado recientemente en los ms diversos campos de la +n%ormtica (anlisis, sntesis y veri%icaci n de programas, programaci n l gica, inteligencia arti%icial, control de procesos, rob tica, etc) y todo ello no de %orma completamente accidental ya que, como veremos, la ( gica naci como un intento de mecani*ar los procesos intelectivos del ra*onamiento#

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

2. OBJETIVOS
GENERAL, -plicar los conocimientos de la l gica y la teora de conjuntos al resto de la matemtica, mediante la correcta aplicaci n de a"iomas, leyes, principios y teoremas, utili*ando un proceso l gico . deductivo# ES EC!"ICOS# -plicar los conocimientos de la l gica enunciativa en la teora de conjuntos y otros temas de la matemtica# /rear y resolver problemas de conjuntos aplicados a la vida real# -plicar los conocimientos de los m!todos de demostraci n para resolver algunas demostraciones#

$. %ETODOLOG!A
(a metodologa a aplicarse en el proceso de aprendi*aje de la l gica y la teora de conjuntos es, %&TODOS# En el aula de clases se utili*ar el m!todo inductivo, deductivo, analtico, sint!tico, descriptivo y e"plicativo# T'CNICAS# (as t!cnicas a utili*arse son t!cnicas de aprendi*aje individual (resumen)0 y, t!cnicas de aprendi*aje grupal (resoluci n de problemas, debate, e"posiciones)# (ERRA%INETAS# (as herramientas de aprendi*aje sern las que est!n a disposici n del estudiante (internet, libros, %olletos), el material didctico para la e"posici n de los resultados se lo reali*ar utili*ando recursos tecnol gicos y1o in%ormticos#

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

). EVALUACIN * ACREDITACIN
(a evaluaci n est compuesta por, 2rabajos grupales y e"posiciones el 345 de la nota, se tomar en cuenta la claridad de la e"posici n,
los recursos utili*ados, la distribuci n del tiempo, etc#

2rabajos individuales e investigaciones el 345 de la nota, se toma en cuenta la originalidad# -utoevaluaci n del alumno el 64 5 de la nota, se toma en cuenta la participaci n, puntualidad y asistencia del alumno a cada uno de los encuentros# (a prueba escrita el 'ltimo encuentro el 345 de la nota 2rabajos e"tras como plan remedial hasta el 745 (os trabajos asignados incluido los de investigaci n se receptarn el da y hora se8alados no e"iste postergaci n#

+. BIBLIOGRA"!A
9enalc*ar, :ernn# ;atemtica para 9achillerato# Ecuador, 7#467 <alindo, Ed=in# ;atemtica Superiores# Ecuador, &rociencia, 7#464 (ara, >orge# -nlisis ;atemtico# Ecuador, 6?@A &roa8o, Bamiro# ( gica, conjuntos y estructuras# Ecuador, 6??7 Crqui*o, -ngel# ;atemtica Dundamental# Ecuador, Edipcentro, 7443 LECTURAS RECO%ENDADAS 2o &etrus El hombre que calculaba, una mente 9rillante 2endencias innovadoras en educaci n matemtica# &ro%esi n, las matemticas#

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

-rticulaci n Educaci n media . Educaci n superior# -cerca de la epistemologa de la matemtica# 2endencias actuales de la resoluci n de problemas# >uegos matemticos en la ense8an*a# (os impactos matemticos sobre la cultura &(-2EF -B+S2E2E(ES EC/(+GES <$22DB+EG (E+9F+H -C<CS2CS GE ;$B<-F <+CSE&&E &E-F$ G-I+G :+(9EB2 F+J$(-+ ($9-/:EISJK 9EB2B-FG BCSE(( <E$B< /-F2$B 9EBF:-BG 9$(H-F$ B+/:-BG GEGEJ+FG JCB2 <$GE( WEBGRAFA
http://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica http://noticias.espe.edu.ec/joegarcia/files/ !1 /!"/L#$%CA&'A()'A(%CA.pdf http://iap&ec.com/uploads/archi*os/!d+!,3!+f-3. 13a- d-.cac/e+a.!0.pdf http://es.wikipedia.org/wiki/(eor%C3%A1a_de_conjuntos http://colposfes2.galeon.com/est0!1/conjunto/teoconj.htm http://noticias.espe.edu.ec/joegarcia/files/ !1 /!"/()#3%A&1)&C#4564(#7 .pdf

BUENA SUERTE EN TU TRABAJO

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

CA ITULO 1 LGICA 1.1. INTRODUCCIN.

(a l gica matemtica, llamada tambi!n LlogsticaL, Ll gica simb licaL, el Llgebra de la l gicaL y 'ltimamente Ll gica %ormalL o l gica moderna, es la disciplina que trata de los m!todos de ra*onamiento# En un nivel elemental, la l gica proporciona reglas y t!cnicas para determinar si es o no valido un argumento dado# El ra*onamiento l gico se emplea en matemticas para demostrar teoremas0 en ciencias de la computaci n para veri%icar si son o no correctos los programas, en las ciencias %sica y naturales, para sacar conclusiones de e"perimentos, en las ciencias sociales y en la vida cotidiana para resolver problemas# En conclusi n usamos en %orma constante el ra*onamiento l gico para reali*ar cualquier actividad#

%ATE%,TICA

1.2.

RO OSICIONES
Cna proposici n o enunciado es una oraci n que puede ser %also o verdadero pero no ambas a la ve*# 2oda proposici n es oraci n, pero no toda oraci n es proposici n# 2oda proposici n es una aseveraci n a la cual se asocia uno y solo uno de los siguientes valores de verdad, Ve-dade-o "al.o (I) o tambi!n (6) (D) o tambi!n (4)

(a proposici n es un elemento %undamental de la l gica matemtica, se representan por medio de una letra (con o sin subndice), dos puntos y la proposici n propiamente dicha#

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

p, %rase, enunciado Ejemplo 6# p, q, r, s, t, =, L(a tierra es plana#L N6A O 3@ M 7 PQ KN? El /entro Geportivo $lmedo ser campe n en la presente temporada de D'tbol# :ola Rc mo estsS (ava el coche por %avor# v(p) M V v(q) M "

(os incisos / y 0 sabemos que pueden tomar un valor de %also o verdadero, por lo tanto son proposiciones validas, y reciben el nombre de /-o/o.icione. ce--ada.. El inciso r tambi!n es una proposici n valida, aunque el valor de %also o verdadero depende del valor asignado a las inc gnitas 1 e K en determinado momento, !stas proposiciones reciben el nombre de /-o/o.icione. a2ie-ta. o 3unci4n /-o/o.icional y llevan una o varias variables# (a proposici n del inciso . tambi!n esta per%ectamente e"presada aunque para decir si es %alsa o verdadera se tendra que esperar a que terminara la temporada de %'tbol# Sin embargo los enunciados t y 5 no son vlidos, ya que no pueden tomar un valor de %also o verdadero, uno de ellos es un saludo y el otro es una orden# RO OSICIONES CERRADAS. Son aquellas a las que se puede asignar inmediatamente un valor de verdad RO OSICIONES ABIERTAS. Son las proposiciones que no se conocen, su valor de verdad, sin antes convertir en cerradas mediante un cuanti%icador

1.$.

TI OS DE RO OSICIONES. En l gica e"isten dos tipos de proposiciones que son las proposiciones simples (elementales o at micas) y las proposiciones compuestas

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

(moleculares o coligativas)# a. RO OSICIONES SI% LES O AT%ICAS. Son aquellas que no se

pueden descomponer en otras proposiciones ms sencillas para las cuales tenga sentido hablar de verdadero o %also# Ejemplo 7,
1

#6 El gato tiene cuatro patasL ,LBiobamba es la capital de /himbora*oL ,L El T es un n'mero parL CO% UESTAS O %OLECULARES. Son aquellas

2.

RO OSICIONES

proposiciones %ormadas por dos o ms proposiciones elementales Ejemplo 3,

)

,LBiobamba es la capital de /himbora*o y Ecuador est en -m!ricaL

.,Lel T es un numero par o el NU es un numero negativoL

7

,LSi el +I- en el Ecuador es el 675 EF2$F/ES el +/E es el U5L

1.).

O ERACIONES EN EL CONJUNTO DE LAS RO OSICIONES.

Fos proponemos de%inir, en el conjunto de todas las proposiciones l gicas, oportunas operaciones de composici n binaria interna que, aplicada a un par ordenado de proposiciones (&6, &7) dan como resultado una proposici n del tipo siguiente, &M & 6 V &70 - la operaci n V se le denomina o/e-ado- o conecti8o l49ico -s la escritura &M &6V &7 se lee, L(a proposici n & es igual a &6 compuesta con &7, mediante el conectivo l gico VL

INGRESO
1

RESULTADO

$&EB-G$B (E<+/$

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

:
2

(as operaciones que se pueden de%inir en el conjunto de las proposiciones son las siguientes,

a# b# c# d# e#

(a negaci n l gica (a conjunci n l gica (a disyunci n l gica (a implicaci n l gica (a doble implicaci n l gica

no y LoL LSi### entonces W#si y s lo siWX

2odas estas operaciones son 2ina-ia. a e"cepci n de la ne9aci4n l49ica que es una-ia< en el sentido que se aplica a una sola proposici n, en lugar que a dos, Ge esta operaciones las tres primeras particularmente son importantes (negaci n l gica, conjunci n l gica y disyunci n l gica) Estas se representan habitualmente con una de las %ormas indicadas en la tabla 6, la primera %orma deriva del latino, el segundo es debido al gran matemtico :ilbert y el tercero es utili*ado en el lenguaje de programaci n de computadoras#

O ERADOR LGICO Fegaci n l gica DCFG-;EF2-( /onjunci n l gica Gisyunci n l gica 2abla [ 6 Latino M no &6 M &6 y & 7 & M & 6 o &7

SI%BOLIS%O (il2e-t & M Y&6 &M &6 Z &7 &M&6 v &7

In3o-=>tico & M NOT &6 &M &6 AND &7 &M& 6 OR & 7

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

a.

LA NEGACIN LGICA (a operaci n de ne9aci4n l49ica (no, not) es dicha una-ia porque se aplica sobre una sola proposici n# Su %unci n es negar la proposici n# Esto signi%ica que s alguna proposici n es verdadera y se le aplica el operador not se obtendr su complemento o negaci n (%also)# Este operador se indica por medio de los siguientes smbolos (\,]) Ejemplo,
&,
Y&,

LEl Ecuador est en Sudam!ricaL LEl Ecuador no est en Sudam!ricaL

v(p) M V v(no p)M "

&ara mayor comprensi n del operador NO< e"aminemos la tabla de verdad

& D
I

F$ & I D

& 4
6

]& 6 4

Si representamos en un diagrama de IEFF EC(EB tenemos,

no & &

Esquemticamente en un te"to de electr nica, este operador es representado como una

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

mquina que tiene una sola entrada y una sola salida, que in8ie-te el dato de ingreso, +F<BES$ BESC(2-G$ +F<BES$ BESC(2-G$

&6

]&6

&6

]&6

Ejemplo, :,L 64 es divisible para 3L ]:,L 64 no es divisible para 3L 2. LA CONJUNCIN LGICA. Es una operaci n de composici n binaria interna que aplicada al par ordenado (&6,&7) de proposiciones, da como resultado una nueva proposici n compuesta &, obtenida ligando & 6con &7 mediante la conjunci n y (and)0 el resultado es, Entonces, del tipo, & M & 6 y& 7 & M & 6Z & 7 v(:) M " v(no :) M V

Si las proposiciones,
&6 ,

LEl c ndor es un aveL

&7, LEl perro es un caninoL

Son compuestas mediante el operador y, se obtiene como resultado la nueva proposici n &, &M &6 Z &7, L El c ndor es un ave y el perro es un caninoL Ieamos como vara el valor de verdad de la proposici n compuesta & M &6Z &7 En %unci n de los valores de verdad que pueden asumir las proposiciones

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

elementales &6, &7 o- de3inici4n< se tiene que la proposici n compuesta Ve-dade-a si y s lo si las proposiciones Ve-dade-a. En consecuencia la tabla de verdad del operador LyL se representa en la tabla 7 o 9ajo la %orma de matri* como en la tabla 3
1

& M &6 y &7 resulta

.on conte=/o->nea=ente

1;

D D v V

D I D @V

D D D V 2abla 7

4 4 6 1

4 6 4 1

4 4 4 1

2abla de verdad de la proposici n compuesta & M &6 y &7

K D &6 D I D D

&7 I D V

Si representamos en un diagrama de EC(EB IEFF tenemos

&6

&7

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

&6 K &7, la conjunci n se le conoce como la multiplicaci n l gica Gadas las proposiciones, -,LBiobamba es la capital de /himbora*oL 9,L /rist bal /ol n descubri ^%ricaL /,L(a luna es un sat!lite natural de la tierraL G,L El n'mero T es imparL /omponga mediante el operador l gico y, determine los valores de verdad de las proposiciones compuestas obtenidas Soluci n, 6) +nicialmente determinamos los valores de verdad de las proposiciones elementales dadas0 por eso te invito a completar la tabla,

&roposici n Ialor de Ierdad

G D

7) -hora, pasamos a aplicar el operador y, al par (-,9) de proposiciones, obteniendo como resultado una nueva proposici n, - Z 9,L Biobamba es la capital de /himbora*o y /rist bal /ol n descubri ^%ricaL# v (- Z 9 ) M "# porque, v( -) M V < v(9)M".

-plicando el operador y al par (-,/) obtenemos como resultado, - Z /,LBiobamba es la capital de /himbora*o y la luna es un sat!lite natural de la tierraL# v (- Z / ) M V# porque, v( -) M V < v(/)MV.

Gejamos como tarea enunciar otras proposiciones compuestas, por ejemplo - Z G, 9 Z/, 9 ZG, / Z G y determinar el correspondiente valor de verdad#

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

c.

LA DISAUNCIN LGICA. Es una operaci n de composici n binaria interna que, aplicada al par ordenado (&6,&7) de proposiciones, da como resultado una nueva proposici n compuesta &, obtenida ligando &6 con &7 mediante la disyunci n o (or)0 el resultado es del tipo, & M & 6 o &7 & M &6I &7

Si las proposiciones, &6, LEl guila es un aveL &7, LEl gato es un %elinoL

Son compuestas mediante el operador o, se obtiene como resultado la nueva proposici n, & M &6 v &7,L El guila es un ave o el gato es un %elinoL o- de3inici4n< se tiene que la proposici n compuesta & M &6
4

&7 resulta

"ALSA si y s lo las proposiciones elementales &6, &7 son contemporneamente "ALSAS

&6
" D I I

&7
" I D I

&6o&7 " I I I B 4 6 6

&6

&7 B 6 4 6

&6v&7 B 6 6 6

o D

&7 I I I
UNACH

&6

D I

" I

MARLON VILLA VILLA

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

S representamos en un diagrama de EC(EB IEFF tenemos

&6

&7

&6 v &7, la disyunci n se le conoce como la suma l gica

Gadas las proposiciones, &6,L El n'mero ? es impar & 7 ,LEl n'mero NA_FL $btenemos la proposici n compuesta & M & 6 v & 7 , LEl n'mero ? es impar o el n'mero NA _ a FL que &6 es verdadero v(&)M V. ya v(&6) M V v(&7) M "

-signadas las proposiciones, -,L El tringulo tiene tres ladosL

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

9,L Cn pentgono tiene cinco ladosL Si las componemos mediante el operador or obtenemos la proposici n /ompuesta, - v 9,LEl tringulo tiene tres lados o el pentgono tiene cinco ladosL v(- v 9 ) M V porque -, 9 son ambas 8e-dade-a. (a proposici n compuesta &,LEl n'mero @ ` el n'mero 3 o A 7 M @6L Es el resultado de aplicar el operador o a las proposiciones elementales, & 6 ,LEl n'mero@` el n'mero 3L &7,L A7 M @6L
&6 y &7 son ambas 3al.a.< se deduce que v(&) M "

BIDISAUNCION. (a bidisyunci n es el conectivo l gico e"cluyente ("or), que a todo par de proposiciones (&6,&7), le asocia la proposici n compuesta &6
&7 la misma que es %alsa si las dos proposiciones &6, &7 tienen los mismo valores

de verdad# En los dems casos la proposici n &6 &7 es verdadera, se denota por &6 L
L &7, se cumple

s lo para una de las alternativas

V I D "

V D I "

" I I "

Gadas las proposiciones,

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

&6,L ;arlon es hijo de ;ercedes & 7 ,L;arlon es hijo de JarinaL $btenemos la proposici n compuesta & M &6 & 7 , L;arlon es hijo de ;ercedes

v(&6) M V v(&7) M "

de JarinaL v(&)M V. ya que &6 es

verdadero Si representamos en un diagrama de EC(EB IEFF tenemos

&6

&7

d.

LA I% LICACIN LGICA. Es una operaci n de composici n binaria interna que, aplicada al par ordenado (&6,&7) de proposiciones, da como resultado una nueva proposici n compuesta
&, obtenida ligando Es, : Si &6entonce. &7 o tambi!n con simbolismo matemtico & M &6 Si las proposiciones elementales,
&+, LBiobamba est en la provincia de /himbora*oL &6

con &7 mediante la %rase Si ### entonces ###0 el resultado

&7

&7, LBiobamba est en el EcuadorL Son compuestas mediante la i=/licaci4n l49ica .i ... entoce....# se obtiene como resultado la nueva proposici n,

&,LSi Biobamba est en la provincia de /himbora*o entonce. Biobamba est

MARLON VILLA VILLA UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

en el EcuadorL

v(&) M V
7#

El valor de la verdad de la proposici n compuesta, & M Si & 6 entonce.

Gepende

de aquellos que son atribuidos a las proposiciones & 6 y &7, llamadas respectivamente antecedente (hip tesis o parte dada), y con.ecuente

(conclusi n o parte por demostrar la implicaci n)# o- de3inici4n< se tiene que la proposici n compuesta & M &6a &7 resulta 8e-dade-a a e"cepci n de la eventualidad en que & 6 sea 8e-dade-a ?
2

.ea "al.a< en

consecuencia la tabla de verdad de la i=/licaci4n l49ica es la que se describe en la siguiente tabla

&6
D D V I

&7 D I " I

&6 a&7 I I " I

&6
4 4 1 6

&7 4 6 B 6

&6 a&7 6 6 B 6

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

&6

&7 se lee, & 6 implica a & 7,

&6 es condici n su%iciente para & 7 &7 es condici n necesaria para & 6 Se cumple & 7 solo si cumple & 6 ;uchos te"tos de%inen la implicaci n de las proposiciones &6, &7, como la proposici n compuesta (\ &6) v &7 Ge acuerdo a la de%inici n de este conectivo se tiene que, &,LBiobamba no est en la provincia de /himbora*o o Biobamba est en el EcuadorL

&6
D D I I

&7 D I D I

]&6 I I D D

(]& 6 )v& 7 I I D I

Ejemplo, &,LSi esta %igura es un cuadrado entonces la %igura es un cuadrilteroL Est compuesto de las dos proposiciones elementales, &6# LEsta %igura es un cuadradoL &7, L(a %igura es un cuadrilteroL &or lo cual v(&) M V Gado, -,L Si el /himbora*o es el nevado ms alto del Ecuador entonce. 64"7 M b4L 9,LSi 64"7 Mb4 entonce. el /himbora*o es el nevado ms alto del EcuadorL $bservamos que ambas estn compuestas por las proposiciones elementales, &6, LEl /himbora*o es el nevado ms alto del EcuadorL &7, L64"7Mb4L v(&6) M V v(&7) M " v(&6) M V v(&7) M V

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

/onsultando la tabla de la implicaci n se deduce que la proposici n compuesta A: Si B: Si

1

entonce. entonce.
2

es de valor "al.o< mientras que la proposici n

es de valor Ve-dade-o

&or este ejemplo me permito a%irmar que la implicaci n no go*a de la propiedad conmutativa# LA I% LICACIN LGICA A LA DEDUCCIN LGICA. Fo debemos con%undir el concepto de i=/licaci4n con el de deducci n l49ica. (a i=/licaci4n< es una operaci n que, aplicada al par ordenado (&6,&7) de proposiciones, da como resultado una nueva proposici n & M &6a&7 /uyo valor de verdad depende 'nicamente de aquellos asumidos por los operandos &6,&7 seg'n una prede%inida tabla de verdad# $bservamos que las proposiciones & 6, &7, en general son aut4no=a. la una de

la otra, en el sentido que no se requiere de alguna homogeneidad o correlaci n entre el argumento del cual trata & 6 y de aquel de que se interesa la & 7 , adems & 6 & 7 pueden ser %alsas# (a deducci4n l49ica< en cambio es el -aCona=iento que constituye la base de la demostraci n de cualquier teorema# El enunciado de un teorema se presenta siempre en la %orma siguiente, 2E$BE;- 6De : se deduce 2 L o tambi!n 6Si ( entonce. T6

Gonde las proposiciones : y 2 son llamadas respectivamente, Di/4te.i. ? te.i.. &or ejemplo dado el enunciado del,

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

2E$BE;- L Si -9/ es un tringulo is sceles entonce. -9/ posee dos ngulos congruentesL Se tiene que la Di/4te.i. y la te.i. estn representadas respectivamente por las siguientes proposiciones, :,L -9/ es un tringulo is scelesL 2,L -9/ posee dos ngulos congruentesL &recisemos que la deducci4n l49ica esta constituida por la .uce.i4n de ra*onamiento, intuiciones, observaciones y clculos l gicamente correctos que, a partir de la veracidad de la Di/4te.i. :, conduce a a%irmar que tambi!n la te.i. e. verdadera#

O2.e-8a=o. 0ue la proposici n : es .ie=/-e 8e-dade-a< en cuanto no tendra ning'n signi%icado un teorema que tenga la Di/4te.i. 3al.a.

En general los argumentos tratados en : y 2 son homog!neos, es decir de la misma naturale*a, en cada caso, correlacionados el uno con el otro#

- pesar de las di%erencias citadas, la i=/licaci4n ? la deducci4n l49ica presentan algunas propiedades en com'n# 6) -mbas no .on con=utati8a. En e%ecto, la i=/licaci4n no es conmutativa porque a) b) Ierdadero cd Dalso M Dalso Dalso cQe Ierdadero M Ierdadero

-nlogamente, la deducci4n es no conmutativa# En e%ecto, si tenemos

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

las proposiciones :,L-9/G es un rectnguloL 2,L-9/G tiene las diagonales congruentesL

LSi -9/G

es un rectngulo entonce. -9/G tiene las diagonales

congruentesL es 8e-dade-a la deducci n l gica# (a deducci n l gica inversa es, LSi -9/G tiene las diagonales congruentes entonc. -9/G es un rectnguloL es 3al.a la deducci n l gica# &orque el t-a/ecio i.4.cele. tiene las diagonales congruentes, obviamente, no es un rectngulo# 7) (a implicaci n y la deducci n l gica go*an de la propiedad transitiva Si (& 6 a&7 ) y (& 7 a & 3) entonces ( &6 a & 3 )

I% LICACIN DIRECTA< I% LICACIN INVERSA< I% LICACIN CONTRARIA< I% LICACIN CONTRA INVERSA En la relaci n de la implicaci n tenemos los teoremas siguientes, Gadas las proposiciones &6, L-9/ es un tringulo equilteroL &7, L-9/ es un tringulo is scelesL aE I% LICACIN DIRECTA
1

&,L Si -9/ es un tringulo equiltero entonce. -9/ es un tringulo is scelesL Su valor de verdad es VERDADERO 2E I% LICACIN INVERSA
2

&,L Si -9/ es un tringulo is sceles entonce. -9/ es un tringulo equilteroL Su valor de verdad es "ALSO< porque hay tringulos is sceles que no son equilteros

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

cE

I% LICACIN CONTRARIA G

FG

&,L Si -9/ no es un tringulo equiltero entonce. -9/ no es un tringulo is sceles# Su valor de verdad es "al.o dE I% LICACIN CONTRA INVERSA G &,L Si -9/
2

FG

no es un tringulo is sceles entonce. -9/ no es un

tringulo equiltero# Su valor de verdad es VERDADERO

e. LA DOBLE I% LICACIN H EIUIVALENCIAE. Es una operaci n de composici n binaria interna que, aplicada al par ordenado (&6,&7) de proposiciones, da como resultado una nueva proposici n, & M &6 coi=/lica &7 tambi!n con simbolismo matemtico proposici n compuesta o

& M &6f &7 &or de%inici n, se tiene que la

& M &6 f &7 resulta 8e-dade-a solo cuando &6 y &7 son

ambas 8e-dade-a. o ambas sean "al.a.< en consecuencia la tabla de verdad de la coi=/licaci4n l49ica es la que se describe en la siguiente tabla

l
2

" D I V

" I D V

V D D V

B 4 6 1

B 6 4 1

J 1 4 4 1
1

2abla de verdad de la proposici n compuesta & M &6 &7 &6 &7 se lee, &6 si y s lo si & 7

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

Esta proposici n &6 f &7 es la proposici n (&6 a &7)Z (&7 a&6) El estudiante puede reali*ar la tabla correspondiente Ejemplo, (a proposici n compuesta &,L El n'mero b es ra* cuadrada de 6T coimplica el le n es un %elinoL Esta constituida por las proposiciones elementales, &6, L El n'mero b es ra* cuadrada de 6TL &7, Lel le n es un %elinoL v(&6)M V v(&7)M V

Entonces la proposici n & tiene un valor de verdad VERDADERO. Ejemplo, Gadas las proposiciones abiertas &6(P), L" es divisor de T4L &7(y)0 L y es numero primoL Geterminar los valores de verdad de las siguientes proposiciones compuestas, -M&6(A) f&7(6U) 9M & 6 ( ? ) f & 7 ( 7 3 ) /M & 6 ( U ) f & 7 ( 7 U ) GM & 6 ( 6 7 ) f & 7 ( b ) EM &6(?) f&7(33) DM& 6 ( A ) f & 7 ( 6 U Soluci n, 6) (a proposici n - esta %ormada por las proposiciones elementales, &6(A), LA es divisor de T4L &7(6U), L 6U es numero primoL v(&6)M " v(&7)M "

&or consiguiente v( -)M VERDADERO

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

7)

(a proposici n 9 esta %ormada por las proposiciones elementales, &6(?), L? es divisor de T4L &7(73), L73 es numero primoL v(&6)M " v(&7)M I

&or consiguiente el v( 9)M "ALSO El estudiante podr determinar el valor del resto de proposiciones# El estudiante debe reali*ar el resumen de todas las tablas estudiadas hasta aqu I I D D I I D I D G D D I I KI 8I I FI I

NEGACIN DE UNA RO OSICIN %OLECULAR :ay casos en los que se desea e"presar la negaci n de una proposici n molecular entera, esto se consigue poni!ndola primero entre par!ntesis y luego colocando el smbolo de negaci n delante del par!ntesis# El agrupamiento entre par!ntesis indica, 6) gue la negaci n se re%iere a toda la proposici n, no s lo a la proposici n at mica ms pr "ima# 7) gue la negaci n es el t!rmino de enlace dominante

Ejemplo, &,LE6 libro es rojo o es verdeL & ,L Fo es cierto que el libro es rojo o es verdeL En smbolos la negaci n de una proposici n es , Y (& 6 v& 7 )

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

Ejemplo, &,L- la ve* >uan tenga una hermana y !l tenga un hermanoL Y &,L Fo es cierto que a la ve* >uan tenga una hermana y !l tenga un hermanoL En smbolos la negaci n de una proposici n es, Y(&6 Z&7) Ejemplo, &6#,L Csted ve un gato negroL &70LCsted tendr mala suerteL &,LSi usted ve un gato negro entonces tendr mala suerteL Y&,L Fo es cierto que Si usted ve un gato negro entonces tendr mala suerteL En smbolos la negaci n de una proposici n es, Y(&6a &7) - partir de este momento, ya se est en condiciones de representar cualquier enunciado con conectores l gicos# Ejemplo# Sea el siguiente enunciado LSi no pago la lu*, entonces me cortarn la corriente el!ctrica# K Si pago la lu*, entonces me quedar! sin dinero o pedir! prestado# K Si me quedo sin dinero y pido prestado, entonces no podr! pagar la deuda, si solo si soy desorgani*adoL Gonde, p, L&ago la lu*# L q, L;e cortarn la corriente el!ctrica# L r, L;e quedar! sin dinero# L s,L&edir! prestado t,L&agar la deuda =,L soy desorgani*ado# L (\p a q) Zhp a (r v s) i Z h( r Z s) a \t i =

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

RO IEDADES DE LAS O ERACIONES LGICAS Ide=/otencia# (& Z &) j & (& v &) j & \(\p) j & Con=utati8a.# (& Z g) j ( g Z &) (& v g) j (g v &) A.ociati8a.# (& Z g) Z B j & Z ( g Z B) (& v g) v B j & v (g v B) Di.t-i2uti8a.# & Z (g v B) j H& Z g) v (& Z B) & v (g Z B) j H& v g) Z (& v B) A2.o-ci4n# & Z ( & v g) j & & Z (\& v g) j & Z g & v ( & Z g) j & & v (\& Z g) j & v g Teo-e=a. de De %o-9an# \ (& Z g) j HG E 8 HG g) \(& v g) j HG E K HG g) \(& a g) j K HG g) \(& f g) j HG f gE j H f G g) Condicionante. (& a g) j H \& 8 g) (& a g) j (\g ) a ( \& ) (& f g) j (& a g) Z (g a &) H& f gE j (\& v g) Z H Gg v &) H& f gE j (& Z g) v H \& Z Gg ) L .i9ni3ica identi3icaci4n i9ual

1.+.

TABLAS DE VERDAD.
El n'mero de lneas de la tabla de verdad depende del n'mero de variables de la

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

e"presi n y se puede calcular por medio de la siguiente % rmula#

Fk de lneas M 7n

Gonde n M n'mero de variables distintas#

Si tenemos tres variables ( p, q, r ) entonces el n'mero de lneas es ocho porque, 73 M @ y nuestra tabla es,

I I I I D D D D

I I I D D I I D D

R I D I D I D I D

Elaborar la tabla de verdad de la proposici n, h(p a q)v (\q Z r)if (r aq)# & 4 4 4 4 6 6 6 6 g r 4 4 4 6 6 4 6 6 4 4 4 6 6 4 6 6 \q pNaq 6 6 4 4 6 6 4 4 6 6 6 6 4 4 6 6 (\q Zr) 4 6 4 4 4 6 4 4 (&aq)v (\q Zr) 6 6 6 6 4 6 6 6 r aq 6 4 6 6 6 4 6 6 h(paq)v (\q Zr) if (raq) 6 4 6 6 4 4 6 6

"4-=ula L49ica# Es la colecci n %inita de proposiciones, conectivos l gica y smbolos de agrupaci n# Ejemplo ( p a(p v q) (s t)

TAUTOLOG!A< CONTRADICCIN< I% LICACIN LGICA A

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

EIUIVALENCIA LGICA. TAUTOLOGIA. Es una % rmula l gica que luego de evaluar, resulta que todos los valores de verdad resultantes son siempre I (verdadero o uno)# Se conoce tambi!n con el nombre de Le? l49ica# Ejemplo, (( p aq) v (q ap)) p I I D D q I D I D (p a q) I D I I (qap) I I D I (( p aq) v (q ap)) I I I I

Esta % rmula l gica es una 2-C2$($<lCONTRADICCIN. Es una % rmula cuya tabla de verdad esta compuesta s lo por valores de verdad D (%also o ceros) Ejemplo, (( p v q) (\( p v q))) p I I D D q I D I D ( p v q) I I I D \( p v q) D D D I (( p v q) (\( p v q))) D D D D

Esta % rmula es una /$F2B-G+//+EF# I% LICACION LGICA. Si -a9 es una tautologa, se dice que - implica l gicamente a 90 en este caso -a9 es una implicaci n l gica# EIUIVALENCIA LGICA. Si -f 9 es una tautologa, se dice que - y 9 son l gicamente equivalentes( seg'n el clculo enunciativo)0 en este caso -f 9 es ua equivalencia l gica#

1.7

"UNCIONES RO OSICIONALES
DE"INICIN# Se llama %unci n proposicional de una, dos, tres,### n variables y se Genota, por D(
&6 ),

%(&6, &7), %(&60 &7, &3 ), ## %(& 6, &7, ### & n ) a la e"presi n que
UNACH

MARLON VILLA VILLA

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

/ontiene una, dos, tres,## #n variables# (a caracterstica de una %unci n proposicional es que, al ser reempla*adas las variables con t!rminos constantes o conocidos, la E"presi n se convierte en enunciado# Ejemplo, D(&6) M " O 7 `@4 Dunci n proposicional en una sola variable Dunci n proposicional en dos variables

%(&6, &7) M " descubri y Ejemplo,

/omplete la tabla de verdad de la %unci n proposicional en dos variables E6 M D(&6,&7) M Y(& 6 - & 7 )

&l
D D I I

&7 D I D I

& 6- &7 D D

Y(& 6 - & 7 ) I I

2abla a# proposicional

2abla de verdad de la %unci n

Ejemplo, /omplete la tabla de verdad de la %unci n proposicional en dos variables E 7 M%(& 6 ,& 7 ) M Y( & 6 v& 7 ) &l D &7 D Y&6 I Y&7 I Y&6 vY &7 I

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

2abla b#

2abla de verdad de la %unci n proposicional E2:3H

1

<

E:H

1V

"UNCIONES RO OSICIONALES EIUIVALENTES $bservando las dos tablas de verdad anteriores ( a y b) se puede notar que las dos %unciones proposicionales, E6MY ( & 6 - & 7 ) E7 M ( Y&l I Y&7)

-sumen los mismos valores de verdad en correspondencia de todos los pares de valores que se pueden atribuir a las variables independientes
&+,

&70 por este motivo

se dice que las %unciones proposicionales en estudio son e0ui8alente.. En smbolos, convengamos de escribir as, MH 1A
2

: H M

1V

H1E

DE"INICIN. En general, dos %unciones proposicionales, E 6 M%(& 6 ,& 7 ,& 3 ,###,&n) E 7 Mg(& 6 ,& 7 ,& 3 ,###,&n) Se dice e0ui8alente. si y solo si
E+

y E7 asumen los mismos valores de verdad,

&6,

cualquiera sean los valores de verdad atribuidos a las variables independientes & 7 ,& 3 ,###,&n Ejemplo, &6N#L (as rosas son rojasL &7,L (as violetas son a*ulesL &,L (as rosas son rojas y las violetas son a*ulesL &,L Fo es verdad que las rosas son rojas y que las violetas son a*ulesL & 6 v Y&7L(as rosas no son rojas o las violetas no son a*ulesL (os enunciados son l gicamente equivalentes por lo tanto

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

Y(& 6 - & 7 ) M Y & 6 I Y & 7 Ejemplo, Gemostrar que las %unciones proposicionales,
E6

: MH

EN E2 : HM

M 2EN son e0ui8alente.< o .ea H2E

MH &6 I 2abla c# &l &7 D &7

E: M

&6 v &7 I D

MH

Y&6

Y&7

Y&6Z Y &7

2abla d#

- tal %in completar las tablas de verdad representadas en las tablas c y d, que indican las tablas de verdad de las %unciones Y(&6 v &7 ) y Y&6 Z Y&7 respectivamente, (as relaciones (6) y (7) se denominan leyes De %o-9an Ejemplo, Gemostrar que las %unciones proposicionales en tres variables, E3M %(&6, &7, &3 ) M (&6 v &7) -&3

EbM %(&6, &7, &3 ) M (&6 - &3) v (&7 -&3)

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

Son equivalentes o sea que se da la relaci n (&6 v &7) - &3 M (&6 - &3) v (&7 -&3) H$E

- esta relaci n se la denomina /-o/iedad di.t-i2uti8a de la conjunci n respecto a la disyunci n#

&6

&7

&3

& 6 v& 7

(&6v&7) Z &3

2abla e

2abla de verdad de la %unci n, E3 M (&6 v &7) Z &3

&6

&7

&3

&6 Z &3

&7 Z &3

(&lZ&3)v(&7Z&3)

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

2abla f

2abla de verdad de la %unci n,

Eb M (&6Z &3) v (&7 Z &3)

Ejemplo, Gemostrar que la %unci n proposicional en una variable0 Son equivalentes, es decir se cumple la relaci n, &6 = no Hno &6 ) M Y ) Y&6 ) H)E

&6 D I 2abla g

Y&6

Y ) Y&6 ) ET M no

2abla de verdad de la %unci n,

(no &6)

Esta equivalencia, se denomina La Le? de la do2le ne9aci4n< e"presa un importante concepto l gico, que se puede enunciar as, 6) LGos negaciones sucesivas equivalen a una a%irmaci nL

-nlogamente, en otro conte"to, hemos encontrado diversos enunciados que e"presan el mismo concepto, 7) 3) b) L ;enos por menos equivale a msL LEl opuesto del opuesto de un n'mero equivale al mismo n'meroL LEl inverso del inverso de un n'mero no nulo equivale al mismo n'meroL

CUANTI"ICADORES. En la matemtica en general, los cuanti3icado-e. son smbolos utili*ados para indicar cuntos elementos de un conjunto dado cumplen con cierta propiedad# E"isten muchos tipos de cuanti%icadores, pero los ms utili*ados son, Cuanti3icado- uni8e-.al H O E. Se utili*a para a%irmar que todos los elementos de un
MARLON VILLA VILLA UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

conjunto cumplen con una determinada propiedad# &or ejemplo, # Esta a%irmaci n suele usarse como la equivalente de la proposici n siguiente,

Ejemplo Se lee, &ara todo ", y###

Se lee, &ara todo P que pertenece a R, se cumple que 2P pertenece a R# a) 2odos los seres vivos respiran# Cuanti3icado- EPi.tencial H) . El cuanti%icador e"istencial se usa para indicar que hay uno o ms elementos en el conjunto determinada propiedad# Se escribe, # Esta proposici n suele interpretarse como la equivalente de la proposici n siguiente, (no necesariamente 'nico1s) que cumplen una

Ejemplo,

E"iste al menos un ", y###

Se lee, &ara todo a que pertenece a R, e"iste P que pertenece a R, que est comprendido entre a y aQ1# b) E"isten alg'n hombre que no tiene dos piernas Cuanti3icado- EPi.tencial Rnico H!) .

El cuanti%icador e"istencial con marca de que cumple

unicidad se usa para indicar que hay un 'nico elemento de un conjunto

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

una determinada propiedad# Se escribe, # Se lee LE"iste una 'nica pareja de elementos de Ejemplo# cumpliendo una p y otra qL

E"iste e"actamente un ", y###

Se lee, &ara todo a que pertenece a R di%erente de cero, e"iste un 'nico P que pertenece a R, que cumple que a por P es igual a c) E"iste un 'nico padre para los hijos

1.S.

%&TODOS DE DE%OSTRACIN. En la l gica %ormal y sobre todo en el universo matemtico, el proceso deductivo esta basado en -P+$;-S, o proposiciones que son verdaderas por de%inici n# &or ejemplo, un a"ioma es,

E( 2$G$ ES ;-K$B gCE (- &-B2E , otro a"ioma es G$S /$S-S +<C-(ES - CF- 2EB/EB- S$F +<C-(ES EF2BE S+# El primer a"ioma de%ine el concepto de ;-K$B, y el segundo el concepto de +<C-(# El m!todo deductivo nos permite partir de un conjunto de hip tesis y llegar a una conclusi n, pudiendo ser esta inclusive que el conjunto de hip tesis sea invlido# <eneralmente, en matemticas, la deducci n es un proceso concatenado del tipo si - entonces 9, si 9 entonces /, si / entonces GW hasta llegar a una conclusi n#

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

-l conjunto de :+&$2ES+S O GE;$S2B-/+$F O /$F/(CS+mF se denomina 2E$BE;-# (a mayora de los teoremas matemticos cumplen con esta estructura bsica, (&6 &7 &3 W &n) g Gonde las &i condiciones son llamadas hip tesis o premisas, y g es la conclusi n# Gemostrar un teorema es demostrar que la condicional es una tautologa# $jo, no se pide demostrar que la conclusi n es verdadera, lo que se quiere es demostrar que g es verdadera siempre y cuando todas las &i condiciones son verdaderas# En conclusi n podemos decir que, /ualquier demostraci n, sea de enunciados o matemtica debe, a# /omen*ar con las hip tesis# b# Gebe seguir con las tautologas y reglas de in%erencias necesarias paraW c# (legar a la conclusi n# - continuaci n se prueba un enunciado en donde se puede apreciar el uso tanto de las tautologas como de las reglas de in%erencia# Sean p, 2rabajo# q, -horro# r, /omprar! una casa# s, &odr! guardar el autom vil en mi casa# -nali*ar el siguiente argumento, Si trabajo y ahorro, entonces comprar! una casa# Si compro una casa, entonces podr! guardar el coche en mi casa# &or consiguiente, si no puedo guardar el coche en mi casa, entonces no
MARLON VILLA VILLA UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

ahorro# El enunciado anterior se puede representar como, p q r0 y r s0 entonces \s \q Equivale tambi!n a probar el siguiente teorema, h(p q) ri hr si0 h\s \qi /omo se trata de probar un teorema de la %orma general, p6 p7 WW pn entonces q Se aplica el procedimiento general para demostraci n de enunciados vlidos# - continuaci n se demuestra el teorema respaldando cada uno de sus pasos en tautologas o reglas de in%erencia ya conocidas# 6#N (p q) r :ip tesis 7#N r s :ip tesis 3#N p q Silogismo :ipot!tico b#N q r Silogismo :ipot!tico U#N q s T#N s q conclusion# En matemtica los m!todos para demostrar un teorema son,

1#

%&TODO DIRECTO# Sea la %rase l gica condicional sencilla del tipo, &g -nali*amos como si se cumple & entonces se cumple g , esto lo hacemos de %orma

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

natural sin complicarnos en hacer anlisis mas intensivos o mas e"tensivos, lo hacemos de una %orma innata# Si decimos, El cielo esta nublado, va a llover estamos reali*ando una asociaci n de causa y e%ecto# En la cual el cielo esta nublado es la causa y el e%ecto l gico es que, va a llover# Gesde el punto de vista de la l gica esta relaci n es irrevocable# -s mismo una relaci n matemtica puede veri%icar esta sencilla relaci n en la cual si se cumple la premisa & entonces se puede decir que se cumplir la consecuencia g# Es innecesario decir que si no se cumple & entonces su 2esis tampoco se veri%icar# & g Si & g es una tautologa, en donde & y g son proposiciones compuestas, en las que intervienen cualquier n'mero de variables propositivas, se dice que q se desprende l gicamente de p# Sup ngase una implicaci n de la %orma# (&6 &7 &3 W &n) g Es una tautologa# Entonces est implicaci n es verdadera sin importar los valores de verdad de cualquiera de sus componentes# En este caso, se dice que q se desprende l gicamente de &6,&7, WW,&n# Se escribe# El camino que se debe seguir para llevar a cabo una demostraci n %ormal usando el m!todo directo# Signi%ica que s se sabe que &6 es verdadera, &7 es verdadera,WW y &n tambi!n es verdadera, entonces se sabe que g es verdadera Ejemplo, Gemostrar que en F todo m'ltiplo de T es tambi!n m'ltiplo de 3 Es decir, Si " es el m'ltiplo de T Entonce. " tambi!n es m'ltiplo de 3

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

&or hip tesis " el m'ltiplo de T P M TVm para todo m perteneciente a F &ero sabemos que T M3V7 (uego P M 3V7Vm J M 7Vm J pertenece a F Dinalmente P M 3J, P el m'ltiplo de 3 con lo que hallamos g, por tanto & a g# Ejemplo, Gemuestre que, Si a y b son n'meros pares, Entonce. a O b es n'mero par# &or hip tesis, a y b son n'meros pares (uego a M 7m y b M 7n con m, n _ H Entonces, a O b M 7mO 7n a O b M7(m O n)0 Si nM (m O n) &or tanto a O b M 7n, J _ H es decir, a O b es un n'mero par.

Ejemplo, Si m y n son n'meros enteros impares, Entonce. su producto mVn es un entero impar &or hip tesis, m y n son n'meros enteros impares (uego m M 7a O 6 y n M 7b O 6 con a, b _ H Entonces, mVn M (7a O 6)( 7b O 6) mVn M (bab O7a O 7b O6)0 mVn M 7(7ab O a Ob) O 6

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

Si nM (7ab O a O b) &or tanto mVn M 7n O 6, J _ H es decir, mVn es un entero impar. Ejemplo, Gemuestre, Si m es un entero par y n es un entero impar, Entonce. m7 O n7 es impar# &or hip tesis, m es entero par y n es entero impar (uego m M 7a y n M 7b O 6 con a, b _ H Entonces, m7 O n7 M (7a)7 O (7b O 6)7 m7 O n7 M (ba7) O(bb7 Obb O6)0 m7 O n7 M 7(7a7 O7 b7 O7b) O 6 Si n M (7a7 O7 b7 O7b) &or tanto m7 O n7 M 7n O 6, J _ H es decir, m7 O n7 es un entero impar.

2.

%&TODO

DE CONTRA OSICIN O CONTRA REC! ROCO # &ara demostrar

por contraposici n se aprovecha de la equivalencia l gica entre L& a gL y L \g a \&L# &or ejemplo, la a%irmaci n Lsi es mi auto entonces es rojoL es equivalente a Lsi ese auto no es rojo, entonces no es moL# &ara demostrar L & a gL por el m!todo de contraposici n uno debe probar LS+ no g, EF2$F/ES no &L# Ejemplo, Gemuestre que, Si su producto mVn es un entero impar Entonce. m y n son n'meros enteros impares# (a negaci n de la tesis (\g), m y n son n'meros pares

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

(uego m M 7a y n M 7b con a, b _ H Entonces, m V n M 7a V 7b m V n M7(aV b)0 Si n M (a V b) &or tanto mVn M 7n, J _ H Es decir, mVn es un n'mero par. $ sea la negaci n de la hip tesis \p Ejemplo, Gemostrar que en F todo m'ltiplo de 3 es tambi!n m'ltiplo de T Es decir, Si " es el m'ltiplo de 3 Entonce. " tambi!n es m'ltiplo de T (a negaci n de la tesis (\g), P no es m'ltiplo de T P o TVm para todo m perteneciente a F Sabemos que T M 3V7 (uego P o 3V7Vm J M 7Vm J pertenece a F Dinalmente P o 3J, P no es el m'ltiplo de 3 con lo que hallamos \&# Ejemplo, Gemostrar que en F todo m'ltiplo de 64 es tambi!n m'ltiplo de U Es decir, Si " es el m'ltiplo de 64 Entonce. " tambi!n es m'ltiplo de U (a negaci n de la tesis (\g), P no es m'ltiplo de U P o UVm para todo m perteneciente a F m M 7V J0 J pertenece a F P o UV7VJ Dinalmente P o 64J, P no es el m'ltiplo de 64 con lo que hallamos \&#

Ejemplo,

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

Gemostrar, Si n7 es impar Entonce. n es impar (a negaci n de la tesis (\g), n es par n M 7J0 J pertenece a H n7 M bn7 n7 M 7(7J7)0 Si b M 7n7 b pertenece a H n7 M 7b Dinalmente n7 es par, con lo que hallamos \&#

$.

%&TODO

OR

REDUCCIN

AL

ABSURDO

RUEBA

OR

CONTRADICCIN. El m!todo de demostraci n por reducci n al absurdo conocido tambi!n como prueba por contradicci n, tiene como estrategia suponer e"plcitamente la negaci n de la proposici n a demostrar, a partir de esta hip tesis se trata de generar una contradicci n, esto es, que la teora con ese supuesto es inconsistente y, en consecuencia, tal hip tesis es %alsa, o lo que es equivalente, que su negaci n es verdadera, quedando validada la proposici n inicial# (a reducci n al absurdo es un m!todo l gico usado para demostrar supuestos, en este caso matemticos, el cual consiste en suponer que lo que queremos demostrar es %also, de aqu, utili*ando secuencias l gicas llegamos a un absurdo como 6M4 0 7M6, (- p - c) o0, etc, con lo cual se de muestra que la suposici n original es verdadera /omo regla general, utili*a el m!todo de demostraci n por reducci n al absurdo cuando la proposici n no B te d! alguna in%ormaci n 'til# Cn segundo caso en el que el m!todo de demostraci n por reducci n al absurdo puede tener !"ito es aquel en el que la proposici n B contiene la palabra no $tros casos en los que es 'til el m!todo de demostraci n por reducci n al absurdo son aquellos en los que la proposici n B contiene el cuanti%icador ePi.te# E.0ue=a o/e-ati8o 9ene-al
MARLON VILLA VILLA UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

Supongamos que deseamos demostrar que una proposici n espec%ica & es teorema# &or este m!todo procedemos as, 6# Suponemos la negaci n de la tesis (no &) como hip tesis au"iliar# 7# - partir de las premisas de la teora y de la hip tesis au"iliar se ra*ona por el m!todo directo, hasta obtener como conclusi n una contradicci n por ejemplo, g y no g# 3# &or el m!todo directo concluimos b# El teorema anterior nos permite concluir del paso 3) la valide* de &# Nota# En la prctica, cuando se usa este m!todo, al obtener una contradicci n, inmediatamente se valida la negaci n de la hip tesis supuesta dando por terminada la prueba# - modo de sntesis una demostraci n de una proposici n & por este m!todo tendra este desarrollo esquemtico#

O2.e-8acione. 1E /uando se emplea este m!todo para la demostraci n de una implicaci n supongamos el caso 0 podemos proceder en cualquiera de las dos %ormas esquemticas siguientes,

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

-i=e-a 3o-=a# 6) Supongamos no ( ) :ip tesis au"iliar# Beducci n al absurdo#

7) & y no g Equivalencia en (6)# (ey de ;organ# 3) & Simpli%icaci n en (7)# b) no g Simpli%icaci n en (7)# /on estas dos premisas se inicia la construcci n de la contradicci n# Se9unda 3o-=a# +ntegramos los m!todos directo y reducci n al absurdo, as, 6) Supongamos, & :ip tesis au"iliar 6# 7) Supongamos, no g :ip tesis au"iliar 7# Beducci n al absurdo# /on estas dos premisas se inicia la construcci n de la contradicci n# /omo puede observarse los procedimientos son equivalentes# 2E -l emplear este m!todo y una ve* supuesta la negaci n de la tesis como hip tesis au"iliar, el objetivo es construir una contradicci n cualquiera, esta puede aparecer directamente como la conclusi n de la a%irmaci n de la tesis0 pero no es la 'nica %orma, la contradicci n tambi!n puede construirse con proposiciones derivadas dentro del proceso de la demostraci n# Ejemplo, Gemostrar que, Si un n'mero real sumado consigo mismo es !l mismo n'mero, entonces tal n'mero es el cero# Sea m _ B ( &roposicic n -) Supongamos por absurdo que m o 4 ( \9) mOmMm

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

7m M m al ser m o 4 podemos dividir para m y nos queda 7 M 6 que es una contradicci n# Ejemplo, Gemostrar que, Si a7 es n'mero par Suponiendo por absurdo a es impar entonces aM 7n O60 n _ H a7M (7n O 6 )7 a7 M bn7 O bn O 6 a7 M 7(7n7 O 7n ) O 6 nM 7n7 O 7n 0 n _ H a7 M 7n O 6 a7 es un n'mero impar y a7 es un n'mero par (contradicci n) a es un n'mero par# Si a7 es un n'mero par entonces a es n'mero par# Ejemplo, Gemostrar &ara a, b n'meros reales# Si a#b M 4 entonces a M 4 a#b M 4 Suponiendo por absurdo ao4 y b o 4 b6 # bN6 M 60 b6, bN6 _ B bM4 es un n'mero par entonces a es un n'mero par

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

a#b M 4 a#(b#bN6) M 4#bN6 a(6) M 4 a M 4 y ao 4 (contradicci n) aM 4 o bM 4 ( absurdo) Si a#b M 4 entonces a M 4 Ejemplo, Gemostrar que la ra* cuadrada de 7 es un n'mero irracional Ba* de dos es un n'mero racional es decir bM4

0 p, q _ H y son primos entre si, con qo4

Elevando al cuadrado

(a e"presi n

es un n'mero par, as que

tambi!n lo es# Eso implica que es par,

porque, de no serlo, Sea , donde

no sera par, con lo que no se podra cumplir la igualdad _H

&or el mismo ra*onamiento de antes, tambi!n es par#

es un n'mero par, as es que

tambi!n es par, y

/omo y son los dos pares, eso quiere decir que tienen al menos un %actor com'n, entra en
MARLON VILLA VILLA UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

/ontradicci n# (uego NOTA# El m!todo de reducci n al absurdo consiste en suponer que la contraria se cumple y mediante procedimientos l gicos llegar a una contradicci n con ideas %undamentales, es decir , es irracional

\& es algo %also, luego

& debe ser verdad#

&ara terminar, he aqu un cuadro que resume los tres m!todos,

%Ttodo Gemostraci n directa Beducci n al absurdo /ontraposici n )

Su/on9o A A y no B no B directa directa directa ### ### ###

Conclu?o +ndirecta B

contradicci n +ndirecta no A

INDUCCION %ATE%ATICA. &#

Fotamos por &(n) el hecho de que n 1 FO veri%ica

Este m!todo demuestra la valide* de & para todo n 1 FO, de la %orma siguiente, Inducci4n D&BIL: (lamamos paso bsico a -, paso inductivo dbil a 9, hiptesis inductiva dbil a &(n)# - j &(n6) verdadero 9 j (2nqn6) (&(n) verdadero)3 &(s(n)) verdadero)

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

-49 3 (2n1S) (&(n) verdadero) Inducci4n "UERTE# (lamamos paso bsico a -, paso inductivo fuerte a 9, hiptesis inductiva fuerte a (2 r r n) (&(r) verdadero)# - j &(n6) verdadero 9 j(2nqn6) (((2rrn)(&(n) verdadero)3 &(s(n)) verdadero) -49 3 (2n1S) (&(n) verdadero) TEOREMA: Bealmente, los m!todos de demostraci n por inducci n son vlidos para cualquier conjunto numerable S que est! bien ordenado, cuyo primer elemento sea n6 y la locali*aci n del siguiente elemento se base en la e"istencia de una %unci n siguiente o sucesor s(n) &or ejemplo, queremos demostrar una propiedad para todos los elementos del conjunto de pares positivos, entonces tendramos, Sj &ares positivos# El primer elemento n6 M 7 y la %unci n s(J)MnO7

RECO%ENDACIONES ARA DE%OSTRAR OR INDUCCION# -i=e-o# Ieri%ique que sea verdadera (que cumple para la primera situaci n)# # (Suponemos que cumple para alg'n (R- qu! debo llegarS)# cumple para alg'n entonces, tambi!n cumplett#

Se9undo# Estable*ca la hip tesis Te-ce-o# Estable*ca la tesis Cua-to# &ruebe que sssi

En algunos libros, solo se habla de dos pasos, en realidad la segunda y tercera actividad la escribimos por denotar la hip tesis y la tesis de la otra demostraci n solapada de la %orma

Ejemplo Gemostrar por +nducci n matemtica que,

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

6# Ieri%iquemos que cumpla para , cumple# 7# Suponi!ndose que cumpla para mostrar que cumple para el siguiente, es decir, 3# (legar a que Fotemos que el siguiente n'mero impar despu!s de (uego (a prueba que vamos a reali*ar consiste en partir de la suposici n dada en el paso 7 b# &rueba, es se cumpla#

Ejemplo Gemostrar que, U O64 O6UOWW# O 6# n M6 0 , U M U cumple#

7# Sn, U O64 O6UOWW# O

3# SJO6, U O64 O6UOWW# O b# &rueba Sn, U O64 O6UOWW# O

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

Sumando U(nO6) a los dos miembros tenemos,

U O64 O6UOWW# O

U O64 O6UOWW# O

U O64 O6UOWW# O

U O64 O6UOWW# O

1.U.

CIRCUITOS LGICOS Cn circuito l gico es un dispositivo que tiene una o ms entradas y UNA SOLA SALIDA# En cada instante cada entrada tiene un valor de 4 o 6# Estos datos son procesados por el circuito para dar un valor en su salida de 4 o 6# /ircuito l gico es aquel que maneja la in%ormaci n en %orma de L6L y L4L, dos niveles l gicos de voltaje %ijos# L6L nivel alto o LhighL L4L nivel bajo o Llo=L# (os circuitos l gicos estn compuestos por elementos di9itale. como la compuerta -FG (K), compuerta $B ($), compuerta F$2 (F$)######y combinaciones poco o muy complejas de los circuitos antes mencionados# Estas combinaciones dan lugar a otros tipos de elementos di9itale. como los compuertas, entre otros, /ompuerta nand (Fo K), compuerta nor (Fo $), compuerta or e"clusiva ($ e"clusiva), mutiple"ores o multiple"adores, demultiple"ores o demultiple"adores, codi%icadores, memorias, %lipN%lops, microprocesadores, decodi%icadores,

microcontroladores, etc#

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

(a verdad de una proposici n puede asociarse al pasaje de corriente en un circuito el!ctrico con un interruptor# -s, para representar a p, si es D, se tiene,

y para p, si es I, se tiene,

Es decir, el interruptor se cierra si p es I (pasa corriente) y se abre si p es D (no pasa corriente)# &odemos, representar las operaciones proposicionales mediante circuitos, a. Ne9aci4n. /uando el valor de verdad de \p es el opuesto de p, entendemos el circuito que cuando p est cerrado la lmpara esta apagada y cuando p est abierto la lmpara esta encendida# &

/ 6 4

G/ 4 6

2. ConVunci4n. Bepresenta un circuito en serie

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

Este circuito admite el paso de corriente, es decir la verdad de p q, s lo si ambas son I

/ 6 6 4 4

0 6 4 6 4

/K0 6 4 4 4

c. Di.?unci4n Est representada por un circuito en paralelo#

/omo vemos, admite el paso de corriente cuando al menos una de las dos es I / 6 6 4 4 0 6 4 6 4 /80 6 6 6 4

d. I=/licaci4n. Gado que la representaci n mediante circuitos booleanos s lo es posible en caso de la conjunci n o disyunci n, para todas las dems operaciones necesitamos convertirlas en combinaci n de !stas# -s, puesto que ( p q ) ] ( p ] q ), aplicando una ley de Ge ;organ y la doble negaci n, se tiene ( p q ) ( ] p q ) Es decir, convertimos la implicaci n en una disyunci n para poder representarla mediante un circuito booleano# 2enemos, as,
MARLON VILLA VILLA UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

e. Di3e-encia .i=Tt-ica. &ara poder representar la di%erencia sim!trica mediante un circuito booleano, necesitamos reali*ar algunas operaciones l gicas, ( p q ) ]( p q ) ]u ( p q ) ( q p )v ]( p q ) ]( q p ) (p]q)(q]p)(pq)(p]p)(]qq)(]q]p) (pq)(]p]q)

-s hemos convertido la di%erencia sim!trica en la conjunci n de dos disyunciones#

ACTIVIDADES EVALUATIVAS.
1. De .u in8e.ti9aci4n Da9a un 2-e8e -e.u=en de la Di.to-ia de la l49ica. 2. De .u in8e.ti9aci4n e.ta2leCca la di3e-encia ent-e l49ica /-o/o.icional ? la l49ica =ate=>tica. $. De .u in8e.ti9aci4n eP/li0ue la di8i.i4n de la l49ica. ). De .u in8e.ti9aci4n eP/li0ue lo. ti/o. de la l49ica. +. De .u in8e.ti9aci4n eP/li0ue la l49ica di3u.a. 7. E.c-i2a 1B eP/-e.ione. de la. cuale. 7 .ean enunciado. 8e-dade-o. ? ) .ean

MARLON VILLA VILLA

UNACH

LGICA MATEMTICA, TEORA DE CONJUNTOS

54

enunciado. 3al.o.. S. E.ta2leCca 0ue /-o/iedade. .e cu=/len en la conVunci4n< di.?unci4n< 2idi.?unci4n< i=/licaci4n ? e0ui8alencia. U. Sean# N; : NWXBY< HPE : P e. /a-N IHPE : P e. i=/a-< RHPE : P e. /-i=o< SHP<?E : P e ? .on /-i=o. ent-e .Z. E.c-i2a lo. 8alo-e. de 8e-dad ? la. ne9acione. de lo. .i9uiente. enunciado.# aE O2P[N H HPE ? IHPEE< 2E 2OP[N; H HPE o IHPEE< cE \ P[N H HPE ? IHPEE dE O2P[N; \ ?[N; SHP<?E< eE \ P[N; O2?[N; SHP<?E < 3E \ P[N; HRHPE o IHPEE.

]. UtiliCando la. ta2la. de 8e-dad di9a .i la. .i9uiente. 34-=ula. .on tautolo9Za. aE FH FIE 2E H J IE L HG 8 IE K H GI 8 E cE H H /K0 EFH H /8- E F G - E E F H H H /K0E F H/8 - E E F H H /K0 E F G - E E 1B. De .u in8e.ti9aci4n eP/li0ue .o2-e la. -e9la. de in3e-encia cl>.ica. 11. De .u in8e.ti9aci4n eP/li0ue .o2-e el =Ttodo aPio=>tico ? lo. ele=ento. de un .i.te=a aPio=>tico 3o-=al. 12. Realice una de=o.t-aci4n con cada uno de lo. =Ttodo.# di-ecto< de cont-a/o.ici4n ? /o- -educci4n al a2.u-do. 1$. De=ue.t-e /o- inducci4n aE O n[N; +Q1BQ1+Q . . . Q +n : ^+nHn 1E_` 2 2). n[N; 1.2Q2.$Q$.)Q . . . QnHnQ1E : ^nHn 1EHn Q 2E_` $ a 1). De=ue.t-e /o- inducci4n la 34-=ula del Bino=io de Ne5ton H PQ ?En . Di9a ade=>.< /a-a 0ue e.ta 34-=ula 8al9aN P<? de2en .e- ele=ento. al =eno. de 0uT e.t-uctu-a al9e2-aica. 1+. C-ee un ci-cuito l49ico.

MARLON VILLA VILLA

UNACH