Resultats de la cerca
Es mostren 5 resultats
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 ⊃
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
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.
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