Resultats de la busca

¡Crea la pàgina "Llògica formal" en L'Enciclopèdia en valencià!

• Conseqüència llògica
  …de la relació de conseqüència llògica són que és ''necessària'' i ademés ''formal''. [[Categoria:Llògica]]
  436 bytes (68 paraules) - 18:37 9 abr 2025
• Llògica intuicionista
  …ic]] originalment desenrollat per [[Arend Heyting]] per a proveir una base formal per al [[Intuïcionisme|proyecte intuicionista]] de [[Luitzen Egbertus Jan La llògica intuicionista rebuja el [[principi del tercer exclòs]], pero conserva el [
  1 kB (158 paraules) - 19:05 25 nov 2025
• Expressió matemàtica
  …ió consistent en alguna àrea de la [[matemàtica]] i en uns atres [[Sistema formal|sistemes formals]]. Esta té la finalitat d'expressar una relació general …mal]] a partir d'un [[vocabulari (llògica)|alfabet]] donat. Un [[llenguage formal]] es definix com el conjunt de totes les seues fòrmules ben formades.
  980 bytes (155 paraules) - 17:45 28 ago 2023
• Ciències formals
  …a i estudia [[sistema formal|sistemes formals]]. Són ciències formals la [[Llògica]], la [[Matemàtica]], i les branques teòriques de l'[[Informàtica]], la …ncepte]]s abstractes i no realitats físiques, per això ampren un llenguage formal numèric i es basen en raonaments i demostracions per a dur a terme la seua
  704 bytes (121 paraules) - 15:35 24 jul 2024
• Ciència formal
  …a i estudia [[sistema formal|sistemes formals]]. Són ciències formals la [[Llògica]], la [[Matemàtica]], i les branques teòriques de la [[Informàtica]], la
  526 bytes (90 paraules) - 18:32 17 jul 2025
• Llenguage formal
  …da|fòrmules ben formades]] i els [[Teorema|teoremes]]. En alguns [[sistema formal|sistemes formals]], no obstant, el conjunt de les teoremes coincidix en el …ulari) del llenguage, i al conjunt de les regles li'l crida la [[gramàtica formal]] (o sintaxis). A una cadena de símbols formada d'acort a la gramàtica li
  1 kB (217 paraules) - 18:14 27 feb 2025
• Llògica modal
  La llògica modal és un [[sistema formal]] que intenta capturar el comportament deductiu d'algun grup d'operadors mo
  418 bytes (62 paraules) - 18:30 1 març 2025
• Llògica
  …, i per tal de fer-ho la noció central que estudia és la de [[conseqüència llògica]]. Com a [[ciència formal]], la llògica estudia i classifica l'estructura de les proposicions i els arguments, tant
  4 kB (605 paraules) - 15:37 1 ago 2025
• Programació
  …és del domini del llenguage a utilisar, algoritmes especialisats i llògica formal.
  1 kB (163 paraules) - 15:37 8 ago 2025
• Teoria de conjunts ingènua
  …|teories de conjunts axiomàtiques]], que es definixen per mig de [[llògica formal]], la teoria ingènua es presenta de forma informal, en llenguage natural.
  2 kB (252 paraules) - 18:22 7 oct 2025
• Aristòtil
  Fon el creador de la [[llògica]] formal, [[economia]], [[astronomia]], precursor de la [[anatomia]] i la [[biologia …an importants com crear la primera [[llenguage formalisat|formalisació]] [[Llògica]]; la formulació del [[principi de no contradicció]]; el concepte de [[su
  3 kB (447 paraules) - 15:36 1 ago 2025
• Llenguage de programació
  Un '''llenguage de programació''' és un [[llenguage formal]] dissenyat per a realisar [[Procés (informàtica)|processos]] que poden s * Escritura de la llògica del programa amprant un llenguage de programació específic (codificació
  2 kB (303 paraules) - 11:45 28 nov 2024
• Teoria de conjunts
  La teoria de conjunts és la branca de la [[llògica matemàtica]] que estudia els conjunts, els quals poden descriure's informa …(com en la [[teoria de l'àlgebra relacional]]), [[filosofia]], [[semàntica formal]] i [[dinàmica evolutiva]]. El seu atractiu fundacional, junt en les seues
  5 kB (779 paraules) - 17:44 7 oct 2025
• Semàntica
  …vació d'esta teoria és la corrent que supedita la semàntica a la [[llògica formal]] i per tant analisa les condicions de veritat dels enunciats, i no els mot
  4 kB (603 paraules) - 16:06 14 maig 2024
• Gottlob Frege
  Les seues contribucions se centren en la [[llògica]] formal i en la filosofia del llenguage. La seua distinció fonamental entre sentit
  2 kB (308 paraules) - 11:38 21 nov 2024
• Concepte
  A l'efecte de la [[llògica]], les paraules que signifiquen conceptes universals es consideren com clas …màxima abstracció, quan no tenen contingut material alguns són [[concepte formal|conceptes formals]]. També se'ls nomena [[idea|idees]] quan es pretén sen
  3 kB (495 paraules) - 11:12 1 ago 2025
• Ciència
  …rmals]] ''' || Estudien les formes [[validea|vàlides]] d'[[inferència]]: [[Llògica]] - [[Matemàtica]]. Per això no tenen contingut concret, és un contingut …i matemàtics (estudi d'idees), és dir, ciència '''factual''' i ciència '''formal'''.
  23 kB (3642 paraules) - 11:21 1 ago 2025
• Història contemporànea de la llengua valenciana
  …i estudiara la llengua i cultura pròpies dels valencians i és conseqüència llògica de la consolidació de la Renaixença. A pesar del seu orige en la [[Diputa …arlar del poble valencià que, ademés, l'avalà per mig d'una ''Documentació formal'', més tart publicada, en la qual se fa afermament del minuciós estudi qu
  227 kB (36 104 paraules) - 21:44 11 set 2025