Vocabulario (lógica)

Vocabulario (lógica)

Vocabulario (lógica)

En lógica simbólica, un vocabulario es una tupla: \tau=\langle R_1,R_2...,R_r,f_1,f_2,...,f_s,c_1,c_2...c_t\rangle que consta de r símbolos relacionales Ri, cada uno de ellos con un número entero ai asociado, el cual se conoce como la aridad de Ri; s símbolos funcionales fj, cada uno de aridad bj, y t símbolos constantes ck.

Una fórmula de primer orden \varphi en el vocabulario τ, es una fórmula de primer orden donde los únicos predicados, funciones y constantes empleados son los especificados por τ.

Obtenido de "Vocabulario (l%C3%B3gica)"

Wikimedia foundation. 2010.

См. также в других словарях:

  • Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… …   Wikipedia Español

  • Lógica matemática — La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la… …   Wikipedia Español

  • Lógica de descripción — Las lógicas de descripción, también llamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de… …   Wikipedia Español

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía 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,… …   Wikipedia Español

  • Demonología — Saltar a navegación, búsqueda Pesadilla (1800) por Abildgaard. La pesadilla (1781) por Johann Heinrich Füssli. Demonología es la rama de la teología y de la mitología que se encarga del estudio de los …   Wikipedia Español

  • Lojban — Familia Lengua lógica Alfabeto Alfabeto latino (en la mayoría de los casos) Estatus oficial Oficial en Ningún país …   Wikipedia Español

  • Lengua construida — Una lengua construida, también llamada idioma artificial, ideolengua o conlang, es un idioma que ha sido total o parcialmente construido, planeado o diseñado por seres humanos a partir del estudio de las lenguas naturales. Los lenguajes de… …   Wikipedia Español

  • Idioma húngaro — Húngaro Magyar Hablado en  Hungría, Transilvania (Rumania) Partes de Eslovaqu …   Wikipedia Español

  • Wikipedia:Consultas/Consultas lingüísticas — Atajo WP:CLWP:CL INSTRUCCIONES Por favor lee detenidamente estas instrucciones …   Wikipedia Español

  • Proyecto de investigación — Saltar a navegación, búsqueda El proyecto de investigación es un procedimiento científico que usa al método científico para recabar todo tipo de información y formular hipótesis acerca de cierto fenómeno social o científico, empleando las… …   Wikipedia Español


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»