Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
8Activity
0 of .
Results for:
No results containing your search query
P. 1
Logica a y Teoria de Conjuntos

Logica a y Teoria de Conjuntos

Ratings: (0)|Views: 818 |Likes:
Published by Kenny Oñate Quiroz

More info:

Categories:Types, School Work
Published by: Kenny Oñate Quiroz on Aug 23, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

06/26/2014

pdf

text

original

 
Lógica Matemática y Teoría de Conjuntos.
Lógica matemática y Teoría de Conjuntos.
Llamamos
conjunto
a una colección de objetos (con determinadas características en común) y a losobjetos que lo forman se les llama
elementos del conjunto
.Llamaremos
universo
(U) al conjunto que en un momento dado es usado como marco de referencia paraformar conjuntos.
Un conjunto queda determinado
por una colección de atributos que los elementos del universo puedeno no poseer. Así, los elementos del universo que sí posean los atributos requeridos forman el conjunto.
Observación
: Conjunto y universo son términos no definos.
 Def 
.: Diremos que un conjunto está descrito por 
enumeración
si se han dado explícitamente todos suselementos y está descrito por 
comprensión
si sus elementos están dados en forma implícita mediante unafrase que los describa.
Pertenencia / NO pertenencia
: 
 A x
(x pertenece al conjunto A): indica que x tiene los atributos que determinan al conjunto A. 
 A x
(x NO pertenece al conjunto A).La lógica matemática es una variedad de la lógica filosófica.Los objetivos principales de la lógica son esencialmente:1. Eliminar las ambigüedades propias del lenguaje ordinario.2. Dar rigor a aquello que se está estudiando.En lógica existen dos procesos fundamentales:1. Conceptualización: consiste en definir los objetos matemáticos que se van a definir.2. Demostración: consiste en demostrar rigurosamente aquellas propiedades, proposiciones o teoremasque se estén estudiando.
Def 
.: Se llama
proposición
a cualquier afirmación que es verdadera (
V
) o es falsa (
F
), pero no ambascosas a la vez. Para nombrar a las proposiciones se suelen utilizar las letras p, q, r, s, ...
Def 
.: Una
proposición abierta
(o
función proposicional
) es una expresión que contiene una variable yque al ser sustituida dicha variable por un valor determinado, hace que la expresión se convierta en una proposición. ((V) ó (F)). p(x); p(x,y,z, ..).
Def 
.: El conjunto que consiste de los elementos que pueden reemplazar a la variable de una proposiciónabierta, lo llamaremos el
Dominio de la variable
.
Def 
.: El conjunto formado por aquellos elementos del dominio de la variable que hacen verdadera la proposición abierta p(x), lo llamaremos el
conjunto solución
de la proposición abierta p(x).Ejemplo: Encontrar el conjunto solución de la propiedad abierta
Ν=
x x x p
;017:)(
Q x
Ν=
71 ;71 ;71
.
=
 P 
Observación
: Usando proposiciones abiertas podemos escribir un conjunto por comprensión:
{ }
{ }
{ }
,...19,17,13,11,7,5,3,2" primo;es /")(/
=Ζ ==
+
 x x x x  p x P 
prop.
1
 Dominio Conjuntoabierta p(x) variable p(x). solución p(x).
1
 
Describe los atributos que definirán al conjunto.38850536.docPag. 1 / 27
 
Lógica Matemática y Teoría de Conjuntos.
Conectivos lógicos
: Permiten relacionar proposiciones para formar nuevas proposiciones. Igualmente permiten definir “operaciones” en los conjuntos para obtener nuevos conjuntos.
Tabla conectivos lógicos.
Conjunción.y.
Disyunción.o.
Condicional.si p entoces q.
¬
 Negación.no.
Bicondicional.(ó doble implicación).“p si y sólo si q”.
Def 
.: Dadas dos proposiciones p y q, se llama
proposición conjuntiva
de p y q, y se escribe
q p
, a la proposición que dice "p y q".
q p
es verdadera cuando p y q son verdaderas simultáneamente.(Ver: “Tablas de Verdad”).
Def 
.: Sean A y B dos conjuntos cualesquiera, entonces definimos el conjunto A
intersección
B, quedenotaremos por 
 B A
como sigue:
{ }
 B x A x x B A
=
/
Observación
: Si P es el conjunto solución de la proposición p(x) y Q el de la proposición q(x), entoncesel conjunto solución de “p(x)
q(x)” es
Q P 
.
Def 
.: El
conjunto vacío
que denotaremos por 
es el conjunto que no tiene elementos. Podemos decir que:
{ }
 A x A x x
=
/
Def 
.: Dadas dos proposiciones p y q, se llama
proposición disyuntiva
de p y q, y se escribe
q p
, a la proposición que dice "p ó q".
q p
es verdadera cuando al menos una de ellas lo es.(Ver: “Tablas de Verdad”).
Observación
: De la tabla de verdad de la disyunción (Ver: “Tablas de Verdad”) se deduce que en lógica,la disyunción significa
y/o
(NO exclusivo).
Def 
.: Sean A y B dos conjuntos, entonces definimos el conjunto A
unión
B que denotaremos por 
 B A
como sigue:
{ }
 B x A x x B A
=
/
Observación
: Si P es el conjunto solución de la proposición p(x) y Q el de la proposición q(x), entonces
Q P 
es el conjunto solución de la proposición “p(x)
q(x)”.Ejemplo: Formar la proposición conjuntiva y la disyuntiva; hallar el conjunto solución de lascomponentes, el conjunto solución de la conjunción y la disyunción. Dominio:
{ }
3,2,1,0,1,2,3
=
.
"01" ; "01"
2
==
x x
Proposición conjuntiva:
"01 01" :)"()("
2
==
x x xq x  p
Proposición disyuntiva:
"01 01" :)"()("
2
==
x x xq x  p
Conjunto solución p(x):
{ }
1 1
==
 x
