1) a) sa explici ce-i cu Superpozitia

b) se dadea o formula banala si sa-i scrii FNCP-ul si FNDP-ul

2) a) horn pseudocod
b) o formula scrisa in FND si sa arati, folosind rezolutia, ca-i tautologie
3) a) teorema substitutiei
b) o formula si sa gasesti o structura ca sa fie satisfiabila
4) a) nu mai stiu <-> era ceva teorie, dar posibil sa fi fost asta la 3)a) si ce
era la 3)a) sa fie aici;mai putin important
b) o formula in FNSC si sa aplici alg Juliei Robinson ca sa arati ca-i contra
dictie
5) a) definiti teorema in sisteme deductive; parca. Oricum, ceva de teorie, haba
r n-am avut
b) un exercitiu din ala de la ultimul capitol, era banal; nu-l mai tin minte,
dar din 5 randuri l-am rezolvat (o singura presupunere).