Resultados de la búsqueda

…iones de hecho es satisfacible, puede o no terminar en una cantidad finita de pasos una demostración por resolución, generalmente lo que sucede es que se …ones y negaciones lo anterior no supone una limitación del método más allá de transformar proposiciones lógicas. Las proposiciones escritas en esta forma …

{{fusionar en|t=20221103152103|Probador de teoremas lógicos}} …temático|teoremas matemáticos]] mediante [[programa de ordenador|programas de ordenador]]. …

…as de ciertas reglas de manipulación de [[símbolos]] o términos o [[cadena de caracteres]].<ref name="plato.pornografí_1">Weir, Alan: [http://plato.stanf …s]] es [[Verdad lógica|válido]] porque la cadena que representa el teorema de Pitágoras se puede construir usando sólo las reglas establecidas. …

{{Ficha de software | fecha_última_versión = 14 de marzo de 2019 …

{{Ficha de software …acional]], Mathematica es también un poderoso [[lenguaje de programación]] de propósito general. …