Resultados de la búsqueda

{{Ficha de conectiva lógica |diagrama-de-venn = Diagrama de Venn 08.svg …

{{Ficha de conectiva lógica |diagrama-de-venn = Diagrama de Venn 14.svg …

{{Ficha de conectiva lógica |diagrama-de-venn = Diagrama de Venn 17.svg …

{{Ficha de conectiva lógica |diagrama-de-venn = Diagrama de Venn 19.svg …

{{Ficha de conectiva lógica |diagrama-de-venn = Diagrama de Venn 10.svg …

…en su semántica. Así pues, casi no hay consenso sobre ningún aspecto de la lógica imperativa. == El dilema de Jørgensen == …

…so=25 de mayo de 2020|apellido=Kolesnicov|nombre=Patricia|fecha=28 de mayo de 2019|sitioweb=www.clarin.com|idioma=}}</ref> …ente ese libro».<ref name=otherinquisitions>Apertura del ensayo ''Avatares de la Tortuga'' por José Luis Borges</ref> …

…obre la [[Teoría de la demostración| demostración]] de la [[Característica de Euler]]; tal como es definida para un [[poliedro]]. …ulación (filosofía)|especulación]] y a la [[crítica]], siguiendo la lógica de pruebas y refutaciones». …

…x|[[Nicolas Bourbaki]]. Primer tomo de la nueva edición de los ''Elementos de matemática'', 1970, Hermann.]] …imero en forma de fascículos, después como volúmenes relacionados. A causa de desacuerdos con el editor, la publicación fue retomada en los años 1970 por …

…que premier ordre.png|miniaturadeimagen|Fórmula del teorema de completitud de Gödel.]] El '''teorema de completitud de Gödel''' es un importante teorema de la [[lógica matemática]], que fue demostrado por primera vez por [[Kurt Gödel]] en 1929 …

{{Ficha de libro | pie de imagen = La página del título de la edición original de 1879 …

{{Distinguir|Consecuencia lógica|Implicación|Condicional estricto}} {{Ficha de conectiva lógica …

…ma axiomático deductivo en symploke]</ref> y el sistema axiomático de la [[lógica proposicional]]. …de la [[lógica formal]] en el ''[[Órganon]]'', recogiendo diversos axiomas de [[Platón]] y otros filósofos. …

…referencia (un objeto al que se refiere) y un sentido (una forma de hablar de ese objeto). …de estas expresiones incluye algo más, a lo que Frege llama el ''sentido'' de las expresiones. …

…marco unificado para la [[especificación formal]], diseño e implementación de [[Programa informático|programas]] y [[Computadora|sistemas informáticos]] …inas=320|url=http://www.unifyingtheories.org/|fechaacceso=17 de septiembre de 2014}}</ref> …

…y variables ligadas, respectivamente. La idea es relacionar a un marcador de posición (un [[símbolo]] que después será reemplazado por algún valor) o un …ca|función]] que no son [[Variable local|variables locales]] ni parámetros de esa función. El término variable no local es a menudo un sinónimo en este… …

…de los conjuntos <math> A_1, \ldots , A_n</math>, llamados el ''esquema'' de la relación: La relación indica si los elementos de los conjuntos están relacionados entre sí, es decir, si cada posible tupla …

…ría de la demostración es uno de los «cuatro pilares» de los [[fundamentos de las matemáticas]].{{cr}} …os matemáticos, escribir una demostración completamente formal es un gasto de tiempo innecesario como para ser práctica común. …

{{Ficha de libro | Pie de imagen = Frontispicio de la edición de 1690 …

…mbre de acción del verbo "noscere" (conocer, notar) con el sentido "acción de conocer" o "acto del conocimiento" (anteriormente "gnoscere"). …to de un "hecho" o de "algo", pero no se entra de lleno en el conocimiento de esto en profundidad. …