Resultados de la búsqueda

…r [[Haskell Curry]], la '''paradoja de Curry''' ocurre en [[teoría ingenua de conjuntos]] o en lógicas ingenuas. …'X''', entonces se tiene que '''X''' afirma «Si X es verdad, entonces Y es verdad». …

…iencia de computadores''), O (en [[notación polaca]], Opq) y el símbolo de la tachuela '''⊥'''. …proposicional (ej. un conectivo nulo, ⊥) es introducida y cuyo valor de la verdad es siempre falso. Esto puede tratarse como una proposición absurda y suele …

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

…n general de «campo cognitivo» y finaliza en la caracterización particular de «ciencia».<ref name="Vaya Timo">Bunge, M. (2010) ''Las pseudociencias, ¡vay …izadas o un trasfondo específico y con una colección de datos, hipótesis y teorías actualizados y razonablemente confirmados.<ref name="Vaya Timo" /> …

…ón |url=https://www.worldcat.org/oclc/427520428 |fechaacceso=28 de febrero de 2019 |fecha=2007 |editorial=Plaza y Valdés |isbn=9788496780194 |página=229 …mas y las reglas de deducción. El aparataje anterior define la sintaxis de la teoría. …

…l [[diagrama de bifurcación]] para la aplicación logística cuya [[relación de recurrencia]] es simplemente <math>\scriptstyle x_{n+1} = r x_n (1-x_n)</ma …predecir algo es «anunciar por revelación, ciencia o conjetura algo que ha de suceder».<ref>''[http://buscon.rae.es/draeI/SrvltGUIBusUsual?TIPO_HTML=2&TI …

…Fórmula bien formada|fórmula]] y su negación. La existencia de un [[teoría de modelos|modelo]] implica que una teoría lógica es consistente. …junto]]s de [[Fórmula bien formada|fórmulas]]. Intuitivamente, un conjunto de fórmulas es consistente cuando no es posible deducir una contradicción del …

…''C''^op. La '''dualidad''' como tal es la afirmación de que la verdad es un invariante bajo esta operación en las proposiciones. En otras palabra …stá en dualidad con ''C'' si ''D'' y ''C''^op son [[Equivalencia de categorías|categorías equivalentes]]. …

…sido ampliamente estudiadas y constituyen las extensiones más directas de la lógica finitaria. Sin embargo, estas no son las únicas lógicas infinitarias == Notación y axioma de elección == …

…temática en referencia al [[argumento de la diagonal de Cantor]] en teoría de conjuntos y números|para= otros usos|diagonal (desambiguación)}} …diagonal''' (también conocido como '''lema de diagonalización''', '''lema de autorreferencia'''<ref>{{cite book …

…de la teoría que clasifica a los eventos físicos respecto a un observador de acuerdo con dicha teoría.]] …ncipios, supuestos, [[postulado]]s y consecuencias lógicas congruentes con la teoría. …

…[semántica]] formal. En términos coloquiales, el teorema establece que "la verdad aritmética no se puede definir en aritmética".<ref>Cezary Cieśliński, "How …]] suficientemente fuerte, y demuestra que la verdad en el modelo estándar de un sistema no se puede definir dentro del propio sistema. …

…Dummett]]. El término fue acuñado como un argumento en contra de una forma de [[Realismo filosófico|realismo]] que Dummett vio como "reduccionismo incolo …ntuicionista]], en oposición directa a la noción realista de que la verdad de una afirmación se basa en su correspondencia con una realidad externa.<ref> …

{{Ficha de libro |Pie de imagen=Página de título de ''Die Grundlagen der Arithmetik'' …

{{Reglas de transformación}} …|conjunciones]] y [[disyunción lógica|disyunciones]] puramente en términos de vía negación. …

* Las entidades portadoras de los [[Valor de verdad|valores de verdad]].<ref name=SEP/> * Los objetos de las creencias y de otras actitudes proposicionales.<ref name=SEP/> …

…deducciones lógicas válidas, se dice que las premisas implican (infieren) la conclusión. …nica |url=http://search.eb.com/eb/article-9034889 |fechaacceso=3 de agosto de 2009 |idioma=inglés}}</ref> …

…istemas formales, sin embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.]] …erdad se demuestra. En [[matemáticas]], es toda proposición que, partiendo de un supuesto ([[hipótesis (lógica)|hipótesis]]), afirma una racionabilidad… …

…to fundamental no-suprimible) se ve como un [[superfluido]] o [[condensado de Bose-Einstein|BEC]]. …físico es prácticamente desconocida y está sujeta a estudios intensivos en la Teoría del Vacío Superfluido. …

…[[sistema lógico]], aunque adherirse al dialeteismo sin aceptar algún tipo de [[lógica paraconsistente]] es básicamente aceptar cualquier cosa. …l]]) se alejan cada vez más del uso que hacemos de conceptos básicos como «verdad», y aun así no pueden evitar del todo inconsistencias. …