Resultats de la cerca
- ↔ ⇔ ≡ Símbols lògics per a representar sii. Si i només si, en lògica i en camps que relacionats amb aquest com les matemàtiques i filosofia, és una connectiva...9 Ko (1.379 paraules) - 18:44, 23 feb 2024
- Un axioma tradicionalment és un argument que, o bé és totalment cert per si mateix, o bé com a mínim segons els coneixements actuals es pot donar per innegable...31 Ko (4.491 paraules) - 03:05, 31 des 2022
- La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera en què aquests codifiquen els...19 Ko (2.258 paraules) - 20:35, 10 des 2023
- En matemàtiques, una demostració, també dita prova, és un raonament lògic que estableix la veritat d'una proposició matemàtica. A partir d'axiomes (suposats...33 Ko (4.322 paraules) - 23:56, 14 gen 2024
- George Boole [buːl] (Lincoln, Lincolnshire, 2 de novembre del 1815 - Ballintemple, Cork, 8 de desembre del 1864), va ser un matemàtic, educador, lògic...26 Ko (3.354 paraules) - 22:23, 11 maig 2024
- En matemàtiques, el sistema de nombres surreals és una classe pròpia totalment ordenada que conté els nombres reals, així com nombres infinits i infinitesimals...79 Ko (11.607 paraules) - 17:20, 22 feb 2024
- En lògica matemàtica, els teoremes d'incompletesa de Gödel són dos cèlebres teoremes demostrats per Kurt Gödel l'any 1930. Simplificant, el primer teorema...46 Ko (6.244 paraules) - 17:42, 15 març 2024
- La demostració per inducció en matemàtica és un tipus de demostració que s'aplica quan un cas base és provat i una regla d'inducció és usada per provar...3 Ko (456 paraules) - 19:10, 26 març 2024
- En el seu significat més simple en matemàtiques i lògica, una operació és una acció o procediment que produeix un valor nou a partir d'un o més valors...6 Ko (908 paraules) - 17:58, 29 juny 2021
- A l'entorn de la lògica, ser Condició necessària i suficient descriu la relació que mantenen dues proposicions o estat de les coses, si una és condicionant...6 Ko (953 paraules) - 12:31, 6 abr 2023
- Normalment, en matemàtiques i ciències de la computació, una forma canònica (sovint denominada forma normal o forma estàndard) d'un objecte matemàtic és...9 Ko (816 paraules) - 23:41, 26 des 2023
- Quod erat demonstrandum o la seva abreviació Q.E.D. és una locució llatina que significa: "tal com volíem veure", "tal com es volia demostrar". L'expressió...2 Ko (191 paraules) - 17:13, 30 gen 2022
- Es denomina funció lògica o booleana aquella funció matemàtica les variables de la qual són binàries i el resultat es calcula aplicant-los els operadors...14 Ko (1.783 paraules) - 18:39, 28 abr 2024
- L'intuïcionisme és una escola de la lògica matemàtica que estableix que les matemàtiques tenen prioritat sobre la lògica; els objectes matemàtics són construïts...2 Ko (161 paraules) - 17:48, 18 des 2021
- El càlcul lògic o derivació lògica és un algorisme que permet còmoda i fàcilment inferir o deduir un enunciat veritable a partir d'un altre o altres que...43 Ko (4.470 paraules) - 18:45, 16 gen 2024
- La teoria de la demostració és una branca de la lògica matemàtica que tracta amb l'estructura de les demostracions matemàtiques i la potència expressiva...8 Ko (900 paraules) - 01:17, 30 des 2022
- Una condició, en lògica matemàtica, és una relació que mantenen dues proposicions o estat de les coses, o entre una i part o tot el seu medi, entorn o...1 Ko (155 paraules) - 23:03, 4 feb 2024
- Per al recurs literari, vegeu Enumeració. En matemàtica i informàtica teòrica, la definició més àmplia i més abstracta d'una enumeració d'un conjunt és...1 Ko (150 paraules) - 15:00, 10 des 2020
- En lògica booleana, una fórmula està en forma normal conjuntiva (FNC) si correspon a una conjunció de clàusules, on una clàusula és una disjunció de literals...5 Ko (677 paraules) - 18:22, 17 set 2023
- En lógica booleana, una fórmula està en forma normal disjuntiva (FND) si correspon a una disjunció de clàusules conjuntives, on una clàusula conjuntiva...2 Ko (179 paraules) - 18:54, 17 set 2023