Uniwersum Herbranda

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

edytuj
  •     – 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)

Zobacz też

edytuj