Resultados de la búsqueda

…resentación de su contenido y [[sintaxis]] usando las herramientas de la [[lógica]], en particular el simbolismo del [[cálculo proposicional]] y el [[cálculo …encia de lo que ocurre con un [[lenguaje natural]]. En este caso, la forma lógica sería <math>aAe</math>, mientras que <math>eAa</math> expresa una proposici …

…Dos características generalmente aceptadas de la relación de consecuencia lógica son que es «necesaria» y además «formal».<ref name=SEP/> == Explicaciones de la consecuencia lógica == …

…entras''' es un ciclo repetitivo basado en los resultados de una expresión lógica; se encuentra en la mayoría de los [[lenguajes de programación]] [[Programa == Sintaxis == …

…e una sola barra cruzada en el medio. Puede ser leído como "[[consecuencia lógica]]" (trinquete en), "[[Teoría de modelos|modelo de]]", "es consecuencia semá …es muy parecida al del trinquete, lo cual indica [[consecuencia lógica]] (sintaxis). …

{{Referencias|t=20191108}}En [[lógica proposicional]], una fórmula lógica es una '''cláusula de Horn''' si es una cláusula (disyunción de literales) …cláusula objetivo (goal) o consulta (query), especialmente en programación lógica. …

…jkstra]] para [[semántica de transformación de predicados]] (una extensión lógica diseñada para proporcionar una metodología para desarrollar programas "corr === [[Sintaxis]] === …

La '''semántica formal''' es el estudio de las [[Interpretación (lógica)|interpretaciones]] de los [[Lenguaje formal|lenguajes formales]].<ref name …un lenguaje formal es la caracterización de la relación de [[consecuencia lógica]] en términos semánticos, y la demostración de metateoremas a partir de esa …

…]. Mientras que los filósofos a partir de [[Aristóteles]] han discutido la lógica modal, y los [[Filosofía medieval|filósofos medievales]] tales como [[Guill …inámica]] para crear una [[lógica de las comunicaciones públicas]] y una [[lógica de actualización de producto]], que intentan modelar las sutilezas epistémi …

…forma lógica]] que consiste en una función que toma premisas, analiza su [[sintaxis]], y devuelve una conclusión (o conclusiones). …emántica de la [[lógica clásica]] (así como la semántica de muchas otras [[lógica no clásica|lógicas no clásicas]]), en el sentido de que si las premisas son …

…extensión la [[Validez (lógica)|validez]] o invalidez de los [[Argumento (lógica)|argumento]]s.<ref name=SEP /> …gica es una expresión cuyo significado no varía con cada [[interpretación (lógica)|interpretación]]. …

…cera opción no es posible.<ref>{{Cita libro|título=Filosofia del lenguaje, lógica, filosofia del lenguaje y metafísica|url=https://books.google.com.mx/books? …co". El principio del tercero excluido frecuentemente se confunde con el [[Lógica bivalente|principio de bivalencia]], según el cual toda proposición o bien …

En [[lógica formal]], un '''cuantificador''' es una expresión que indica la cantidad de …la primera teoría coherente sobre la cuantificación y presentó una nueva [[sintaxis]] llamada cuantificadores (<math>\forall</math> y <math>\exist</math>) que …

…res están estrechamente relacionados en su significado con los conceptos [[Lógica|lógicos]] de [[Cuantificador universal|universalidad]] (<math>\forall</math …ación|simplificadas]] como [[Conjunción lógica|conjunción]] o [[Disyunción lógica|disyunción]] de otras expresiones (a no ser que conjuntemos todas las "unid …

{{Ficha de conectiva lógica |otros-nombres = Negación lógica<br>Complemento lógico …

…o fue utilizado por primera vez por [[Gottlob Frege]] en su libro sobre la lógica en 1879, [[Begriffsschrift]].<ref>{{harvnb|Frege|1879}}</ref> …uerdo con las reglas de transformación (regla de inferencia) (es decir, la sintaxis) de un sistema formal dado. …

…en otras disciplinas que involucran [[lenguajes formales]], incluidas la [[lógica matemática]] y la [[informática]], una variable libre es una [[Notación mat …hivo:Binary_math_expression_tree.svg|miniaturadeimagen|Árbol que resume la sintaxis de la expresión <math>\forall x\, ((\exists y\, A(x)) \vee B(z)) </math>]] …

…ral lineal (LTL) es un fragmento de [[Lógica de primer orden|lógica]] de [[Lógica de primer orden|primer orden]].<ref>{{Cita web|url=http://www.lsv.fr/~gasti == Sintaxis == …

…#Pruebas de constituencia|pruebas de constituencia]], que nos revelan la [[sintaxis|estructura sintáctica]] interna de las oraciones. Entre las pruebas de cons …que el hablante, al querer enunciar una [[proposición (lógica)|proposición lógica]], establecía que necesitaba definir un elemento "sujeto" y asignarle un "p …

{{otros usos|este=un concepto en lógica matemática en referencia al [[argumento de la diagonal de Cantor]] en teorí En [[lógica matemática]], el '''[[Lema (matemáticas)|lema]] diagonal''' (también conoci …

…equivalencia entre las fórmulas de lógicas de descripción y expresiones en lógica de predicados de primer orden. …ames), estas lógicas están dotadas con una [[semántica formal]] basada en lógica y tienen características muy importantes como son: …