Resultats de la cerca
Es mostren 5 resultats
postulat d’Euclides
Matemàtiques
Postulat cinquè del sistema de postulats d’Euclides, que, en llenguatge modern, diu que, donada una recta i un punt exterior, hom només pot traçar per aquest una recta paral·lela a la recta donada.
Aquesta proposició, enunciada per Euclides com a postulat, semblà als geòmetres posteriors que era demostrable a partir dels altres postulats del sistema, és a dir, que era un teorema Fins al s XIX se succeïren els intents de demostració sense resultat, fins que gairebé simultàniament Gauss, Bolyai i Lobačevskij tractaren de desenvolupar una teoria basada en els altres postulats d’Euclides i la negació del cinquè Si aquest hagués estat un teorema, la seva negació hauria conduït a una contradicció no tan sols no trobaren cap contradicció, sinó que obtingueren noves…
principi de bivalència
Lògica
Matemàtiques
Principi de la lògica de sentències o proposicions, de caire semàntic, que diu: «tota sentència és certa o falsa».
Aquest principi fou enunciat en el cas del càlcul de proposicions, de forma explícita, per primera vegada, a l’escola estoica de Megara lògica i, concretament, per Crisip, si bé ja Aristòtil en De Interpretatione l’havia analitzat i discutit àmpliament Sintàcticament parlant implica les lleis del tercer exclòs, de no-contradicció i de la doble negació, les quals, en lògiques no bivalents, poden esdevenir falses
axiomàtica
Filosofia
Matemàtiques
Conjunt d’axiomes no contradictoris i independents que es formulen per a poder desenvolupar una teoria d’una manera deductiva lògicament correcta.
La matèria que es presta més a ésser tractada en forma axiomàtica és la matemàtica, bé que el mètode és aplicable al desenvolupament teòric d’altres ciències física, economia, estadística, etc Cada una de les proposicions admeses com a base de l’estudi axiomàtic d’una teoria és anomenada axioma o postulat aquests dos mots, en matemàtiques, són considerats sinònims Un sistema de postulats és un conjunt de proposicions breus que tradueixen les veritats fonamentals de la teoria a la qual serveixen de base És desitjable que els postulats d’un sistema siguin simples , és a dir, que cada un…
element crisipià
Lògica
Matemàtiques
En una lògica de proposicions, tota proposició P que satisfà simultàniament el principi del tercer exclòs (P ⌉ P≡1) i el principi de (no)-contradicció (P ⌉ P≡0).
Quan tots els elements d’una lògica de proposicions són crisipians, hom diu que la lògica és crisipiana Tota lògica bivalent principi de bivalència és necessàriament crisipiana, però no a l’inrevés La qualitat d’ésser crisipiana una lògica és de caire sintàctic Des d’un punt de vista semàntic hom pot dir que una lògica és crisipiana quan satisfà el principi de bivalència
conjunt
Representació gràfica de la relació de pertinença i de les operacions d’unió i intersecció dels conjunts
© Fototeca.cat
Matemàtiques
Reunió d’objectes ben definits en la intuïció o en el pensament, considerada com una totalitat (Cantor).
Aquesta definició, des del punt de vista matemàtic, no és vàlida, i, així, en matemàtiques la noció de conjunt no és definida, i s’inclou dins del desenvolupament d’una teoria axiomàtica que eviti les paradoxes i contradiccions com les que, a començament del segle XX, posaren en qüestió no solament la teoria de conjunts, sinó bona part de la matemàtica Hom no defineix, doncs, ni conjunt, ni element, ni la relació de pertinença, i es conforma amb la idea intuïtiva del que signifiquen frases com Un conjunt és format per elements, o l’element 4 pertany al conjunt dels nombres naturals La…