Resultats de la cerca
Es mostren 6 resultats
valuació
Matemàtiques
Funció que fa correspondre a cada proposició el seu valor de veritat, si aquest existeix.
En el cas de la lògica binària clàssica els únics valors de veritat que s’admeten són veritat 1 i fals 0, però en les lògiques polivalents hom accepta un tercer valor 1/2 que admet interpretacions diverses per exemple, possible o indeterminat La taula de veritat bivaluada o polivalent de dues proposicions reflecteix totes les possibles valuacions o assignacions de valors de veritat
problema de les paraules
Matemàtiques
Problema d'àlgebra.
D’una banda si hom disposa d’un alfabet finit OOO = {a 1 ,,a n } i, per concatenació, construeix els mots M = ζ 1 ζ r , on cada símbol ζ i és una de les lletres a j ∈ OOO d’aquest alfabet i r ∈ ℕ si, d’altra banda, hom disposa d’un cert diccionari que estableix l’equivalència de certes parelles de mots i, finalment, hom accepta el fet que, en substituir en un mot M = M 1 mM 2 un cert sumbmot m per un altre mot m´ equivalent, obté un mot equivalent M´ = M 1 m' M 2 Cal plantejar la pregunta següent donats dos mots arbitraris M i N , hi ha algun algorisme que permeti de decidir si…
intuïcionisme
Matemàtiques
Corrent del pensament matemàtic, nascut a la segona meitat del s XIX.
Propugna que la matemàtica és l’estudi d’uns tipus de construccions mentals en les quals els objectes que hom maneja han d’ésser definits donant un criteri que en permeti la construcció i on el llenguatge emprat, sigui ordinari o simbòlic, només és un instrument auxiliar i no una part essencial de les construccions formalisme Hom accepta que la matemàtica intuïcionista és formada de tot allò que és conseqüència segons les normes de la lògica intuïcionista de la construcció de la successió dels nombres naturals ℕ, de la qual resulten evidents els axiomes de Peano base de la…
test d’hipòtesis estadístiques
Matemàtiques
Donada una mostra de grandària n
, (
x 1
,...,x n
), formada per n
realitzacions o observacions independents d’un cert fenomen o experiment.
Aquest mètode permet de decidir, a partir de les dades observades, si una hipòtesi estadística que hom ha fet sobre el model probabilístic del fenomen és correcta o no ho és Aquesta decisió hauria d’ésser presa sempre amb un cert grau d’incertesa Els problemes que tracta de resoldre aquesta teoria poden ésser, per exemple, decidir quin dels dos mètodes diferents de fabricació de bombetes elèctriques dóna una mida mitjana més gran, o bé saber, a partir d’una sèrie d’anàlisis, si un malalt té una certa malaltia Sovint el model probabilístic consisteix en una llei de probabilitat teòrica donada…
nombre natural
Matemàtiques
Nombre que serveix per a comptar els elements d’un conjunt.
La manera més freqüent de representar els nombres naturals és el sistema de numeració decimal, i el conjunt dels nombres naturals acostuma a ésser representat amb la lletra ℕ En la concepció dels nombres naturals, i també de les altres menes de nombres, hom pot donar prioritat a l’aspecte intuïtiu o a l’aspecte lògic Des del punt de vista intuïtiu, un nombre natural és una qualitat dels conjunts equipotents així, la classe de tots els conjunts equipotents amb el conjunt { X o Δ} és el nombre tres L’operació “unió de conjunts sense elements comuns” engendra l’operació de “sumar nombres…
demostració
Lògica
Matemàtiques
Derivació d’un enunciat, mitjançant l’aplicació d’unes determinades regles lògiques, a partir d’uns altres enunciats, dits premisses de la demostració.
Qualsevol cadena de demostracions ha d’arrencar d’un conjunt finit de premisses no demostrables, els axiomes Aquest conjunt és anomenat el sistema dels axiomes de la teoria deductiva, i els enunciats que són demostrats a partir dels axiomes s’anomenen teoremes Identificada, en la teoria platònica, amb la definició, Aristòtil la considerà com un procés superior, adreçat a extreure, mitjançant el sillogisme, una conclusió a partir d’unes premisses certes L’escolàstica s’adherí a l’esquema aristotèlic i n'elaborà una classificació propter quid , ad intellectum , ad sensum , a priori , a…