Resultats de la cerca
Es mostren 14 resultats
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…
barra de Sheffer
Lògica
Connectiva lògica binària amb la qual hom pot expressar totes les altres connectives clàssiques.
Si p i q són dues proposicions, hom representa per p/q la doble negació "ni p ni q " La negació de p , "no- p ", s’escriu p/p i la disjunció, " p o q ", s’escriu p/q / q/p Aquesta connectiva fou introduïda el 1913 pel lògic nord-americà HM Sheffer 1883-1964
radi medul·lar
Biologia
Botànica
En l’arrel i en la tija, banda radial de teixit parenquimàtic, situada entre els feixos conductors.
Els radis medullars tenen una funció connectiva i també de transport lateral de saba
negació
Lògica
Tipus de connectiva
lògica.
Donada una proposició p , la seva negació, que hom representa amb els símbols ¬ p , tilde p , p, és definida per la taula de veritat Quan dins un referencial predeterminat hom defineix un conjunt mitjançant una funció proposicional p x , la funció ¬ p x defineix el conjunt complementari La negació de proposicions representades amb símbols matemàtics, com a ∈ A, M ⊂ N, x = y, és representada usualment amb una ratlla inclinada damunt el símbol corresponent a ∉ A, M ⊄ N, x ≠ y La negació de proposicions en les quals intervenen quantificadors, cal fer-la amb molt de compte Exemple¬∀ x ∈ A p…
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
condicional
Lògica
Dit de la connectiva binària si..., llavors
, que representa l’anomenada implicació material
.
En la lògica simbòlica és representada pel signe ⊃
Les bacil·lariofícies o diatomees
Característiques del grup Les diatomees o bacillariofícies constitueixen un grup molt nombrós al voltant de 10 000 espècies actuals, agrupades en uns 200 gèneres, molt popular per a qualsevol naturalista que hagi mirat mostres d’aigua amb el microscopi El seu caràcter més notable és la presència d’una mena d’esquelet extern constituït per sílice diòxid de silici, SiO 2 , una substància incolora amb aspecte de vidre Es troben en tota mena d’ambients humits suficientment illuminats La majoria d’elles viuen lliures, ja sia en suspensió en l’aigua planctòniques, ja sobre alguna mena de substrat…
adenofibroma
Patologia humana
Tumor conjuntivoepitelial benigne caracteritzat per la proliferació connectiva i el creixement de les estructures epitelials glandulars.
disjunció
Lògica
Dit de la connectiva binària que en la notació de la lògica simbòlica hom representa amb el signe v
.
Hom l’anomena també disjunció inclusiva per a distingir-la de la disjunció exclusiva , simbolitzada per ↮ En el llenguatge corrent, hom acostuma a utilitzar la preposició “o” indistintament per a referir-se a una o a l’altra, bé que l’expressió “o bé o bé" designa la segona amb més propietat En la lògica clàssica, les proposicions disjuntives constitueixen una classe de les proposicions formalment hipotètiques, i hom en parla també com de judicis disjuntius
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.