някой можели да ми помогне с намирането на доклад за Предикатна логика