Uniwersum Herbranda
Z Wikipedii
Uniwersum Herbranda dla formuły rachunku predykatów pierwszego rzędu to uniwersum składające się z wszystkich zamkniętych termów złożonych ze stałych i symboli funkcyjnych występujących w formule. Jeśli formuła nie zawiera żadnych stałych dodaje się do uniwersum dowolną stałą, żeby nie było ono puste.
Jeśli formuła zawiera choć jeden symbol funkcyjny o argumentowości większej niż 0, uniwersum Herbranda jest zbiorem nieskończonym. Uniwersum Herbranda jest zawsze co najwyżej przeliczalne.
[edytuj] Przykłady
- x, y - pewne zmienne
- c, d - pewne stałe
- f, g - pewne funkcje 1-argumentowe
Uniwersum Herbranda to {c,d}.
Uniwersum Herbranda to 
.
Uniwersum Herbranda to 
Uniwersum Herbranda to 
Przykłady dla formuł bez stałych:
Uniwersum Herbranda to {c}. (c - dodana stała)
Uniwersum Herbranda to 
. (c - dodana stała)
Zobacz też: baza Herbranda, twierdzenie Herbranda, rozwinięcie Herbranda, model Herbranda, Jacques Herbrand
