proposicional
71Función — (Del lat. functio, onis.) ► sustantivo femenino 1 BIOLOGÍA Actividad o capacidad de acción específica de un ser vivo y de sus órganos: ■ la función del riñón; la función clorofílica. 2 Desempeño de un cargo u oficio: ■ el vicepresidente desempeña …
72lógica modal — Sistema formal que incorpora modalidades como necesidad, posibilidad, imposibilidad, contingencia, implicación estricta y otros conceptos íntimamente relacionados. La manera más directa de construir una lógica modal es agregar a un sistema de… …
73Teoría de los actos de habla — La teoría de los actos de habla es una de las primeras teorías en pragmática de la filosofía del lenguaje. Su formulación original se debe a John Langshaw Austin en su obra póstuma Cómo hacer cosas con palabras . Contenido 1 Actos de habla 1.1… …
74Álgebra de Boole — (también llamada Retículas booleanas) en informática y matemática, es una estructura algebraica que esquematiza las operaciones lógicas Y, O , NO y Si (AND,OR,NOT,IF), así como el conjunto de operaciones unión, intersección y complemento. Se… …
75Álgebra de conjuntos — En matemáticas, se denomina álgebra de conjuntos a las operaciones básicas que pueden realizarse con conjuntos, como la unión, intersección, etc. Contenido 1 Conjuntos 2 Operaciones con conjuntos 3 Referencias …
76Algoritmo de Davis-Putnam — El algoritmo de Davis Putnam fue desarrollado por Martin Davis y Hilary Putnam para comprobar la satisfacibilidad de las fórmulas de la lógica proposicional en forma normal conjuntiva, es decir, en conjuntos de cláusulas. Esto es una forma de… …
77Matemática médica — La matemática médica o matemática médica y biológica es un campo interdisciplinario de la ciencia en el cual las matemáticas explícan fenómenos, procesos o eventos asociados a la medicina o a la biología. Desde el modelaje en el año 1927 de… …
78Bicondicional — En matemáticas y lógica, un bicondicional, también llamado equivalencia o implicación doble, es una proposición de la forma P si y solo si Q , en la cual tanto P como Q son ambas ciertas o ambas falsas. También se dice que Q es una condición… …
79Complemento de régimen — En español y otras lenguas, un complemento de régimen verbal (CRV) , comp. proposicional de régimen, comp. regido o, en la terminología de Emilio Alarcos Llorach, el suplemento, es un sintagma preposicional (va precedido de preposición)… …
80Cálculo infinitesimal — Saltar a navegación, búsqueda El cálculo infinitesimal o cálculo de infinitesimales constituye una parte muy importante de la matemática moderna. Es normal en el contexto matemático, por simplificación, simplemente llamarlo cálculo. El cálculo,… …
