1
Son aquellos operadores que actúan sobre las variables en la lógica de orden superior
2
Tipo de lógica que permite expresar y razonar con declaraciones que son, o verdaderas o falsas.
3
Esta lógica es un cálculo proposicional en la que hay más de dos valores de verdad, se explica con el ejemplo de Aristóteles y la batalla naval.
4
Es la lógica que permite representar relaciones entre objetos solamente, la validez del razonamiento depende de la estructura interna de las proposiciones. (dos palabras).
5
Tipo de enunciado usado en la lógica proposicional.
6
Es el proceso por el cual a partir de dos enunciados dados (premisas) se obtiene una tercera llama conclusión.
7
Es dar carácter de formal al lenguaje para evitar ambigüedades y facilitar su valoración
8
Se presume que son propiedades de los objetos.
9
Es la relación entre uno o más objetos con un tercero en la lógica de primer orden.
10
Representan propiedades, funciones y relaciones en la lógica de orden superior
12
Así se le llama al conjunto de objetos de un discurso dado en la lógica de primer orden.
13
Lenguaje que permite expresar conocimiento y razonar a partir de ciertas expresiones para deducir otras.
