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
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
∧
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
∨
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
−−−=
M
.
"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
==
P 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 C
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
⇒
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
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
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
¬
2
Axiomas
: afirmaciones que son aceptadas como verdaderas.
3
(aunque existan otros valores del dominio que la hagan falsa).38850536.docPag. 3 / 27
Search History:
Result 00 of 00
00 results for result for
p.
Recommended
More From This User
Notes
Load more
