Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Es concebida por las Matemáticas como una forma de presentación de los conjuntos, consistente en
enumerar y exponer los elementos que forman parte de una colección abstracta, como si se tratara
de un listado. En consecuencia, a la hora de presentar un conjunto bajo el método de extensión,
será necesario seguir tres pautas esenciales:
Por otro lado, las Matemáticas también conciben la Comprensión como otro método de presentación
de conjuntos. En cuanto a ella, esta disciplina ha señalado que se trata de un método que en lugar
de centrar su atención en cada uno de los elementos del conjunto, como en el caso del método de
extensión, la comprensión toma en cuenta la propiedad o criterio de agrupación por el cual se ha
establecido el conjunto. Para anotar o expresar un conjunto según esta forma de expresión, será
necesario seguir igualmente algunas pautas:
1. Nombrar la propiedad a la cual deben responder todos y cada uno de los elementos para
formar parte del conjunto.
2. Comprender la propiedad del conjunto entre signos de llaves:{ }.
3. Nombrar al conjunto según una letra mayúscula del alfabeto latino.
A= {Instrumentos musicales}.
B= {Números impares del 1 al 50}.
C= {Frutas Cítricas}.
LÓGICA
La lógica es una de las ramas de la ciencia que se dedica al estudio de las formas y los modos por
los cuales se rige el razonamiento, centrándose en las formas de inferencia válida. De esto se
deduce que no tiene un contenido formal propio, si no que nos brinda herramientas para diferenciar
un conocimiento válido de otro inválido.
LOGICA FORMAL
También llamada lógica menor, es el estudio abstracto y pasivo de diferentes declaraciones o frases
que se utilizan, con objeto de determinar una conclusión deducida a partir de dos premisas
principales, pero sin tener en cuenta la veracidad o validez del resultado final. También se la suele
denominar como lógica aristotélica, ya que su procedimiento viene explicado en el libro “Organon”
escrito por Aristóteles (384 -322 aC).Por ejemplo:
LÓGICA SIMBOLICA
También conocida como de primer orden, busca reducir la realidad a conceptos simples que puedan
combinarse, y a partir de los cuales puedan desarrollarse argumentos de mayor complejidad.
El Padre de la lógica simbólica, el matemático “George Boole” observó una íntima relación entre el
razonamiento deductivo y el uso de los símbolos algebraicos, y creó un lenguaje algebraico basado
en tres operaciones básicas: “Y”, “O”, y “No”.
Sigue siendo una herramienta vigente en el desarrollo de varias ramas matemáticas como la
aritmética y la geometría y también como base fundamental de las ciencias de computación e
informatica
LÓGICA PROPOSICIONAL
Es una rama de la lógica clásica que estudia las variables proposicionales o sentencias lógicas, sus
posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel absoluto de verdad.
Algunos autores también la identifican con la lógica matemática o la lógica simbolice, ya que utiliza
una serie de símbolos especiales que lo acercan al lenguaje matemático.
Las proposiciones se representan simbólicamente mediante el uso de letras minúsculas del alfabeto
tales como: p, q, r, s, x, y, z, las cuales reciben el nombre de letras o variables proposicionales, de
esta manera, el lenguaje proposicional se hace más simple y exacto que el lenguaje natural.
EJEMPLO:
EJEMPLOS:
Notación simbólica: p Λ q
Notación simbólica: r V s
Expresión: Hoy no llueve
Notación simbólica: x → y
Expresión: La ventana está cerrada si y solo si tiene puesto el pasador
Notación simbólica: v ↔ z
TIPOS DE PROPOSICION
p: 2 es un número par.
CONECTIVOS
Los conectivos (también llamados conectores) son las palabras que se utilizan al escribir un texto o
al hablar para guiar al receptor a entender la lógica que une las diferentes partes del discurso. Por
ejemplo: y, ahora bien, es decir, en suma.
CONECTIVOS LÓGICOS
Los conectivos lógicos nos permiten definir operaciones con proposiciones. Son símbolos que
enlazan dos o más proposiciones simples para formar una proposición compuesta.
Los conectivos lógicos más comunes son los conectivos binarios que unen dos frases, que pueden
ser consideradas los operando de la función. También es común considerar a la negación como un
conectivo monádico.
Es, entre dos proposiciones, 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. 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. Se debe
distinguir entre el “ó” inclusivo y el “ó” exclusivo este artículo se refiere al a “ó” inclusivo. La noción
equivalente en la teoría de conjuntos es la unión.
Los conectivos lógicos también se les pueden llamar operador lógico o conectores lógicos.
NOTACIÓN
También denominada patrón y notación en forma exponencial, La notación es una forma de
escribir números muy grandes o muy pequeños. Un número está escrito en notación científica
cuando un número entre 1 y 10 se multiplica por una potencia de 10. Por ejemplo, 650,000,000
puede escribirse en notación científica como 6.5 ✕ 10^8.
OPERACIONES LÓGICAS
Una operación lógica asigna un valor (TRUE o FALSE) a la combinación de condiciones (TRUE o
FALSE) de uno o más factores (variables). Los factores o las variables que intervienen en una
operación lógica sólo pueden ser TRUE o FALSE. Y el resultado de una operación lógica puede ser,
tan sólo, TRUE o FALSE.
TABLAS DE VERDAD
Tablas de verdad o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una
proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus
componentes.
DISYUNCIÓN
Es, entre dos proposiciones, 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. 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. Se debe
distinguir entre el “ó” inclusivo y el “ó” exclusivo este artículo se refiere al a “ó” inclusivo. La noción
equivalente en la teoría de conjuntos es la unión.
CONJUNCIÓN
Es, entre dos proposiciones, 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. Existen diferentes contextos
donde se utiliza la conjunción lógica.
En lenguajes formales, la palabra “y” se utiliza en español para simbolizar una conjunción lógica. La
noción equivalente en la teoría de conjuntos es la intersección. En álgebra Booleana, la conjunción
como operador binario entre dos variables se representa con el símbolo de punto medio.