Resultats de la cerca
Es mostren 3 resultats
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
univers del discurs
Lògica
Expressió, introduïda per A.Morgan i difosa per G.Boole, que significa la classe de tots els x tals que X=X, i que és aplicable, així mateix, a la lògica de les relacions.
quantificació del predicat
Lògica
Reforma introduïda per W. Hamilton en la lògica del judici consistent a atribuir al predicat de certes proposicions afirmatives, que en lògica clàssica són sempre particulars, una extensió universal (ex: alguns animals són [tots els]homes) i una extensió particular a certes proposicions negatives, que clàssicament són universals (ex: l’home no és [cert]animal).