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

Teza klasycznego rachunku predykatów

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, szukaj

Tezą KRP nazywamy formułę zdaniową, która jest aksjomatem KRP lub posiada przynajmniej jeden dowód w oparciu o aksjomaty KRP.

Źródło „http://pl.wikipedia.org/w/index.php?title=Teza_klasycznego_rachunku_predykatów&oldid=10193979”
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