Resultaos de la busca
Saltar a navegación
Saltar a la gueta
Coincidencies de los títulos de la páxina
- …onexones coles [[ciencies de la computación]] y cola [[Filosofía analítica|lóxica filosófica]]. La lóxica matemática estudia los [[Sistema formal|sistemes formales]] en rellación co …28 kB (4633 pallabres) - 09:22 10 xin 2024
- …elementos más simples representen proposiciones, y que les sos [[Constante lóxica|constantes lóxiques]], llamaes [[conectivas lóxiques]], representen [[Opera …e dientro d'esti tipu de lóxica puede analizase la [[inferencia|inferencia lóxica]] de proposiciones a partir de proposiciones, pero ensin tener en cuenta la …42 kB (7297 pallabres) - 08:33 19 set 2024
Coincidencies del testu de la páxina
- …|estructures alxebraiques]] que "capturen la esencia" de les operaciones [[lóxica|lóxiques]] Y, O y NON, asina como'l conxuntu d'operaciones [[Unión de conxu …legar les [[álxebra|téuniques alxebraiques]] pa tratar espresiones de la [[lóxica proposicional]]. Anguaño l'alxebra de Boole emplégase en diseñu de circuito …7 kB (1141 pallabres) - 09:04 10 avi 2024
- …ue al ser rellacionaes como astracciones, dexen trazar una [[implicación]] lóxica. …, parte de lo verdadero a lo falso: '''[[posible]]''' (como ''[[hipótesis (lóxica)|hipótesis]]'') o '''conocida''' (como ''[[argumentu]]'') de dalguna o dalg …13 kB (1970 pallabres) - 12:02 25 och 2023
- |∧ ([[conxunción lóxica]], ''y'' lóxico) |∨ ([[dixunción lóxica]]) …3 kB (452 pallabres) - 09:43 10 pay 2020
- …ncia. Na [[lóxica proposicional]] ye una [[regla de reemplazu]] [[Validez (lóxica)|válida]] n'[[Fórmula Bien Formada|espresiones lóxiques]] usaes en [[Prueba == En lóxica proposicional == …8 kB (1227 pallabres) - 13:03 6 pay 2024
- …unciones]], [[figures xeométriques]],...; y xunto cola [[lóxica matemática|lóxica]] dexa estudiar los fundamentos d'aquella. Na actualidá acéptase que'l conx …os razonamientos y téuniques sofitar en gran midida na [[lóxica matemática|lóxica]]. …8 kB (1221 pallabres) - 20:11 17 avi 2024
- …g/index.php?title=Axioma Definición d'axoma en Symploke.]</ref> Asina en [[lóxica]] y [[matemátiques]], un '''axoma''' ye namái una premisa que s'asume, con En [[lóxica]] un postuláu ye una proposición non necesariamente evidente: una [[fórmula …12 kB (1980 pallabres) - 08:42 17 avi 2024
- …[[raciociniu|razonamientu]].<ref>Gutiérrez, S. R. (1998) Introducción a la lóxica. ed. esfinxe</ref> …n argumentu son: la [[consistencia (lóxica)|consistencia]] y [[coherencia (lóxica)|coherencia]]; entendiendo por tal el fechu de que'l conteníu de la espresi …14 kB (2310 pallabres) - 17:04 10 avi 2024
- …ye una '''rellación d'equivalencia''' si cumple les siguientes [[propiedá (lóxica)|propiedá]]es: En [[lóxica de clases]] y [[analís matemáticu]], la rellación d'equivalencia <math>\mat …7 kB (1228 pallabres) - 08:44 19 mar 2024
- …onexones coles [[ciencies de la computación]] y cola [[Filosofía analítica|lóxica filosófica]]. La lóxica matemática estudia los [[Sistema formal|sistemes formales]] en rellación co …28 kB (4633 pallabres) - 09:22 10 xin 2024
- | [[Lóxica matemática]] …lóxica colos valores binarios pa verdaderu y falsu. Ente que la inferencia lóxica y prueba matemática esistieren na antigüedá, en 1931 [[Kurt Gödel]] demostr …10 kB (1517 pallabres) - 09:07 27 ago 2024
- …elementos más simples representen proposiciones, y que les sos [[Constante lóxica|constantes lóxiques]], llamaes [[conectivas lóxiques]], representen [[Opera …e dientro d'esti tipu de lóxica puede analizase la [[inferencia|inferencia lóxica]] de proposiciones a partir de proposiciones, pero ensin tener en cuenta la …42 kB (7297 pallabres) - 08:33 19 set 2024
- …|década de 1940]] pa ilustrar un problema onde la [[Razonamientu_inductivu|lóxica inductiva]] desafía a la [[intuición]]. Esta paradoxa conozse tamién como… Agora bien, l'afirmación "tolos cuervos son negros" ye equivalente en [[lóxica]] a l'afirmación "toles coses non-negres son non-cuervos"{{ensin referencie …8 kB (1351 pallabres) - 10:55 26 ago 2024
- …razonamientu que dexa [[Demostración matemática|demostrar]] [[proposición (lóxica)|proposiciones]] que dependen d'una variable <math>n\,</math> que toma una :El númberu enteru <math>a\,</math> tien la [[propiedá (lóxica)|propiedá]] <math>P\,</math>. El fechu de que cualquier númberu enteru <mat …9 kB (1506 pallabres) - 14:25 17 avi 2024
- …{{DALLA|teoría}}</ref> (del griegu θεωρία ''theōría'') ye un [[sistema]] [[lóxica|lóxicu]]-[[razonamientu deductivu|deductivu]]<ref>L'ideal d'una teoría cien …mentales]] convertir en '''teoríes científiques''' aceptaes como [[validez lóxica|epistemológicamente válides]] pola [[comunidá científica]]. Güei día les te …25 kB (4152 pallabres) - 17:46 27 feb 2025
- …acionaos cola esistencia de [[proposición|proposiciones]] [[Independencia (lóxica matemática)|indecidibles]] en ciertes teoríes [[aritmética|aritmétiques]]. …rales]] y l'aritmética con abonda espresividá, ye al empar [[consistencia (lóxica)|consistente]] y [[Completitud semántica|completa]]. Esto ye, si los [[axom …37 kB (6134 pallabres) - 20:10 17 avi 2024
- …sistemáticu de la álxebra dexó a los matemáticos llevar so una descripción lóxica común conceutos aparentemente distintos. Por casu, podemos considerar dos… …5 kB (747 pallabres) - 16:05 14 och 2024
- …especial importancia na [[Universidá d'Oxford]] nel sieglu XIV.<ref>Ver [[lóxica empírica]]</ref> La idea d'un llinguaxe o algoritmu capaz de determinar tol …física, que la so comprobación [[esperimentu|esperimental]]<ref>Vease en [[Lóxica empírica]] la so aplicación por Galileo al movimientu de cayida llibre de… …37 kB (5902 pallabres) - 13:05 4 avi 2024
- …escasos recursos. Tuvo especialmente interesáu nes [[matemátiques]] y la [[lóxica]]. John dio al so fíu les sos primeres lleiciones, pero l'estraordinariu ta Magar que Boole publicó pocu, sacante la so lóxica y obres matemátiques, la so conocencia de la [[lliteratura]] polo xeneral… …29 kB (4610 pallabres) - 16:48 11 mar 2025
- …la implicación lóxica]], que consiste en determinar cuándo una proposición lóxica ye un [[teorema]]; pa esti problema nun hai nengún algoritmu qu'en tolos ca …10 kB (1641 pallabres) - 07:35 16 xin 2024
- …dá o la non conmutatividá son relevantes n'otros campos cercanos como la [[lóxica proposicional]] y delles operaciones de [[teoría de conxuntos]], y en delle === Lóxica proposicional === …30 kB (4791 pallabres) - 12:12 8 avi 2024