Uniwersum Herbranda

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

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 1-argumentowe


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]