Algebra di Robbins: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Creata dalla traduzione della pagina "Robbins algebra" |
|||
Riga 1:
{{O|matematica|maggio 2020}}
In [[algebra astratta]], un'algebra di '''Robbins''' è un'algebra contenente una unica [[operazione binaria]], solitamente indicata da <math>\lor</math> e una unica [[operazione unaria]] solitamente indicata da <math>\neg</math> . Queste operazioni soddisfano i seguenti [[Algebra universale|assiomi]] :
| |||