REPÚBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR PARA LA EDUCACIÓN UNIVERSITARIA

INSTITUTO UNIVERSITARIO DE DISEÑO LAS MERCEDES
UNIDAD CURRICULAR: LÓGICA MATEMÁTICA
CARRERA: DISEÑO DE MODA
Sección: “C”

GLOSARIO DE TÉRMINOS

Profesor: Franklin Mendoza Autor: Jetsy Araque

CI: 24.224.419

Caracas, 23 abril 2020

Afirmativa: En matemáticas, especialmente en lógica una afirmación lógica es
la presentación de una proposición o predicado lógico como su afirmación o su
consideración como verdad cierta.

Argumento: En lógica, un argumento se define como un conjunto de premisas

seguidas por una conclusión. Un argumento puede ser sólido (válido y con
premisas verdaderas) o ser persuasivo de alguna otra manera. Sin embargo,
un argumento no necesita ser sólido o persuasivo para ser un argumento.

Bicondicional: El bicondicional o doble implicación es un operador que funciona

dando el valor de verdad cuando ambos valores son iguales y dando el valor de
falsedad cuando ambos valores son diferentes. La tabla de verdad del
bicondicional es la siguiente:

Cálculo Proposional: El cálculo proposicional es el estudio de las relaciones

lógicas entre objetos llamados proposiciones, que frecuentemente pueden
interpretarse como afirmaciones que tienen algún significado en contextos de la
vida real.
Componentes: es aquello que forma parte de la composición de un todo. Se
trata de elementos que, a través de algún tipo de asociación o contigüidad, dan
lugar a un conjunto uniforme.

Condicional: El condicional material es un operador que actúa sobre dos

valores de verdad, típicamente los valores de verdad de dos proposiciones,
devolviendo el valor de falso sólo cuando la primera proposición es verdadera y
la segunda falsa, y verdadero en cualquier otro caso.

La tabla de verdad del condicional material es la siguiente:

Conectivos Lógicos: Los conectores lógicos son palabras y/o

expresiones que sirven para enlazar las distintas ideas en una oración, párrafo
o texto. Por ejemplo: además, también, si bien, pero. Sin ellos, los textos serían
solo un conjunto de oraciones independientes y aisladas.

Conjunción: La conjunción es un operador, que actúa sobre dos valores de

verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el
valor de verdad verdadero cuando ambas proposiciones son verdaderas,
y falso en cualquier otro caso. Es decir, es verdadera cuando ambas son
verdaderas.
En términos más simples, será verdadera cuando las dos proposiciones son
verdaderas.

Diagramas de Venn: Un diagrama de Venn usa círculos que se superponen u

otras figuras para ilustrar las relaciones lógicas entre dos o más conjuntos de
elementos.

Disyunción: La disyunción es un operador lógico que actúa sobre dos valores

de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo
el valor de verdad verdadero cuando una de las proposiciones es verdadera, o
cuando ambas lo son, y falso cuando ambas son falsas.

En términos más simples, será verdadera cuando por lo menos una de las
proposiciones es verdadera de lo contrario será falsa.

Lenguaje Lógico: Como en todo lenguaje, la sintaxis de un lenguaje lógico es

un sistema de símbolos que consta de un alfabeto de símbolos básicos
(«símbolos terminales» se les llama en la teoría de lenguajes) y unas reglas que
permiten construir a partir de ellos estructuras simbólicas, cadenas de símbolos
que si obedecen a las reglas.
Leyes: Definición de ley. Del latín lex, una ley es una regla o norma. Se trata de
un factor constante e invariable de las cosas, que nace de una causa primera.
Las leyes son, por otra parte, las relaciones existentes entre los elementos que
intervienen en un fenómeno.

Lógica Matemática: La lógica matemática, también llamada lógica simbólica,

lógica teorética, lógica formal o logística, 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.

Lógica: La Lógica estudia los métodos y leyes que

permiten distinguir un razonamiento valido de un
razonamiento no valido.

Molecular: Los modelos moleculares describen normalmente átomos (núcleos

y electrones en conjunto) como cargas puntuales con una masa asociada.
Métodos: Método es un modo, manera o forma de realizar algo de forma
sistemática, organizada y/o estructurada.

Negativa: En lógica y matemática, la negación, también llamada

complemento lógico, 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.

Operación binaria: Se define como operación

binaria (o ley de composición) aquella operación matemática, que necesita el
operador y dos operandos (argumentos) para que se calcule un valor. El número
de argumentos de una función se denomina aridad.

Proposición compuesta: En la proposición compuesta se da la proposición

lleva algunos elementos de conexión como las palabras “o” “y”, de esta se
pueden separar oraciones como: El lápiz es rojo o amarillo; Héctor es
comerciante y Víctor es abogado; mediante el condicional si el hombre es mortal
entonces es finito.
Proposición Lógica: se refiere a los razonamientos que puedan ser verdaderos
o falsos, esto es de suma importancia en el lenguaje lógico, porque siendo la
lógica la ciencia del correcto razonar, distingue entre el razonamiento válido del
no válido.

Proposición Molecular: Una proposición molecular es

una proposición compuesta, como opuesta a una proposición atómica. Es una
fbf con al menos una conectiva binaria, por lo que contiene dos o
más proposiciones simples (componentes) unidos por una conectiva.

Proposición simple: cuando dos términos están

unidos mediante la cópula “es”, por ejemplo el sol
es una estrella, la luna es un satélite. También
cuando se expresa un juicio a través de un
predicado, por ejemplo: llueve, te canto.

Proposición: Es una oración o una expresión matemática que a rma o niega

algo. De esta manera, una proposición tiene un valor de verdad que puede ser
verdadera o falsa.

Razonamiento: Un razonamiento lógico, en definitiva, es un proceso mental que

implica la aplicación de la lógica. A partir de esta clase de razonamiento, se
puede partir de una o de varias premisas para arribar a una conclusión que
puede determinarse como verdadera, falsa o posible.
Simbolización: Símbolos matemáticos para representar operaciones y
relaciones entre valores. Los símbolos son imágenes que representan algo. En
general, los símbolos son conocidos dentro del contexto donde se encuentren.
En matemáticas, los símbolos suelen representar
operaciones o relaciones entre números o valores.

Simbología: Los símbolos son imágenes que

representan algo. En general, los símbolos son
conocidos dentro del contexto donde se encuentren.
En matemáticas, los símbolos suelen representar operaciones o relaciones entre
números o valores.

Tabla de Verdad: Una tabla de verdad, o tabla de valores de verdades, es una

tabla que muestra el valor de verdad de una proposición compuesta, para cada
combinación de
verdad que se pueda
asignar.

Términos Algebraicos: Un término algebraico es el producto de un factor

numérico por una o más variables literales. En cada término algebraico se
distinguen el coeficiente numérico (que incluye el signo y constantes
matemáticas) y la parte literal (que incluye variables).

Valor de falsedad: La veracidad o falsedad de un enunciado se llama su

"Valor de Verdad". En lógica matemática se dispone de los denominados
operadores lógicos, que permiten modificar proposiciones, o asociar dos o más
enunciados simples, convirtiéndolos en proposiciones compuestas.

Valor de verdad: En lógica, un valor de

verdad es un valor que indica en qué medida
una declaración es verdad.