Wg mnie jeśli zapis HALa jest równoważny koniunkcji s=n*z i n*s=z (gdzie s=studiowanie, n=nie i z =źle) to n=-1 nie jest rozwiązaniem, gdyż, po dodaniu stronami:
s+ns=nz+z
s(n+1)=z(n+1) //:(n+1) ; (n+1) różne 0 <=> n różne -1
czyli n=-1 jest poza dziedziną. Ale układ nie jest sprzeczny i ma rozwiązanie dla dowolnego s=z ^ n=1 , co kompletnie nic nie znaczy logicznie - jak napisałem w pierwszym poście - po podzieleniu stronami przez (n+1) mamy:
s=z
podstawiamy s=z do pierwszego równania:
z=nz <=> n=1
podstawiamy n=1 i mamy z=s , amen.