Resultats de la cerca
Es mostren 332 resultats
formular
Posar en una forma clara i precisa (una proposició, un càrrec, una comanda, etc).
postulat
Lògica
Proposició fonamental d’un sistema deductiu que ni és evident ni pot ésser demostrada.
Tradicionalment el postulat era contraposat a l'axioma, pel fet de no ésser evident ni universalment acceptat, i al teorema, pel fet de no ésser demostrable Actualment, tanmateix, hom assimila el postulat a l’axioma, per tal com pot ésser posada en qüestió la idea d’evidència Més que no el seu caràcter apriorístic, el que hom entén avui com a propi del postulat és la posició primària que aquest ocupa en un sistema formal El sistema de postulats d’una teoria ha d’ésser elegit de tal manera que totes les proposicions de la teoria puguin ésser deduïdes per una cadena de raonaments d’aquells…
esmena
Dret
Proposta de modificació en un projecte o proposició de llei en un text parlamentari.
adjunt
Gramàtica
Dit del mot o dels mots que acompanyen els elements essencials de la proposició.
Per exemple en el meu germà ha treballat tot el dia , meu és un adjunt de germà
antecedent
Lògica
Matemàtiques
En la implicació, el terme, o la proposició, del qual és implicat el consegüent.
parèntesi
Gramàtica
Mot, frase o proposició que hom insereix, a tall d’explicació, en una proposició, que seria gramaticalment completa sense la seva inserció, i que hom inclou entre els signes () o entre dos guions.
asserció
Electrònica i informàtica
Proposició que assegura que en un determinat punt d’un programa es compleix certa condició.
Els casos més habituals d’assercions són les precondicions propietats que cal que compleixin les dades per a poder executar un fragment de codi determinat, les postcondicions propietats que compleixen les dades un cop s’ha executat un segment de codi determinat, els invariants de les iteracions propietats que compleixen les dades en pas de la iteració i els invariants de la representació propietats que compleix la representació de les dades, independentment del valor exacte que contingui Les assercions permeten entendre el comportament d’un programa, i raonar sobre la seva validesa per tant,…
objectar
Oposar (una cosa) a una afirmació per combatre-la, a una proposició per rebutjar-la.
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
contradictori | contradictòria
Lògica
En sentit absolut, dit d’un terme o d’una proposició que presenten una contradicció.