Tecnológico Nacional de México
Instituto Tecnológico de Mazatlán
Docente
Ángel Antonio Martínez Rochin
Asignatura
CONTROL DIGITAL
Trabajo
Logica y conjuntos
Equipo la maquina
Brayan Michel Casas Meza
No. 161000233
Luis Guzmán Estrada
No. 161000325
Oscar Jesus Canizalez Aguilar
No.151000403
Mazatlán, Sin., julio de 2020
INTRODUCCIÓN
La lógica matemática sirve de fundamento al razonamiento matemático, evitando
ambigüedades ¨ y contradicciones mediante la determinación absolutamente precisa
y rigurosa de lo que es un razonamiento matemático valido. Una gran parte de la
lógica moderna constituye una rama más de la matemática, como pueda serlo el
´algebra o el análisis, pero hay otra parte que no puede ser considerada del mismo
modo, y es precisamente la que más nos va a interesar. Se trata de la parte que se
ocupa de los fundamentos de la matemática. . Para que un argumento matemático
sea aceptable es necesario que satisfaga unas condiciones de rigor, condiciones
que los matemáticos aplican inconscientemente y que ahora nos proponemos
establecer explícitamente, La lógica es la disciplina que se ocupa del estudio de los
razonamientos, deducciones e inferencias. Por “ razonamiento” entendemos un
proceso donde se concluye una afirmación a partir de un conjunto de afirmaciones.
Diremos que el razonamiento es “ correcto” si cada vez que las afirmaciones
iniciales son verdaderas también lo es la afirmación inferida. Una parte importante de
la lógica está dedicada al estudio de los razonamientos correctos. Los
razonamientos en matemáticas deben ser de ese tipo.
Un conjunto es una lista, colección o clase de objetos bien definidos, objeto que
puede ser: números, personas, letras, ríos, etc.Este concepto es uno delos más
fundamentales de las matemática y de los más frecuentemente utilizados. En cada
campo particular de la matemática tenemos que tratar con conjuntos de los puntos
de un círculo, el conjunto de las funciones continuas, el conjunto de las funciones
integrales y así sucesivamente.
Lógica y conjuntos
El término conjunto se acepta en matemáticas como un término indefinido, tal como
en geometría que toma, entre otros, los términos punto, línea, plano, que sin
definición pero si de manera intuitiva.
En matemáticas es fundamental poder reconocer cuando un razonamiento es
correcto y también saber cómo construirlo.La lógica es la disciplina que se ocupa del
estudio de los razonamientos, deducciones e inferencias. Por “ razonamiento”
entendemos un proceso donde se concluye una afirmación a partir de un conjunto
de afirmaciones. Diremos que el razonamiento es “ correcto” si cada vez que las
afirmaciones iniciales son verdaderas también lo es la afirmación inferida. Una parte
importante de la lógica está dedicada al estudio de los razonamientos correctos. Los
razonamientos en matemáticas deben ser de ese tipo y solamente de ellos
hablaremos en este libro.
1.1 Conjuntos
Se llama conjunto a toda agrupación, colección o reunión de individuos (cosas,
animales, personas o números) bien definidos que cumplen una propiedad
determinada. A los objetos del conjunto se denominan “ elementos” . La teoría de
conjuntos es una parte de las matemáticas que tiene un objeto de estudio propio;
con métodos propios, con ciertas relaciones con otras teorías matemáticas, en
particular, con todas las teorías matemáticas tradicionales y a partir de sus principios
se mantiene la existencia, estructura y relaciones mutuas entre ellos. Es decir, que el
resto de la matemática puede expresarse en términos de conjuntos. Los conjuntos
se denotan con letras mayúsculas de nuestro alfabeto o algunas veces del alfabeto
griego, como en geometría. Los elementos simplemente se escriben dentro de
llaves, separados por comas.
1.2 Conjunción y disyunción
La conjunción o producto lógico, que resulta de reunir dos proposiciones para
obtener una tercera: Así, dadas las proposiciones simples: p = 2 es un número
par; q = Lima es la capital de Perú; se puede formar la proposición compuesta: p
∧ q = p · q = 2 es un número par y Lima es la capital de Perú. La proposición p ∧
q se lee “p y q”; y su valor de verdad es verdadero solamente si p y q son ambas
verdaderas, siendo falso en los demás casos. Por ejemplo, la proposición: 2 es
un número par y Brasilia es la Capital de Perú. Es falsa, porque la segunda
proposición que la compone lo es. También resulta falsa la proposición: Entre
Ríos es un país y 3 + 2 = 7 porque las dos proposiciones que la componen son
falsas. La tabla de verdad correspondiente a la conjunción es:
La disyunción es una operación lógica que forma una proposición compleja por la
unión de dos proposiciones mediante la conjunción lógica “ o” . Notación simbólica:
A∨B (se lee A o B). En la lógica matemática clásica, se diferencian dos clases de
disyunción: la no rigurosa (inclusiva) y la rigurosa (exclusiva). La disyunción no
rigurosa constituye una proposición compleja que es verdadera cuando lo es aunque
sólo sea una de las proposiciones que de ella forman parte, y es falsa cuando lo son
todas las proposiciones que la componen. En el lenguaje natural, corresponde
aproximadamente al significado no excluyente de la conjunción “ o” .
La disyunción rigurosa constituye una proposición compleja verdadera sólo en el
caso de que sea verdadero únicamente uno de sus miembros. En el lenguaje
natural, corresponde aproximadamente al significado excluyente de la conjunción
“ o” (en el sentido de “ o..., o...” , “ ya..., ya...” ).
Si combinamos la proposición «tengo mucho dinero» con la proposición «soy una
persona feliz» usando una disyuntiva, la expresión resultante será verdadera si «soy
una persona feliz» o si «tengo mucho dinero» o si «soy una persona feliz y tengo
mucho dinero». Solo será falsa si no «soy una persona feliz» y no «tengo mucho
dinero».
Gráficamente se representa con el símbolo {\displaystyle \lor } y su
comportamiento se puede visualizar con la siguiente tabla de verdad:
1.3 Bicondicional
Es una conectiva lógica que enlaza dos enunciados, y expresa la idea que tales
enunciados son equivalentes, es decir, que la verdad de uno es una condición tanto
suficiente como necesaria para la verdad del otro. Su caracterización semántica es
la siguiente:
Un bicondicional de la forma “ p si y sólo si q” , donde “ p” y “ q” son
cualesquiera enunciados constatativos, es verdadero si y sólo si siempre que “ p”
es verdadero, “ q” lo es también; o siempre que “ p” es falsa, “ q” lo es también.
En el lenguaje cotidiano el bicondicional suele expresarse con las palabras “si y sólo
si”. En el lenguaje de la lógica se suelen usar los siguientes signos: “↔” o “≡”.
p <--> Q
f v F
F F F
V F V
V V V
1.4
Conjunto Universal
Con el ánimo de evitar confusiones, cuando definimos un conjunto debemos
especificar de dónde se están tomando los elementos que lo conforman. Esto
significa que debe existir una base de la cual tomamos estos elementos, esta base
sobre el cual trabajamos es llamada conjunto universal. Usaremos siempre la
letra para representar el conjunto universal.
Conjunto vacío
Consideremos la existencia de un conjunto que no tiene elementos, este es
llamado conjunto vacío. Para representar dicho conjunto usamos el reconocido
símbolo del vacío. Haciendo uso de la descripción por extensión, representamos el
conjunto vacío por medio de los corchetes. Como el conjunto vacío no tiene
elementos, no podemos ubicar ningún elemento en el interior de los corchetes.
Conjuntos unitarios
El conjunto unitario se distingue por tener solo un elemento. No importa qué tipo de
elemento tenga el conjunto, un gato, un perro, un número, una letra o cualquier otra
cosa, si tiene un solo elemento es llamado conjunto unitario
Conjuntos finitos
Este tipo de conjunto también se distingue por la cantidad de elementos que posee.
Un conjunto es finito si podemos contar la cantidad de elementos que lo conforman.
Conjuntos infinitos
No es fácil encontrar en la naturaleza ejemplos de este tipo de conjuntos.
Los conjuntos infinitos son aquellos a los cuales no les podemos contar la cantidad
de elementos que los componen. El método más fácil para representar este tipo de
conjuntos es por comprensión. Basta con mencionar las características que tienen
en común los elementos del conjunto y los estaremos determinando a todos.
CONCLUSIONES
En la investigación se buscó información acerca de la lógica y los conjuntos de los
cuales solamente se tenía una idea de algunos conceptos pero con la demás
información agregada se conocieron otros
Con esto podemos concluir que La matemática exige un lenguaje claro y preciso.
Para lograrlo, se vale de la lógica simbólica o lógica matemática, que proporciona
significado exacto a cada expresión y da para cada símbolo un significado único.
La teoría de conjuntos estudia las propiedades y relaciones de los conjuntos:
colecciones abstractas de objetos, consideradas como objetos en sí mismas. Los
conjuntos y sus operaciones más elementales son una herramienta básica en la
formulación de cualquier teoría matemática.
La teoría de los conjuntos es lo suficientemente rica como para construir el resto de
objetos y estructuras de interés en matemáticas: números, funciones, figuras
geométricas, etc.; gracias a las herramientas de la lógica, permite estudiar los
fundamentos. En la actualidad se acepta que el conjunto de axiomas de la teoría de
Zermelo-Fraenkel es suficiente para desarrollar toda la matemática.
