Resultats de la cerca
Es mostren 6 resultats
conjunció
Lògica
Connectiva binària i, que en la lògica simbòlica pot ésser representada per un punt (.) o bé pels signes ∧ i &.
La proposició resultant de la conjunció de dues proposicions p ∧ q serà falsa si p , q o bé ambdúes són falses
pes d’un operador lògic
Lògica
Nombre de proposicions independents sobre el qual és definit l’operador.
La negació és de pes 1 la conjunció és de pes 2
o
Lògica
Conjunció que constitueix la proposició connectiva de disjunció.
Té, en general, dues accepcions la que significa “almenys un”, que és anomenada “ o ” inclusiva , i la que significa “un i només un”, que és anomenada “ o ” exclusiva En la lògica matemàtica i en la teoria de conjunts hom utilitza només la o inclusiva Així, donats els conjunts A i B , un element pertany a A o B si el dit element pertany a A o bé pertany a B o bé, en particular, pertany a A i a B Entre proposicions lògiques és representada pel símbol V, és a dir, pVq ≡ poq
connectiva
Lògica
En lògica formal, partícules que relacionen unes proposicions amb unes altres i fan possible el càlcul proposicional.
D’entre les considerades principals, n'hi ha cinc de binàries , que relacionen dues proposicions p, q Cadascuna d’elles requereix una combinació específica dels valors de veritat de p i q perquè la proposició resultant del càlcul sigui veritable Comprenen la conjunció p∧q , la disjunció p∨q , el condicional p→q , el bidireccional p↔Q i la disjunció exclusiva p↮q> r> Cadascuna d’elles requereix una combinació específica dels valors de ceritat de p i q perquè la proposició resultant del càlcul sigui veritable Així, la conjunció serà veritable si i només si p i q ho són o presenten el…
funció copulativa
Lògica
Funció corresponent a la conjunció connectiva binària i que apareix en la lògica en forma de proposicions o sil·logismes.
sincategoremàtic | sincategoremàtica
Lògica
Dit del terme que, en una proposició, no té significació en ell mateix, sinó que només en té amb relació a altres, com la preposició i la conjunció.