Tworzenie książki (wyłącz)
 Dodaj tę stronę do książki Pokaż książkę (0 stron) Proponowane strony

Teoria pierwszego rzędu

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, szukaj

Zbiór formuł zdaniowych T danego języka pierwszego rzędu nazywamy teorią pierwszego rzędu (lub systemem dedukcyjnym) wtw T spełnia następujący warunek:

CnL(T) ⊆ T

gdzie CnL(T) to zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych T.

Źródło „http://pl.wikipedia.org/w/index.php?title=Teoria_pierwszego_rzędu&oldid=10193893”
Osobiste
Przestrzenie nazw

Warianty
Działania
Nawigacja
Dla czytelników
Dla wikipedystów
Narzędzia
Drukuj lub eksportuj

Polecamy: Pozycjonowanie, wózki dziecięce, Kino domowe, Viagra, Kredyty