Resultados de la búsqueda

La existencia de un árbol de Suslin es [[Independencia (lógica matemática)|lógicamente independiente]] de los [[axiomas de Zermelo-Fraenke [[Categoría:Independencia lógica]] …

El axioma del conjunto potencia (CP) es [[independencia lógica|independiente]] del resto de axiomas de la [[axiomas de Zermelo-Fraenkel|te …966|editorial=W.A. Benjamin|idioma=inglés|oclc=291078}} En II.2 discute la independencia del axioma. …

== Independencia == *{{obra citada|apellidos=Ivorra|nombre=Carlos|título=Lógica y teoría de conjuntos|url=http://www.uv.es/ivorra/Libros/Logica.pdf|fechaac …

…ierta fórmula arbitraria {{math|''φ''}}, debido a la incapacidad del [[lógica de primer orden|lenguaje formal]] de cuantificar sobre las «relaciones» ent == Independencia == …

El axioma de unión (AU) es completamente [[independencia lógica|independiente]] del resto de [[axiomas de Zermelo-Fraenkel]] (ZF). En la gr …-009-0163-1|año=2009}} En este artículo se presenta una demostración de la independencia del axioma de unión. …

…encia funcional''' aparece en varios contextos de la [[matemática]] y la [[lógica]] (teniendo una importante aplicación en [[Base de datos relacional|bases… …ependencia funcional es una generalización del concepto de [[Dependencia e independencia lineal|dependencia lineal]]. Se dice que un conjunto de funciones es '''fun …

…udiar en sí mismos los conjuntos de axiomas, su completitud, consistencia, independencia mutua, y permiten introducir un importante número de cuestiones [[metalógic Informalmente, una [[teoría (lógica)|teoría matemática]] está formada por un conjunto de teoremas y axiomas. Lo …

…contemplan únicamente ''Verdadero'' o ''Falso''. La idea fundamental de la lógica trivalente fue formulada por [[Jan Łukasiewicz|Łukasiewicz]], [[C. I. Lewis Ya en 1902 [[Charles Sanders Peirce|Charles Peirce]] observó que la lógica bivalente constituye apenas la hipótesis más simple. Para muchas situacione …

…cada término significa una [[propiedad (lógica)|propiedad]] como una clase lógica.</ref> …l; cualidad negativa (''Algún S no es P'').<ref>En la lógica actual, de la lógica de clases, se suele expresar como ''S no es P''. Véase diferencia en la for …

La '''falacia de la conjunción''' es una [[falacia]] [[lógica]] que consiste en asumir que una situación específica es más probable que… …iría ''Pr'' (Linda es una feminista) = 0,95, entonces asumiendo en forma [[independencia|independiente]], ''Pr'' (Linda es una cajera de banco y Linda es una femi …

…T]] o compuerta NOT, es una [[puerta lógica]] que implementa la [[negación lógica]] . A la derecha se muestra la [[tabla de verdad]]. Siempre que su entrada El concepto de puerta lógica tiene su generalización en el marco de la [[Teoría de la información|inform …

…''₁ y ''S''₂ de probabilidad no nula no pueden ser [[Independencia (probabilidad)|independientes]] ya que: mientras que la independencia requeriría que: …

…ma axiomático deductivo en symploke]</ref> y el sistema axiomático de la [[lógica proposicional]]. …etría]]. Al mismo tiempo, [[Aristóteles]] aporta el primer enfoque de la [[lógica formal]] en el ''[[Órganon]]'', recogiendo diversos axiomas de [[Platón]]… …

De la normalización (lógica) a la implementación (física o real) puede ser sugerible tener estas depend * Debe existir una independencia del orden tanto de las filas como de las columnas; es decir, si los datos… …

En [[filosofía]] y [[lógica]], el término '''proposición''' se usa para referirse a:<ref name="SEP">{{c …asignarle un valor de verdad (usualmente «verdadero» o «falso», aunque en lógica formal se admiten otros valores de verdad diferentes).<ref>{{cita libro|ape …

…[Kurt Gödel]] y [[Paul Cohen]] demostraron que es de hecho [[independencia lógica|independiente]] de los [[axiomas de Zermelo-Fraenkel]], el conjunto de axio == Historia. Independencia == …

* Independencia de alternativas irrelevantes. …n individuos que determinen la ordenación de las preferencias sociales con independencia de las preferencias del resto) y el '''principio de no-imposición''' (la or …

…rayectoria entre dos puntos no cambia el valor de la integral de línea. La independencia de la trayectoria de la integral de línea es equivalente a que el campo vec …enciable es suficiente, ya que el [[Teorema del gradiente]], que prueba la independencia de trayectoria de <math>\nabla \varphi</math>, no requiere que <math>\varph …

puesto que el símbolo <math>\le </math> es una [[disyunción lógica]] (menor ''o'' igual) que contempla ya el caso de igualdad …ara el caso1 < ''p'' &lt; ∞ si y sólo si ''f'' y ''g'' son positivamente [[Independencia lineal|linealmente dependientes]] (que significa que ''f'' = ''λg'' o ''g'' …

…mportantes como [[John Thompson]], quien le transmitió su interés por la [[lógica]]. Los dos trataron bastante ese tema con otros amigos, e incluso Cohen se …só una técnica llamada “[[forzado (matemáticas)|forcing]]”, para probar la independencia en el conjunto de teorías de elección de axioma y la [[hipótesis del contin …