Resultaos de la busca

…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 …

…búscase qué consecuencies lóxiques porten un conxuntu d'axomes, y de fechu en dellos casos optar por introducir un axoma o bien el so contrariu, viendo… En [[lóxica]] un postuláu ye una proposición non necesariamente evidente: una [[fórmula …

…oría científica]] ye un sistema conceptual lóxicu compuestu d'[[hipótesis (lóxica)|hipótesis]], [[Definición|definiciones]] y [[teorema|teoremes]] rellaciona …l ye un [[Constructo (epistemoloxía)|constructo]] compuestu por [[conceutu|conceutos]] de cuatro distintos tipos: …

…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 cola manera nel que codifican o [[definición (matemática)|definen …

…elementos más simples representen proposiciones, y que les sos [[Constante lóxica|constantes lóxiques]], llamaes [[conectivas lóxiques]], representen [[Opera …ncia lóxica]] de proposiciones a partir de proposiciones, pero ensin tener en cuenta la estructura interna de les proposiciones más simples.<ref name="ie …

…toes la matemática y les ciencies naturales, y úsase anguaño práuticamente en toles cañes de la matemática. Amás, a lo llargo de la historia, los alxebri …Boole]]-. Darréu, fueron axiomatizadas y depués estudiaes de mesmu derechu en dichu marco. Por eso, esta materia tien numberoses y granibles conexones co …

…pretación|interpreten]] un conxuntu ampliu d'[[observador|observaciones]], en función de los [[axoma|axomes]] o principios, supuestos y [[postuláu|postul Ye bien difícil esplicar en detalle qué constitúi una teoría nun siendo que se especifique l'ámbitu de …

…xeneráu por un bot --></ref> Según el contestu, esisten dellos [[conceutu|conceutos]] de nada. La necesidá d'esti conceutu ye una estorbisa pal [[Realismu filo == La nada en filosofía == …

…osición|proposiciones]] [[Independencia (lóxica matemática)|indecidibles]] en ciertes teoríes [[aritmética|aritmétiques]]. …ular, la conclusión del teorema aplícase siempres que la teoría aritmética en cuestión sía recursiva, esto ye, una teoría na que'l procesu de deducción… …

…] según la cual la resultancia d'operar dos elementos nun depende del orde en que se tomen. Esto cumplir na [[Adición (matemática)|adición]] y la [[multi …en toes elles caltiénse la conmutatividá. Esta propiedá tamién se satisfai en munches otres operaciones, como la suma de vectores, polinomios, matrices, …

…spondiente a l'aición de calcular. '''Calcular''', pela so parte, consiste en realizar les operaciones necesaries pa prever la resultancia d'una aición… …[[razonamientu]] ye'l primer cálculu elemental del ser humanu. El cálculu en sentíu lóxicu-matemáticu apaez cuando se toma conciencia d'esta capacidá de …

…[[Topoloxía alxebraica]], por [[Samuel Eilenberg]] y [[Saunders Mac Lane]] en 1942, nun importante pasu pa la transición dende [[Homoloxía (matemática)|h …con munches carauterístiques nueves que daben pie a una cierta flexibilidá en semántica y lóxiques d'orde cimeru- vieno más tarde. …

En [[matemátiques]], un '''númberu natural''' ye cualesquier de los númberos… onde la '''{{unicode|ℕ}}''' de ''natural'' suelse escribir en "[[Blackboard bold|negrina de cayuela]]". …

…ignu o mediu d'espresión al que s'atribúi un [[significáu]] convencional y en que la so xénesis atopar la semeyanza, real o imaxinada, colo significao.… …ales astractes. Sistemes de notación capaces de tresmitir el significáu de conceutos, pallabres o soníos simples. …

…de la función ta dibuxada en colloráu; la tanxente a la curva ta dibuxada en verde).|280x280px]] …a [[Llende matemática|llende]] de la rapidez de cambéu media de la función en ciertu intervalu, cuando l'intervalu consideráu pa la variable independient …

…ma a siguir mientres munchos sieglos: la [[xeometría euclidiana]] descrita en ''[[Los Elementos]]''. == La xeometría en Babilonia == …

…ealidá]]es: los [[Fechu científicu|fechos]] o la [[cosa (ontoloxía)|cosa]] en particular; según la rellación de los fechos o les coses na so [[totalidá]] * Con qué [[condición (lóxica)|criteriu]] podemos identificala y [[definición|definila]]. …

…ponents stress tensor cartesian.svg|thumb|300px|Un tensor de segundu orde, en tres dimensiones.]] …cierta clase d'entidá alxebraica de dellos componentes, que xeneraliza los conceutos d'[[esguilar (matemática)|esguilar]], [[espaciu vectorial|vector]] y [[Matr …

En [[matemátiques]], el conxuntu de los '''númberos reales''' (denotado por {{ …ue finalmente asocedió cola definición rigorosa fecha por [[Georg Cantor]] en [[1871]]. …

…combinatorios surden en munches árees de la matemática pura, especialmente en [[álxebra]], [[teoría de probabilidaes]], [[topoloxía]] y [[xeometría]], y …ideraes aislladamente, dando una solución fayadiza a un problema que surde en dalgún contestu matemáticu. A finales del [[sieglu XX]], sicasí, desenvolvi …