Rachunek predykatów pierwszego rzędu
- Uniwersytet im. Adama Mickiewicza w Poznaniu
- Semantyka logiczna
Rachunek predykatów pierwszego rzędu Język KRP Język J jest j. 1. rzędu wtw spełnia warunki: nieskończenie zmiennych indywiduowych/nazwowych przynajmniej jeden symbol relacyjny [predykat, obojętnie ilu argumentowy] skończoną l. Spójników zdan...