Resultados de la búsqueda
Ir a la navegación
Ir a la búsqueda
Resultados por título de página
- …matemática]], un '''literal''' es una [[fórmula atómica]] o su [[Negación lógica|negación]]. La definición del concepto se halla sobre todo en la [[teoría… Dicho de otra manera, en un conjunto de [[Cláusula (lógica)|cláusulas]] <math>S</math>, un literal es puro si en ese conjunto no hay… …6 kB (939 palabras) - 06:29 6 ago 2024
Resultados por texto de página
- …osicional]], normalmente las cláusulas son descritas como una [[disyunción lógica|disyunción]] de literales <math>l_i</math>: Análogamente, se llama '''cláusula conjuntiva''' a una [[conjunción lógica|conjunción]] de literales: …1 kB (176 palabras) - 17:33 5 ago 2019
- {{Ficha de conectiva lógica …rmación lógica''' es la presentación de una [[proposición]] o [[Predicado (lógica)|predicado]] lógico como su afirmación o su consideración como verdad ciert …2 kB (283 palabras) - 00:43 10 ago 2024
- En [[lógica matemática]], una '''aserción lógica''' es una afirmación que asevera que una [[premisa]] es verdadera. [[Categoría:Lógica matemática]] …613 bytes (91 palabras) - 13:07 1 ago 2019
- …binarias pueden expresarse con la negación alterna, sin usar la [[Negación lógica|negación]] simple. Se denota simbólicamente por {{ecuación|<math> e \uparro * Irving M. Copi. ''Lógica Simbólica''. CECSA, México D.F., 2001 ISBN 968-26-0134-7 …1 kB (202 palabras) - 06:33 18 jul 2019
- …ógica matemática]], el '''teorema de Löb''' establece que en una [[teoría (lógica)|teoría]] con [[Axiomas de Peano|aritmética de Peano]], para cualquier fórm == El teorema de Löb en la lógica demostrativa == …2 kB (312 palabras) - 08:14 2 ago 2019
- …ue los [[axiomas de Peano]] de la [[aritmética]] pueden ser derivados en [[lógica de segundo orden]] a partir del [[principio de Hume]]. Fue demostrado infor …Crispin Wright]] a comienzos de 1980. En el ámbito de la [[filosofía de la matemática]] se conoce como neo-[[logicismo]]. …2 kB (251 palabras) - 13:25 5 ago 2019
- {{Fusionar|Lógica binaria}} …e verdad]] para sus [[enunciado]]s ([[premisa]]s y [[conclusión]]). En la lógica bivalente, una proposición solo puede ser verdadera o falsa, no existen val …2 kB (336 palabras) - 22:57 3 may 2022
- {{Ficha de conectiva lógica …deductivo|razonamiento formal]], la '''adjunción Lógica''' o '''[[Negación lógica|negación]] de la [[implicación]]''' ( <math> \nrightarrow </math> ) entre… …2 kB (313 palabras) - 18:24 12 ago 2024
- …[Consistencia (lógica)|teoría consistente]] de [[Lógica de primer orden|la lógica de predicados]] puede extenderse a una [[teoría completa]] y consistente.… [[Categoría:Lógica matemática]] …2 kB (260 palabras) - 19:06 7 ene 2025
- == Lógica, lingüística, gramática == * '''[[Argumento (lógica)]]''', un conjunto de premisas seguidas por una conclusión. …2 kB (360 palabras) - 04:06 29 abr 2019
- …njunto]] (posiblemente [[infinito]]) de [[fórmulas bien formadas]] de la [[lógica de primer orden]] tiene un [[Teoría de modelos|modelo]] si todos sus subcon …n el sentido previamente explicado, otras lógicas "más potentes" como la [[lógica de segundo orden]] no tienen la propiedad de compacidad. …3 kB (420 palabras) - 12:21 19 abr 2024
- {{Ficha de conectiva lógica …ductivo| razonamiento formal]], la '''adjunción opuesta''' o '''[[Negación lógica|negación]] de la [[implicación opuesta]]''' ( <math> \nleftarrow </math> ) …2 kB (327 palabras) - 15:48 27 nov 2023
- {{Ficha de conectiva lógica |puerta-lógica = [[Archivo:NAND ANSI Labelled.svg]] …3 kB (423 palabras) - 15:55 27 nov 2023
- …ado, tenemos que la equisatisfactibilidad es distinta de la [[equivalencia lógica]] porque dos fórmulas lógicamente equivalentes siempre tienen los mismos mo …gica proposicional]] a la lógica proposicional en la que toda [[Disyunción lógica|disyunción]] binaria <math>a \vee b</math> es sustituida por <math>((a \vee …2 kB (315 palabras) - 17:27 30 dic 2023
- …o su [[Negación lógica|negación]] lo es. Es decir, para toda [[Sentencia (lógica)|sentencia]] <math>\varphi,</math> <math>T \vdash \varphi</math> o <math>T …letitud'' es distinto de la noción de [[Completitud (lógica)|''completitud lógica'']], que afirma que todas las declaraciones semánticamente válidas son teor …3 kB (423 palabras) - 22:22 7 ene 2025
- …las atómicas son las fórmulas bien formadas más simples del lenguaje de la lógica. Las fórmulas compuestas (o moleculares) son formadas combinando las fórmul …roposicionales]]. En [[lógica de predicados]], son los [[predicado (lógica matemática)|predicado]]s junto con sus argumentos. …4 kB (627 palabras) - 03:57 25 jul 2023
- {{Ficha de conectiva lógica |puerta-lógica = [[Archivo:NOR ANSI Labelled.svg]] …2 kB (346 palabras) - 22:57 31 ene 2025
- Se denomina '''sistema combinacional''' o '''lógica combinacional''' a todo [[sistema lógico]] en el que sus salidas son funció En [[electrónica digital]] la lógica combinacional está formada por ecuaciones simples a partir de las operacion …2 kB (364 palabras) - 23:50 24 may 2024
- …te otra fórmula mediante [[Razonamiento deductivo|deducciones]] [[Validez (lógica)|válidas]]. Es decir, en la demostración de una fórmula, las hipótesis son En [[matemática]] una hipótesis es una [[conjetura]]. …2 kB (300 palabras) - 23:36 8 feb 2024
- …se conocen como fórmulas '''lógicamente válidas''' (que tienen '''validez lógica''').<ref>Véase por ejemplo: {{cita libro |apellido=Hunter |nombre=Geoffrey …ica que cualquier instanciación de una verdad lógica es también una verdad lógica.<ref name=SEP/> Que sean necesarias significa que es imposible que sean fal …4 kB (667 palabras) - 02:12 29 feb 2024