Conjunto solución q(x):
{ }
1,1 11
=±=±=
Q x
38850536.docPag. 2 / 27
 
Lógica Matemática y Teoría de Conjuntos.
Conjunto solución
)"()("
xq x  p
:
{ }
1
==
Q P 
Conjunto solución
)"()("
xq x  p
:
{ }
1,1
==
Q P  D
Def 
.: Dadas dos proposiciones p y q, se llama
proposición condicional
de p y q, y se escribe
q p
, ala proposición que dice "(no p) ó q".
q p
es verdadera cuando q es verdadera, o bien p y q son falsas ala vez.(Ver: “Tablas de Verdad”).
Def 
.: Una palabra o frase que indique cuántos objetos o cosas cumplen con determinada propiedad, sellama un
cuantificador
.Generalmente, para convertir una proposición abierta (función proposicional) en una proposición, seutilizan los llamados cuantificadores:a)
Existencial
:
)(;
x P  D x
Y se lee "existe, al menos, un x tal que se verifica P(x)". Nota: Para decir "existe un único x tal que P(x)" escribimos:
)(;!
x P  D x
.b)
Universal
:
)(;
x P  D x
. Y se lee "para todo x se verifica P(x)".
Observación
: Las expresiones cuantificadas universal o existencialmente es una nueva proposición quetiene un valor de verdad que se establece en los siguientes axiomas
2
de verdad:i)La proposición
)(;
x P  D x
” es falsa si al menos un elemento del dominio D,hace falsa la proposición P(x).ii)La proposición
)(;
x P  D x
” es verdadera cuando hay al menos un valor x en eldominio D que haga verdadera
3
 la proposición P(x) y será falsa si no existe un soloelemento del dominio que haga verdadera a P(x).
Def 
.: Sean A y B dos conjuntos, diremos que A es un
subconjunto
de B que escribiremos
 B A
, si para toda x que pertenece a A se tiene que x también pertenece a B. Es decir, todos los elementos de A loson también de B.
 B x A x x B A
,
Si A no es subconjunto de B, lo denotaremos por 
 B A
.
Observación
: Para todo conjunto A:
 A
.
Def 
.: Sean A y B dos conjuntos cualesquiera. Diremos que A es un
subconjunto propio
de B si y sólo si:a)
B A
y b)
B A
Def 
.: La proposición
)()(,
xq x p D x
es verdadera si y sólo si
Q P 
donde P es elconjunto solución de p(x) y Q es el conjunto solución de q(x).
Def 
.: Dada una proposición p, se llama
proposición negativa
(o negación) de p, y se escribe
 p
¬
, a laafirmación que dice "no p".
 p
¬
es verdadera cuando p es falsa.(Ver: “Tablas de Verdad”).
2
 
Axiomas
: afirmaciones que son aceptadas como verdaderas.
3
 
(aunque existan otros valores del dominio que la hagan falsa).38850536.docPag. 3 / 27

Activity (8)

You've already reviewed this. Edit your review.
Del Mariana Ruiz liked this
1 thousand reads
1 hundred reads
anilita liked this
Galla Hull liked this
8903ro liked this
8903ro liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->