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. Trimiteți soluția proprie înainte de corectură, și soluția colegului cu corecturile proprii.