Universidad: Gabriel René Moreno

Facultad: Humanidades
Carrera: Psicología

Nombre: Sebastian Orlando Molina Pedraza

Registro: 221076409

Materia: Estadística 2

Grupo: B2

Fecha: 12/10/2021

Trabajo Nro. 1

Conjuntos y Lógica simbólica.

 Universidad: Gabriel René Moreno
Facultad: Humanidades
Carrera: Psicología

Conjuntos

Un conjunto es la agrupación, clase, o colección de objetos o en su defecto de elementos que

pertenecen y responden a la misma categoría o grupo de cosas, por eso se los puede agrupar en el
mismo conjunto. Esta relación de pertenencia que se establece entre los objetos o elementos es
absoluta y posiblemente discernible y observable por cualquier persona.
Conjunto universal: es un conjunto formado por todos los objetos de estudio en un contexto
dado. Por ejemplo, en aritmética los objetos de estudio son los números naturales, por lo que el
conjunto universal para este caso puede ser el conjunto de los números naturales N. Al conjunto
universal también se le denomina conjunto referencial, universo del discurso o clase universal,
según el contexto, y se denota habitualmente por U o V.
Ejemplo:
Conjuntos vacíos: Desde principios del siglo XX, en la matemática, particularmente en la
teoría axiomática de Conjuntos de ZF o la teoría intuitiva de conjuntos, el conjunto vacío es el
que no posee elemento alguno. Puesto que lo único que define a un conjunto es la propiedad que
satisfacen sus elementos, el conjunto vacío es único.

Unión de conjuntos: En la teoría de conjuntos, la unión de dos (o más) conjuntos es una

operación que resulta en otro conjunto, cuyos elementos son los mismos de los conjuntos iniciales.
Por ejemplo, el conjunto de los números naturales es la unión del conjunto de los números pares
positivos P y el conjunto de los números impares positivos

Intercepción de conjuntos: En teoría de conjuntos, la intersección de dos (o más) conjuntos

es una operación que resulta en otro conjunto que contiene los elementos comunes a los
conjuntos de partida.
Por ejemplo: dado el conjunto de los números pares P y el conjunto de los cuadrados C de
números naturales, su intersección es el conjunto de los cuadrados pares.
Complemento de un conjunto: El complemento de un conjunto o conjunto complementario
es otro conjunto que contiene todos los elementos que no están en el conjunto original. Para
poder definirlo es necesario especificar qué tipo de elementos se están utilizando, o de otro
modo, cuál es el conjunto universal.

Diferencia de conjuntos: En teoría de conjuntos, la diferencia de dos conjuntos es una

operación que da como resultado otro conjunto con los elementos del primer conjunto sin los
elementos del segundo conjunto. Por ejemplo, la diferencia entre el conjunto de los números
Naturales N y el conjunto de los números pares sin incluir el cero P es el conjunto de los
números que no son pares, es decir, los impares I
 Universidad: Gabriel René Moreno
Facultad: Humanidades
Carrera: Psicología

Lógica simbólica

Definición: es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la

matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica formal a la
construcción y el desarrollo de las matemáticas y el razonamiento matemático, y conversamente
la aplicación de técnicas matemáticas a la representación y el análisis de la lógica formal.
Preposición lógica: El término proposición es tomado de la lógica y suele ser definido como
un enunciado que puede ser calificado de verdadero o falso. Se considera la proposición como un
enunciado y este último como una frase u oración. Según lo anterior, por ejemplo, la expresión
3 < 7, que es claramente una proposición verdadera del campo matemático, no lo sería si
atendemos a lo dicho líneas arriba
Negación: es una operación sobre proposiciones, valores de verdad, o en general, valores
semánticos. Intuitivamente, la negación de una proposición es verdadera cuando dicha
proposición es falsa, y viceversa. En lógica clásica la negación normalmente se identifica con la
función de verdad que cambia su valor de verdadero a falso y viceversa.
Conjunción: En razonamiento formal, una conjunción lógica entre dos proposiciones es un
conector lógico cuyo valor de la verdad resulta en cierto solo si ambas proposiciones son ciertas,
y en falso de cualquier otra forma.1 Existen diferentes contextos donde se utiliza la conjunción
lógica.
Disyunción: entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en
falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.1 Existen
diferentes contextos donde se utiliza la disyunción lógica. En lenguajes formales, la palabra "o"
se utiliza en español para simbolizar una disyunción lógica. Se debe distinguir entre el "o"
inclusivo y el "o" exclusivo; este artículo se refiere al "o" inclusivo. La noción equivalente en la
teoría de conjuntos es la unión.
Condicional: es una conectiva lógica que conecta dos proposiciones, representado
usualmente A y B. En lógica proposicional, el condicional material es una función de verdad
binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en
cualquier otro caso. En lógica de predicados, puede ser visto como una relación de subconjuntos
entre la extensión de predicados (posiblemente complejos).
Implicación: En lógica, la implicación, también llamada implicación lógica o implicación
material se simboliza formalmente como: A y B que indica que B es una conclusión lógica de A.
Se lee "A implica B" o "A, por tanto B". Es importante no confundir el concepto de implicación
material con el de condicional material. La confusión es exacerbada porque los símbolos Ay B y
A y B son imprecisamente usados como equivalentes por muchos, cuando realmente no lo son.
Doble implicación: El valor de verdad de un bicondicional «p si y solo si q» es verdadero
cuando ambas proposiciones (p y q) tienen el mismo valor de verdad, es decir, ambas son
verdaderas o falsas simultáneamente; de lo contrario, es falso. Se tiene así que la afirmación «p si
y solo si q» es lógicamente equivalente al par de afirmaciones «Si p, entonces q», y «si q,
entonces p». Escrito utilizando conectivas lógicas