contradicción
31Verdades de razón — Saltar a navegación, búsqueda Una verdad de razón o verdad analítica es una proposición cuyo predicado está implicado lógicamente por las características definitorias del sujeto. Su contenido como verdad válida resulta del análisis de las notas… …
32Distinción analítico-sintético — En lógica y filosofía, la distinción analítico sintético es la distinción entre dos tipos de proposiciones: las proposiciones analíticas y las proposiciones sintéticas. En general, las proposiciones analíticas son aquellas cuyo valor de verdad… …
33Verdad de razón — Una verdad de razón o verdad analítica es una proposición cuya verdad está fundada en la relación de la noción de un sujeto con el/los predicados que se le atribuyen en dicha proposición; de manera que el predicado está lógicamente implicado en… …
34Wikipedia:Café (todos) — Atajos WP:CWP:C …
35imposibilidad — ► sustantivo femenino 1 Falta de posibilidad para que una cosa exista o pueda hacerse: ■ al fin se dio cuenta de la imposibilidad de adquirir una segunda vivienda. SINÓNIMO impotencia incapacidad inviabilidad ANTÓNIMO posibilidad FRASEOLOGÍA …
36Axiomas de Zermelo-Fraenkel — Los axiomas de Zermelo Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos. Normalmente se abrevian como ZF o en su forma más común, complementados por el axioma de… …
37Génesis — Para otros usos de este término, véase Génesis (desambiguación). Génesis Adán y Eva, de Lucas Cranach el Viejo …
38Bien comunal — Se denomina bien comunal o procomún (de pro, provecho, y común) a un determinado ordenamiento institucional en el cual la propiedad está atribuida a un conjunto de personas en razón del lugar donde habitan y que tienen un régimen especial de… …
39Raíz cuadrada de 2 — La raíz cuadrada de 2 es igual a la longitud de la hipotenusa de un triángulo rectángulo cuyos catetos tienen una longitud 1. La raíz cuadrada de 2, también conocida como constante pitagórica, se denota a menudo como: es un …
40Prueba de consistencia — Saltar a navegación, búsqueda En lógica matemática, un sistema formal es consistente si no contiene una contradicción, o, en forma más precisa, no existe una proposición φ tal que se puede demostrar o deducir simultáneamente la proposición φ y su …
