Sheffer, funtoridiSheffer, funtoridi espressione che denota due connettivi logici, il primo indicato con il simbolo ↓, il secondo indicato con il simbolo |. Il primo operatore è utilizzato per comporre [...] un enunciato α′ logicamente equivalente ad α in cui compaiono solo i funtoridiSheffer: per questo si dice che i funtoridiSheffer formano una base di connettivi. I funtoridiSheffer sono gli unici due connettivi binari che formano una base: per ...
Leggi Tutto
ShefferSheffer Henry Maurice (Ucraina 1882 - Boston 1964) logico matematico statunitense di origine ucraina. Emigrato negli Stati Uniti da bambino con la sua famiglia, fu professore di filosofia a Harvard [...] essere descritta compiutamente per mezzo di un solo operatore binario, il connettivo nand, o del suo duale nor. Ai due connettivi nand e nor, in grado ciascuno di simulare i connettivi classici, è stato dato in seguito il nome difuntoridiSheffer. ...
Leggi Tutto
connettivo
connettivo operatore logico per costruire formule più complesse a partire da formule più semplici. Per esempio, nel linguaggio degli enunciati, dati due enunciati A e B si può formare, utilizzando [...] formano una base; ciò non è tuttavia vero per qualsiasi coppia di connettivi; per esempio ￢ e ⇔ non sono una base. Esistono anche altri connettivi quali i funtoridi → Sheffer, oppure i connettivi che si utilizzano in logica lineare come per esempio ...
Leggi Tutto
enunciati, linguaggio degli
enunciati, linguaggio degli linguaggio formale per esprimere affermazioni elementari a cui è attribuibile un valore di verità e per comporle tra loro, in modo tale che sia [...] è costituito dalla negazione e da uno qualsiasi dei connettivi ∨, ∧, ⇒. È addirittura possibile un’ulteriore riduzione (→ Sheffer, funtoridi), introducendo un solo connettivo: la negazione congiunta (spesso indicato con ↓) che ha la seguente tavola ...
Leggi Tutto
connettivi, sistema minimo di
connettivi, sistema minimo di o base di connettivi, in logica, insieme minimo di connettivi adeguato a esprimere, in virtù di proprietà di equivalenza logica tra forme enunciative, [...] connettivi utilizzati in logica. È tradizionalmente costituito dalla negazione (￢) e da uno qualsiasi dei connettivi ∨, ∧, ⇒, ma sono possibili ulteriori riduzioni, per le quali si vedano: → enunciati, linguaggio degli; → Sheffer, funtoridi. ...
Leggi Tutto