Resultats de la cerca

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…

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

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

En lògica el problema del tractament formal dels predicats vagues ‘calb’, ‘roig’, ‘gran’, etc s’enfronta a l’aparició de paradoxes com la que resulta d’aplicar-hi un sorites per exemple ‘un home amb un cabell és calb doncs un que en tingui 2,3,,10 000, és calb’, fenomen ja analitzat pels grecs D’ençà de l’aparició de la lògica formal moderna, la posició dels lògics ha estat generalment la de considerar la vaguetat com una característica exclusiva sovint com un “defecte” del llenguatge, inabordable i irrellevant per a la lògica matemàtica clàssica Russell 1923 Entre aquells que…

Objecte d’anàlisi i sistematització pràcticament exhaustives en l’anomenat Òrganon aristotèlic, el sillogisme, l’estudi del qual integra la sillogística , no és l’única possibilitat d’argument deductiu, bé que l’influx d’Aristòtil determinà una identificació exclusiva entre l’un i l’altre, amb la corresponent reacció antisillogística, per exemple, de Descartes Pel que fa a la relació entre les premisses del sillogisme —anomenades respectivament major i menor , pel fet que la primera inclou el predicat P i la segona el subjecte S, que són recollits en la proposició conclusiva—, aquella és…