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.
Przykłady – pewne zmienne – pewne stałe – pewne funkcje jednoargumentowe
Uniwersum Herbranda to
Uniwersum Herbranda to
Uniwersum Herbranda to
Uniwersum Herbranda to
Przykłady dla formuł bez stałych:
Uniwersum Herbranda to ( – dodana stała)
Uniwersum Herbranda to ( – dodana stała)
Linki zewnętrzne [dostęp 2025-10-09].
Kategoria:Logika matematyczna