ECBTI64 DANY YULIETH MARTINEZ

PENSAMIENTO LOGICO Y MATEMATICO - (200611B 761)

Página Principal ► Cursos ► PENSAMIENTO LOGICO Y MATEMATICO - (200611B_761) ► Entorno de conocimiento ►

Glosario

Imprimir
miércoles, 12 de febrero de 2020, 20:10

Sitio: ECBTI64
Curso: PENSAMIENTO LOGICO Y MATEMATICO - (200611B_761) (200611B_761)
Glosario: Glosario
Á

Álgebra Booleana
Sistema matemático abstracto formado por un conjunto no vacío, una relación de equivalencia y dos operaciones
binarias que satisfacen unos axiomas
A
Axioma
Se entiende como un principio básico que se asume como verdadero sin recurrir o requerir de demostración alguna. El
uso de axiomas para la resolución de problemas matemáticos empezó en la antigua Grecia, probablemente a partir del
siglo V a.C., dio lugar al nacimiento de la matemática pura tal como hoy la conocemos. U ejemplo de axioma podría ser
el llamado principio de contradicción el cual establece que: "Una proposición no puede ser verdadera y falsa al mismo
tiempo". La lógica, la lógica matemática y las matemáticas puras pueden dar inicio a su estudio con algunas
proposiciones no demostrables, o postulados iniciales, a partir de los cuales se infieren otras proposiciones.

Bicondicional
Proposición compuesta en la que se utiliza el conectivo lógico "si y solo si".
C

Complemento
En la teoría de conjuntos corresponde a todos los elementos que le hacen falta a un conjunto dado para ser igual al
conjunto universal.

Conjunción
Proposición compuesta en la que se utiliza el conectivo lógico "y".

Conjunto
Agrupación de elementos que poseen una característica en común. ejemplo el conjunto de los números naturales, el
conjunto de las vocales.

Conjuntos disyuntos
Son aquellos conjuntos que no poseen ningún elemento en común.

Contingencia
Cuando una proposición compuesta en su respectiva tabla de verdad da como resultado final la combinación de valores
verdaderos y falsos.
Contradicción
Cuando una proposición compuesta en su respectiva tabla de verdad da como resultado final solo valores falsos.

Cuantificador
Elemento de la lógica matemática que permite determinar su una proposición posee un contexto universal todos los
elementos) o existencial (de pocos elementos).

Diagrama de Venn
Corresponde a la representación gráfica que se hace de los conjuntos a través de círculos u óvalos.

Disyunción
Proposición compuesta en la que se utiliza el conectivo lógico "o".

Doble Implicación
Es una proposición de la forma «P si y solo si Q» y afirma que la proposición P será verdadera cuando y
exclusivamente Q también lo sea, así como también P será falsa cuando Q lo sea. Otra forma de expresar el
bicondicional es decir que Q es una condición necesaria y suficiente para P.
E

Enunciado
Expresión lingüística de un juicio, una orden, un consejo o una duda, entre otras posibilidades. En la lógica, suele
identificarse con una proposición, aunque, en realidad, el enunciado designa el hecho de expresar una determinada
proposición. El concepto de enunciado posee, sin embargo, un significado más general que el de proposición, ya que
ésta posee siempre una determinada estructura lógica y se encuentra sometida a las reglas de la lógica.

H
Hipótesis
Término procedente del griego que designa, etimológicamente, ‘aquello que se encuentra debajo de algo sirviéndole de
base o fundamento’. En lógica filosófica, se entiende por hipótesis un enunciado (o un conjunto de enunciados) que
precede a otros enunciados y constituye su fundamento. Asimismo, puede definirse como una proposición cuya verdad o
validez no se cuestiona en un primer momento, pero que permite iniciar una cadena de razonamientos que luego puede
ser adecuadamente verificada. Así, un ‘razonamiento por hipótesis’ es aquel que comienza ‘suponiendo’ la validez de
una afirmación, sin que ésta se encuentre fundamentada o sea universalmente aceptada.
I

Implicación
Proposición compuesta en la que se utiliza el conectivo lógico "si...entonces".

Intersección
En la teoría de conjuntos corresponde a los elementos que se repiten en dos o más conjuntos.
L

Lógica
Ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego
antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo»

Negación
Conectivo lógico que le cambia el valor de verdad a una proposición.
P
Paradoja
Designa una conclusión contradictoria en apariencia que se deriva de lo que se plantea como premisas válidas. Las
paradojas se conocen desde la época del filósofo griego Zenón de Elea en el siglo V a.C. Muchas paradojas, tras ser
sometidas a examen, resultan estar basadas sobre premisas o argumentos falsos, o sobre presuposiciones incompletas
que subyacen en los sistemas lógicos o matemáticos implicados. Otras paradojas, de cualquier modo, han sido más
difíciles de resolver y su estudio ha contribuido a la evolución de las matemáticas modernas.Las paradojas semánticas
dependen de la estructura del lenguaje, y asimismo la paradoja se utiliza a menudo como un recurso retórico en
epigramas, poesía y otras formas de la escritura literaria.

Proposición
Es todo enunciado al cual se le puede comprobar su valor de verdad, es decir, es posible determinar si es verdadero o
falso.
T

Tautología
Cuando una proposición compuesta en su respectiva tabla de verdad da como resultado final solo valores verdaderos.

Teorema
Proposición que afirma una verdad demostrable, es un enunciado de una propiedad o proposición seguida de una
demostración, es el resultado de un estudio matemático o de un sistema formal.
U

Unión
En la teoría de conjuntos corresponde a juntar en un solo conjunto todos los elementos de dos o más conjuntos.