Resultados de la búsqueda

…ente las cláusulas son descritas como una [[disyunción lógica|disyunción]] de literales <math>l_i</math>: …se llama '''cláusula conjuntiva''' a una [[conjunción lógica|conjunción]] de literales: …

{{Reglas de transformación}} …nueva constante o variable simbólica ''c''. La regla tiene la restricción de que los constantes o variables ''c'' introducidas por la regla deben ser nu …

…demás. Los SMT se pueden ver como una forma del [[problema de satisfacción de restricciones]] (CSP) y por tanto crear una aproximación formalizada hacia …blecer subteorías: por ejemplo, la lógica de diferencias es una sub-teoría de la aritmética lineal en la que cada desigualdad está restringida a la forma …

…las atómicas son las fórmulas bien formadas más simples del lenguaje de la lógica. Las fórmulas compuestas (o moleculares) son formadas combinando las fórmul …ables proposicionales]]. En [[lógica de predicados]], son los [[predicado (lógica matemática)|predicado]]s junto con sus argumentos. …

…[[cálculo de predicados]]. Oraciones distintas pueden ser representaciones de la misma proposición, por ejemplo: …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 …

…gebra de Boole|álgebras booleanas]], aplicado al [[álgebra de Lindenbaum]] de una teoría determinada. Se utiliza en la demostración del [[teorema de completitud de Gödel]], entre otras aplicaciones teóricas.  …

…tre dos ''[[aserción (programación)|predicados]]'' del conjunto de estados de un programa. …ue ''R'' sea cierto. Un ejemplo es la siguiente definición de la sentencia de asignación: …

{{Reglas de transformación}} …declaración generalizada cuantificada o proposición existencial. En lógica de primer orden, se utiliza con frecuencia como una regla para el [[cuantifica …

{{Reglas de transformación}} …o en un axioma. Es uno de los principios básicos utilizados en la [[teoría de la cuantificación]]. …

{{Reglas de transformación}} …oore and Parker</ref> '''GEN''') es una [[regla de inferencia]] [[Validez (lógica)|válida]]. Ella establece que si se ha derivado <math> \vdash P(x) </math> …

…e una fórmula (general) pueden asumir diversos valores, el valor verdadero de tal fórmula puede variar. …s se construyen a partir de sentencias atómicas por medio de la aplicación de conectivos y cuantificadores. …

…, la expresión "lógica libre" es una abreviación de "libre de suposiciones de existencia con respecto a sus términos, generales o singulares".{{Cita requ …érmino singular (Lógica)|singulares]] como generales ([[predicado (lógica)|predicados]]).{{Cita requerida}} …

…o está definida o especificada y que por tanto no permite asignar un valor de verdad definido. …ones proposicionales de una sola variable, dadas por las siguientes tablas de verdad: …

…|negación]]. La definición del concepto se halla sobre todo en la [[teoría de la demostración]]. Se pueden considerar dos tipos de variables: …

…otélica#Clasificación de juicios|juicios aristotélicos]], a la sustitución de los términos entre sí. O dicho más claramente cambiar el sujeto por el pred …autogenerated1>Puede consultarse el tema en [[silogismo|problemática de la lógica silogística]]</ref> …

…pdf|título=Formas normales de Skolem y cláusulas|access-date=11 de febrero de 2023}}</ref> …una aplicación de la equivalencia (aplicación perteneciente a la [[lógica de segundo orden]]). …

…tor=Edward N. Zalta |edición=Spring 2009 Edition |fechaacceso=7 de octubre de 2009}}</ref> Así se expande el poder expresivo del lenguaje sin tener que… …].Ya distinguía dos tipos de cuantificaciones diferentes(de variables o de predicados) pero no los separaba como lógicas distintas. …

…marco unificado para la [[especificación formal]], diseño e implementación de [[Programa informático|programas]] y [[Computadora|sistemas informáticos]] …inas=320|url=http://www.unifyingtheories.org/|fechaacceso=17 de septiembre de 2014}}</ref> …

…n el mismo [[Magnitud (matemática)|valor]]. Por ejemplo, la frase «la suma de dos y dos» y la expresión «cuatro» se refieren al mismo objeto matemático, == Origen de la notación == …

…s que las de la lógica de primer orden desde la perspectiva de la [[teoría de modelos]]. …teoría ramificada de tipos» postulada en los ''[[Principia Mathematica]]'' de [[Alfred North Whitehead]] y [[Bertrand Russell]]. A veces también se prete …