0. Studiați exemplele rezolvate descrise în cadrul lucrării de laborator.
1. 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ă.
Observație: pagina indicată poate fi afișată ciudat în browser, având HTML incomplet. &forall ar trebui să fie de fapt ∀,&exist ∃ &and ∧, &or ∨, &rarr →.