Universitatea din Bucureşti, Facultatea de Filosofie, Introducere în Logica Modernă

Acad. prof. dr. Mircea Dumitru Coordonator de seminar ___________________

Dl / D-na _______________An ___ Grupa _________Data __________Nr. cerință______

Testul 3

1. Traduceți în limbajul logicii predicatelor monadice de ordinul I: (2 puncte)

a. Unii investitori sunt pripiți și isteți.

b. Toate zambilele sunt parfumate dacă suntem în martie.

2. Justificați următorul rezultat, folosind metoda construcției de interpretări. (1 punct)

(ꓯ x)(~Fx v Gx) ⊭ (ꓯ x)Fx ↔ ~(ꓯ x)Gx
3. Demonstrați în NK: (3 puncte)

a. (∀x)(Fx v Gx), ~Ga ⊢NK (∃x)Fx

b. (∃x)(Fx & Gx), (∀x)(Gx→~Hx) ⊢NK ~(∀x)(Fx → Hx)

Dacă folosiţi reguli derivate, demonstraţi-le separat şi pe acelea.

4. Redactați în limba română un enunț ce corespunde următoarei formule, oferind şi un
dicționar de lectură: (1 punct)
~(ꓱ x)((Gx &~Hx) ↔ ~Fx)
5. Traduceți următorul argument din limba română în limbajul logicii predicatelor monadice de
ordinul I, apoi folosiți una dintre metodele învățate din semantica sau sintaxa acestei logici
pentru a stabili dacă argumentul este valid sau nevalid. Justificați-vă răspunsul. (2 puncte)

Dacă unele pariuri la cursele de cai vor fi norocoase, atunci Felix va câștiga. Şi, dacă nu va
câștiga, își va lua un apartament. Dar unele pariuri la cursele de cai nu vor fi norocoase. Deci,
Felix nu își va lua un apartament.

Oficiu: 1 punct.

Timp de lucru: 90 de minute.