Resultados para "lenguaje formal en la lógica"

Definición de lenguaje formal en la lógica

El vocablo occitano lenguatge llegó a nuestro idioma como lenguaje. El término tiene varias acepciones reconocidas por la Real Academia Española (RAE) en su diccionario. Se llama lenguaje a la capacidad humana que hace posible la comunicación y la expresión mediante sistemas de signos o la articulación de sonido. El término también puede aludir a […]

continuar leyendo  

Definición de lógica

La lógica es la disciplina que se basa en las leyes, modalidades y formas del conocimiento científico. Se trata de una ciencia de carácter formal que carece de contenido ya que hace foco en el estudio de las alternativas válidas de inferencia. Es decir, propone estudiar los métodos y los principios adecuados para identificar al […]

continuar leyendo  

Definición de paralogismo

El vocablo griego paralogismós derivó en el latín tardío paralogismus. Ese es el antecedente etimológico más cercano de paralogismo, término que hace referencia a un razonamiento o argumento falso. Ya en su etimología podemos apreciar este significado, ya que el término se compone del prefijo para- (que indica «al margen, junto»), de logos («tratado, palabra, […]

continuar leyendo  

Definición de bivalente

De acuerdo al diccionario de la Real Academia Española (RAE), bivalente es un adjetivo que se emplea en el ámbito de la química para calificar al elemento químico que cuenta con dos valencias. Para comprender el concepto de bivalente, por lo tanto, debemos saber antes qué es un elemento químico y qué es una valencia. […]

continuar leyendo  

Definición de algoritmo

En el árabe es donde podemos encontrar el origen etimológico del término algoritmo que ahora vamos a analizar en profundidad. Más exactamente se halla en el nombre del matemático Al-Khwarizmi, que nació en la Edad Media en una de las zonas de lo que hoy se conoce como Uzbiekistán, en Asia central. En Bagdad fue […]

continuar leyendo  

Definición de tautología

Tautología es un término que proviene de un vocablo griego y que hace referencia a la repetición de un mismo pensamiento a través de distintas expresiones. Una tautología, para la retórica, es una afirmación redundante. Es habitual que las tautologías sean consideradas como un error en el lenguaje o una falta de estilo. Sin embargo, […]

continuar leyendo  

Definición de formalismo

El formalismo consiste en aplicar con rigurosidad, y sin desviarse de sus preceptos, una determina doctrina o metodología en el desarrollo de un proceso investigativo o de enseñanza. El término, de todas maneras, tiene varios usos según el ámbito. Dentro del contexto del arte, el formalismo es la corriente que exalta el valor de la […]

continuar leyendo  

Definición de proposición

Proposición es el proceso y el resultado de proponer. Este verbo, por su parte, refiere a la realización de una propuesta o a la expresión de algo para que otras personas tomen conocimiento de una intención. Por ejemplo: «La proposición de Clara me sorprendió: le pedí unos días para tomar una decisión al respecto», «El […]

continuar leyendo  

Definición de inteligencia artificial

La inteligencia artificial es un sistema creado por el ser humano que se constituye como un agente racional no vivo. La racionalidad, en este caso, es entendida como la capacidad para maximizar un resultado esperado. La inteligencia artificial, por lo tanto, consiste en el diseño de procesos que, al ejecutarse sobre una arquitectura física, producen […]

continuar leyendo  

Concepto de computación

Computación es un término que tiene su origen en el vocablo en latín computatio. Esta palabra permite abordar la noción de cómputo como cuenta o cálculo, pero se usa por lo general como sinónimo de informática (del francés informatique). De esta manera, puede decirse que la computación nuclea a los saberes científicos y a los […]

continuar leyendo  

Intenta otra búsqueda



x