TERMINOS Y CONCEPTOS MAS IMPORTANTES

WILLY JAMPER ROJAS CASAS CODIGO: 1110177346

UNIVERSIDAD NACIONAL ABIERTA Y A DISTNACIA UNAD INGENIERIA INDUSTRIAL LOGICA MATEMATICA CEAD IBAGUE AO 2014

LOGICA MATEMATICA
CONCEPTOS Y TRMINOS

Tautologa: En lgica, una tautologa es una frmula bien formada de un

sistema de lgica proposicional que resulta verdadera para cualquier interpretacin; es decir, para cualquier asignacin de valores de verdad que se haga a sus frmulas atmicas. La construccin de una tabla de verdad es un mtodo efectivo para determinar si una frmula cualquiera es una tautologa o no.

Reciproca: Se aplica a la accin o sentimiento que se da entre dos personas o

cosas y se ejerce simultneamente de una hacia otra, y a la inversa.

Cuantificador: En lgica matemtica, teora de conjuntos y matemticas en

general, los cuantificadores son smbolos utilizados para indicar cuntos o qu tipo de elementos de un conjunto dado cumplen con cierta propiedad (por ejemplo, pertenencia, equivalencia u orden).

Refutacin: La refutacin es un enunciado, una afirmacin, que tiene la

siguiente estructura lgica: A partir de una Hiptesis se pueden inferir Conclusiones y si estas Conclusiones no se dan entonces la Hiptesis tampoco se da Como ejemplo.

Analoga: Se dice anlogas si cumplen funciones parecidas por medios

semejantes, sin que se requiera que tengan el mismo origen evolutivo. Si adems tienen el mismo origen evolutivo.

Conjuncin: La conjuncin es un operador que opera sobre dos valores de

verdad, tpicamente los valores de verdad de dos proposiciones.

Disyuncin: Una disyuncin lgica, comnmente conocida como O, o bien

como , es un operador lgico que resulta verdadero si cualquiera de los operadores es tambin verdico.

Negacin: La negacin, tambin llamada complemento lgico, es una operacin

sobre proposiciones, valores de verdad, o en general, valores semnticos. Intuitivamente, la negacin de una proposicin es verdadera cuando dicha proposicin es falsa, y viceversa. En lgica clsica la negacin est normalmente identificada con la funcin de verdad que cambia su valor de verdadero a falso y viceversa.

Condicional: El condicional material es un operador que opera sobre dos

valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa, y verdadero en cualquier otro caso.

Bicondicional: El bicondicional o doble implicacin es un operador que

funciona sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren.

Razonar: Razonar es un proceso por el cual se establece una conclusin

basada en una o ms proposiciones supuestas o aceptadas, llamadas premisas, las cuales constituyen el punto departida del proceso.

Silogismos: El silogismo es una forma de razonamiento deductivo que consta

de dos proposiciones como premisas y otra como conclusin, siendo la ltima una inferencia necesariamente deductiva de las otras dos.