UNIVERSIDAD POLITECNICA

TERRITORIAL DE CARACAS
“MARISCAL SUCRE”

Fichero de
Terminos
Por:
Aaron Martins, C.I. 29829835
Alejandro Villalobos, C.I. 30574002
 Cita Textual

Bicondicional
Autores: Korfhage, Robert R.: "Lógica y Algoritmos", (1970) Editorial Limusa -Wiley,
S.A. México 1, D.F. p. 60

“Un bicondicional es una proposición que tiene una doble

condicionalidad, fijada por las fórmulas que relaciona de manera
binaria. En el lenguaje coloquial, la idea está asociada a la
expresión “si y solo si”: el bicondicional es verdadero si los
términos que relaciona comparten el valor de verdad (es decir, si
las dos fórmulas son verdaderas o si las dos fórmulas son
falsas)”.
 Cita Textual

Condicional
Autores: Brown, Frank Markham (2003). Razonamiento
booleanos: La lógica de las ecuaciones booleanas (2ª edición).

“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)”.
 Cita Textual

Conectivos lógicos
Autores: Humberstone, Lloyd (2010). Sentence Connectives in Formal
Logic. Stanford Encyclopedia of Philosophy.

“En lógica, una conectiva lógica, o también conectiva, (también

llamado operador lógico o conectores lógicos) es un símbolo o palabra que
se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o
moleculares), de modo que el valor de verdad de la fórmula compuesta
depende del valor de verdad de las fórmulas componentes”.
Cita Textual

Conjunción
Autores: HERNANDEZ N. HECTOR. MATEMATICAS DISCRETAS

“La conjunción es un operador que opera 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”.
 Cita Textual

Contradicción
Autores: Essler/Martínez: Grundzüge der Logik I, 4. Aufl. (1991), S. 51

“Una contradicción es toda expresión lógica o booleana

equivalente al resultado falso, para todos los valores de sus
variables, independientemente del número de variables que tenga
dicha expresión o función”.
 Cita Textual

Disyunción Exclusiva
Autores: Essler/Martínez: Grundzüge der Logik I, 4. Aufl. (1991), S. 98 Fn. 33

“La disyunción exclusiva (también llamado bidisyuntor lógico, disyuntor

excluyente, "o" fuerte, "o" exclusivo, o desigualdad material en lógica
proposicional) es un operador lógico simbolizado como XOR, EOR, EXOR, es
un tipo de disyunción lógica de dos operandos”.
 Cita Textual

Disyunción Inclusiva
Autores: Richard Jhohnsonbaugh. Matemáticas discretas (6.ª edición). Pearson. p. 4.

“(también conocido como disyunción incluyente, disyunción

débil o disyunción inclusiva) 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.​ Existen diferentes contextos
donde se utiliza la disyunción lógica”.
 Cita Textual

Equivalencia
Autores: Javier Navarro | Sitio: Definición ABC | Fecha: julio. 2015

“En la esfera de la matemática y la lógica el concepto de equivalente se

expresa a través del símbolo =, lo cual quiere decir que en una formulación
con dicho símbolo las partes implicadas poseen idéntico valor. Para realizar
operaciones matemáticas es preciso tener en cuenta las relaciones de
equivalencia, que son las relaciones entre los elementos de un conjunto
cualquiera y su característica principal es el concepto de igualdad que llevan
implícito”.
 Cita Textual

Indeterminación
Autores: Sangaku S.L. (2021) Definición de indeterminación.

“Una indeterminación matemática es una expresión algebraica que aparece

en el cálculo de los límites y cuyo resultado no se puede predecir.

Cuando aparece una indeterminación en un límite, el límite depende de la

propia función. Esto conlleva que, aunque aparezca la misma
indeterminación, el límite puede ser distinto para funciones distintas”.
 Cita Textual

Negación
Autores: Richard Jhohnsonbaugh. Matemáticas discretas (6 edición). Pearson. p. 5

“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. 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”.
 Cita Textual

Proposición
Autores: Julián Pérez Porto y Ana Gardey. Publicado: 2013. Definición de
proposición matemática

“Una proposición matemática es una expresión algebraica que puede

acarrear dos valores: ser verdadera o ser falsa, aunque nunca ambas a la vez.
Denominadas a través de letras minúsculas, las proposiciones matemáticas
tienen un valor de verdad (que será la veracidad o la falsedad de su
enunciado)”.
 Cita Textual

Tablas de Verdad
Autores: Barco Gómez, Carlos (2004). Elementos de lógica (1 edición).
Universidad de Caldas

“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”.
 Cita Textual

Tautología
Autores:  Barcan M, Ruth. The Oxford Companion to Philosophy (en inglés).
Oxford University Press.

“Una tautología es una fórmula bien formada que resulta verdadera para

cualquier interpretación; es decir, para cualquier asignación de valores de
verdad que se haga a sus fórmulas atómicas. La construcción de una tabla
de verdad es un método efectivo para determinar si una fórmula cualquiera
es una tautología o no”.