Question

Co to:

Rachunek predykatów pierwszego rzędu

Prosze wyjaśnijcie mi to najdokładniej jak umiecie.

Answer 1

Rachunek predykatów pierwszego rzędu – jest to pewien system (logiczny) , w którym jest jakaś zmienna i na  niej opiera się tzw. kwantyfikator. Może on być elementem wybranej dziedziny (lub zbioru), ale nie może natomiast być zbiorem takich elementów. W rachunku predykatów pierwszego rzędu można stwierdzi, że dla dowolnej liczby rzeczywistej istnieje liczba większa, ale jednak nigdy nie można napisać, że każdy zbiór liczb rzeczywistych ma kres górny. Rachunek predykatów pierwszego rzędu w ogólnym przypadku nie jest rozstrzygalny ale tylko półrozstrzygalny (rekurencyjnie przeliczalny), no i oczywiście może go przeanalizować komputerowo.