if we can write "f->g" and "g->f", than the last 2 go in axioms set, and we can write "(f->g) and (g->f)" and "(f->g) or (g->f)" and "f<->g" that will be all "derivati dagli assiomi" and will use for build other string
followed form axiom = derivati dagli assiomi, in pratica possiamo scrivere nel foglio di carta tutti gli insiemi di lettere o stringhe ricavate dagli assiomi
@l4m2 if we can write "f->g" and "g->f" or in equilvalent way "f->g" and "g->f" are followed from the axioms, than we can write too "(f->g) and (g->f)" and "f<->g" not "f=g"
I see a problem here for ⌹. It seems a⌹b would find the solution of linear sys coefficients in b matrix with result a array so linear system bx=a. If the solution of bx=a exist and is only 1, all ok. What it would return if the system has no solution? What would return if the system has infinite solutions?
If 1 means there is room X available, 0 it is not available, ∨/ means if return 1, there is at last one free room. If return 0, there is no room available
in page "https://en.wikipedia.org/w/index.php?title=APL_syntax_and_symbols&diff=prev&oldid=1270300238" for matrix identity is showed "∘.=⍨∘⍳" here NARS APL it seems ok even "∘.=⍨⍳"