1. Exemplu de rezoluție Urmăriți pașii 11-20 de la sfârșitul cursului 8 și convingeți-vă că identificați care sunt unificările făcute.
2. Funcții injective, surjective, bijective
Afirmație: Dacă g ⚪ f e bijectivă, atunci f e injectivă și g e surjectivă.
a) Demonstrați în orice mod, exprimându-vă cât mai riguros
b) Formalizați afirmația în logica predicatelor
c) Demonstrați afirmația prin rezoluție. Introduceți un predicat eq(x, y) pentru egalitate. Introduceți ca axiomă că eq(x, y) → eq(g(x), g(y)).
3. Formalizați un exemplu
Formalizați în logica predicatelor unul din exemplele nerezolvate (11 - 23) de pe această pagină
Rezolvați problema pe hârtie. Alternativ, puteți încerca să o scrieți într-un fișier text în formatul descris pe pagina de laborator, ceea ce vă va ușura munca ulterioară.
Încercați să faceți schimb cu un coleg din aceeași semigrupă care rezolvă altă problemă și să vă corectați reciproc soluțiile.