Baza Herbranda
Z Wikipedii
Baza Herbranda dla formuły rachunku predykatów pierwszego rzędu to zbiór wszystkich predykatów takich, że głowa predykatu występuje w formule, natomiast wszystkie argumenty należą do uniwersum Herbranda tej formuły.
Ten artykuł wymaga dopracowania zgodnie z zaleceniami edycyjnymi. Po naprawieniu wszystkich błędów można usunąć tę wiadomość. |