Resultats de la cerca

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…

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

La negació és de pes 1 la conjunció és de pes 2

El sentit lògic d' afirmació té com a antònim negació i és diferent del sentit que té al llenguatge corrent, en el qual l’acció d’afirmar pot referir-se a una proposició negativa Aquest últim sentit és designat asserció

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

Així, la lògica de la mecànica quàntica és el càlcul reticular dels subespais tancats d’un tal espai de Hilbert, on la intersecció o mínim és la intersecció conjuntista ordinària, la negació o complementari és el complement ortogonal i la unió o màxim de dos subespais és el subespai més petit que els conté tots dos s’obté un reticle que no és modular i que dóna, per tant, una lògica molt apartada de la clàssica en què el reticle és distributiu En aquesta lògica, la incoherència no implica necessàriament contradicció encara que aquesta sempre implica aquella com a reflex del principi que hi ha…

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…