Rachunek predykatów pierwszego rzędu: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m Wspomagane przez robota ujednoznacznienie: Przegląd zagadnień z zakresu logiki - Zmieniono link(i) Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu logiki; zmiany kosmetyczne |
m Wspomagane przez robota ujednoznacznienie: Przegląd zagadnień z zakresu matematyki - Zmieniono link(i) Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki; zmiany kosmetyczne |
||
Linia 150:
== Zobacz też ==
* [[przegląd zagadnień z zakresu logiki]]
* [[Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu * [[forma preneksowa]]
* [[skolemizacja]]
|