Resultats de la cerca
Es mostren 3 resultats
inclusió
Lògica
En àlgebra de classes i en la de relacions, pertinença (expressada per ⊂) de tots els membres d’una classe a una altra, d’unes relacions a unes altres.
Simbòlicament, la inclusió de classes és definida com A ⊂B = df x x ∈A ⊃x ∈B, i la de relacions com R ⊂S = dfxyxRy ⊃xSy
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…
símbol
Lògica
Expressió verbal o escrita, definida per unes normes determinades, de la qual hom se serveix per a significar objectes o relacions.