Logica predicatelor - Tema 9

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 →.


Marius Minea
Last modified: Tue Nov 24 18:10:00 EET 2015