Resultados de la búsqueda

…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 == …

…ado, tenemos que la equisatisfactibilidad es distinta de la [[equivalencia lógica]] porque dos fórmulas lógicamente equivalentes siempre tienen los mismos mo En general, el concepto de equisatisfactibilidad se utiliza en la conversión de fórmulas, es decir, se puede afirmar que una conversión es …

…ciones entre los conceptos primitivos en los axiomas, primero, y entre los conceptos primitivos y las [[Definición|definiciones]] y [[Teorema|teoremas]], despué …shing Company, 1974.<!-- Título generado por un bot --></ref> Por ejemplo, en la [[dinámica del punto material|mecánica de partículas clásica]], el senti …

En [[matemáticas]] y [[lógica]], una '''función proposicional''' es una función cuyas variables son propo …stintas de una misma función proposicional. siempre y cuando pueda hacerlo en esta situación se dice que las proposiciones abiertas son '''lógicamente eq …

…o es necesario que el argumento sea válido: lo único relevante es su lugar en el argumento, no su «[[Funciones del lenguaje|papel]]» o función.<ref name= Como en general se argumenta con intención de establecer una conclusión, se suele… …

…obtener estimaciones de retardo en circuitos [[CMOS]] basándose únicamente en la topología del camino [[Sistema combinacional|combinacional]]. …ión booleana|función lógica]], encontrar cuál es la estructura de [[Puerta lógica|puertas lógicas]] que obtiene el menor retardo de propagación. Esta técnica …

…do ampliamente estudiadas y constituyen las extensiones más directas de la lógica finitaria. Sin embargo, estas no son las únicas lógicas infinitarias que se …th> se utilizan para indicar una [[Disyunción lógica|disyunción]] infinita en un conjunto de fórmulas de cardinalidad <math>\delta</math>. La misma notac …

…sición en el contexto de la [[lógica difusa]], y no de la [[Lógica binaria|lógica usual binaria]], que solo admite dos valores: cierto o falso. …ía de los [[subconjunto]]s difusos fue desarrollada por [[Lofti A. Zadeh]] en 1965 con el fin de representar matemáticamente la imprecisión intrínseca de …

En [[filosofía]] se llama '''identidad de los indiscernibles''', o a veces tam …[[propiedad (lógica)|propiedad]]es, entonces ''a'' y ''b'' son idénticos, en referencia, son el mismo objeto.<ref name=Cambridge/> …

…a facultad especial de intuición matemática. Desde este punto de vista, la lógica es el fundamento adecuado de las matemáticas y todas las afirmaciones matem [[Rudolf Carnap]] (1931) presenta la tesis logicista en dos partes:<ref>[[Rudolf Carnap|Carnap, Rudolf]] (1931), "Die logizistische …

…o que hay de verdadero en esos conceptos y ''las demostraciones'' revelan, en forma contundente, la [[verdad]] de esas [[afirmación|afirmaciones]].<ref> …nguaje formal]] propio de los [[sistema formal|sistemas formales]] de la [[lógica matemática]]. …

…luja]] en 1996, en su obra "La gestión interactiva de los recursos humanos en la incertidumbre"<ref name="uno"/>, planteada de la siguiente forma: Este valor, que toma valores desde cero hasta uno, expresa en qué medida un conjunto borroso se adecua a otro, es decir, cuánto parecido …

…cia primaria de [[Aristóteles]].<ref name=autogenerated1 /> Es introducido en el primer [[postulado]] de la teoría de la asociación. …inguido de <math>~S</math>, y <math>\circ</math> una [[operación binaria]] en <math>~S</math>. Entonces la [[Estructura algebraica|estructura]] <math>\va …

…cebidos estos como conceptos que se unen en la [[afirmación]] y se separan en la negación. * Restricción o sea la acepción de un término no en toda la amplitud de su significado. …

…''Bulletin of Advanced Reasoning and Knowledge'' 1:89–109.</ref> Con base en el principio de explosión, todo es [[Demostración matemática|demostrable]] …[[teoría de conjuntos]] y eliminar dichas contradicciones, lo que resultó en la moderna [[Teoría de Zermelo-Fraenkel|teoría de Zermelo-Frenkel]]. …

…la estructura de la [[Prueba formal|argumentación formal]] que tiene la [[lógica deductiva]]. El resultado es un formalismo más rico y más expresivo con una …ca probabilística es una extensión natural de las tablas de verdad de la [[lógica clásica]], pero a diferencia de esta, los resultados que define se derivan …

Un '''primer principio''' es un [[principio]] básico, una [[proposición (lógica)|proposición]] fundamental que como tal no admite [[demostración]] a partir …s conclusiones no violen ninguna leyes fundamentales. Los físicos incluyen conceptos contraintuitivos con reiteración. …

…cepto de [[Simplificación (desambiguación)|simplificación]] utilizado en [[lógica matemática]], [[teoría de modelos]], y [[teoría de la computación]]. Inform …dor lógico|cuantificadores anidados]] son más simples, siendo las fórmulas en las que no aparecen cuanficiadores las más sencillas. …

…iones acerca de la [[Consistencia (lógica)|consistencia]] y [[Completitud (lógica)|completitud]] de la aritmética y la [[teoría de números]]. Los publicó en 1889, en un folleto de unas treinta páginas, intitulado ''Aritmetices principia, nov …

…Filosofía''. Vol. 5–6, p. 76. Macmillan, 1973.</ref><ref>Copi, Irving M. ''Lógica Simbólica''. 5ta ed. Macmillan, 1979. See the Rules of Replacement, pp.… …n símbolo [[metalógica|metalógico]] que representa "puede ser reemplazado en una demostración con." …