Baza Herbranda
Z Wikipedii, wolnej encyklopedii
 |
Ten artykuł należy dopracować zgodnie z zaleceniami edycyjnymi. |
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.
