Resultados de la búsqueda

==Equivalencias lógicas== Equivalencias lógicas que involucran declaraciones condicionales: …

…ente a una de las familias de lógicas subestructurales no [[Lógica clásica|clásicas]] que impone ciertas restricciones en la [[Implicación lógica|implicación]] …ondicional material]] en la lógica clásica veritativo-funcional. Esta idea no es nueva: [[Clarence Irving Lewis]] propuso el [[condicional estricto]], so …

…posible verificar si una proposición es cierta o falsa; en los infinitos, no. …io]]. En contraste, las fórmulas proposicionales en lógica intuicionista ''no'' tienen un valor definitivo de verdad asignado y solo son únicamente consi …

…más directas de la lógica finitaria. Sin embargo, estas no son las únicas lógicas infinitarias que se han formulado o estudiado. …nfatizar una expresión infinitamente larga. En el caso donde esta notación no es clara, la longitud de la secuencia se anota más adelante. Cuando esta no …

…edad de contextos y problemas ha llevado a muchas propuestas diferentes de lógicas probabilísticas.{{Cita requerida}} Hay numerosas propuestas para lógicas probabilísticas: …

…ntuitivamente, la monotonicidad indica que el agregar nuevos conocimientos no reduce el conjunto de las cosas conocidas. Simbólicamente: …cia artificial]], por la gran cantidad de problemas que tienen un carácter no monótono. …

…lidad y pueden ser transformadas en puertas lógicas cuánticas. Las puertas lógicas cuánticas son representadas mediante [[matriz unitaria|matrices unitarias]] Lógica cuántica puede referirse tanto al comportamiento de las puertas lógicas cuánticas como al formalismo para [[mecánica cuántica]] llamado [[lógica cu …

…ca]] (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 verdaderas (bajo una interpret …neral. Pero la acción de la regla de inferencia es puramente sintáctica, y no es necesario preservar ninguna propiedad semántica: cualquier función de co …

…ada de forma axiomática y algebraica por [[Grigore Moisil]], y extendida a lógicas ''n'', valuadas en 1945. …sición se limita a la presentación puramente semántica de algunas de tales lógicas. …

La lógica libre comprende una parte de la [[lógica formal]] no clásica cuyos predicados son procesados de forma análoga a la [[lógica clás …érminos inexistentes de forma que resuelvan un predicado que de otra forma no podría hacerse.{{Cita requerida}} …

…tum algorithm for the Hamiltonian NAND tree, Theory of Computing 4 (2008), no. 1, 169–190, quant-ph/0702144</ref> === Comparación con las caminatas clásicas aleatorias === …

…ción=|página=229|capítulo=}}</ref> Por ejemplo, es verdad que "es de día o no es de día", y que "Algo es blanco …io de no contradicción]] y el [[principio de identidad]], una de las leyes clásicas del pensamiento occidental.<ref>{{Cita enciclopedia |título=laws of thought …

…lado, a la semántica que establece una equivalencia entre las fórmulas de lógicas de descripción y expresiones en lógica de predicados de primer orden. …os demás sistemas de representación ([[redes semánticas]] y frames), estas lógicas están dotadas con una [[semántica formal]] basada en lógica y tienen carac …

…icio verdadero como verdadero en cualquier momento, es decir, ''siempre''. No es lo mismo decir «está lloviendo» que decir «siempre está lloviendo». …pertenecen al grupo de las llamadas «extensiones de la lógica clásica» o «lógicas extendidas» entre las cuales se incluyen además la [[lógica deóntica]], la …

Las lógicas tolerantes a la inconsistencia existen por lo menos desde 1910 (y es posibl …ca clásica]] (como también en [[lógica intuitiva]] y muchos otros tipos de lógicas), las contradicciones implican que todo vale. Esta curiosa característica, …

…o de identidad]] y el [[principio del tercero excluido]], una de las leyes clásicas del pensamiento lógico.<ref>{{cita enciclopedia |título=laws of thought |id …una [[Fórmula bien formada|fórmula]] cualquiera, entonces el principio de no contradicción se expresa como [[tautología]]: …

…ares]] en la habitación están apagados» será [[verdad|cierta]] siempre que no haya ningún teléfono celular en la habitación. En este caso, la declaración …temáticas puras|matemática pura]], las declaraciones vacuamente verdaderas no son generalmente de interés por sí solas, pero frecuentemente surgen como… …

…los juicios humanos, de los argumentos, interesándose sólo por si están o no construidos en consonancia con las reglas de la lógica".<ref name=":2">{{Ci …fenómenos, en la investigación de la esencia dialéctica de las categorías lógicas, “que llega hasta la identidad de los contrarios”.<ref name=":1" /> Según… …

…2010 Edition |sined = sin |editor = Edward N. Zalta}}</ref> El dialeteismo no es en sí mismo un [[sistema lógico]], aunque adherirse al dialeteismo sin… …vez más del uso que hacemos de conceptos básicos como «verdad», y aun así no pueden evitar del todo inconsistencias. …

<li>'''Afirmación incondicional'''. No hay fórmulas antecedentes. # La simetría de las reglas de inferencia clásicas para secuencias con semántica semejante. …