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

Acad. prof. dr. Mircea Dumitru

Asist. Andrei Mărăşoiu

Dl / D-na ___________________________An ___ Grupa _________Data

__________________

Testul 2

1. Demonstrați:

a. A ⊢NK B → A (1

punct)

b. ⊢NK ~ (A & ~A) (1 punct)

c. ~A ⊢NK A → B (1,5 puncte)

d. (A & B) → C ⊢NK B → (A → C) (1,5 puncte)

e. A → B , ~C → ~B ⊢NK A → C (2 puncte)

2. Descrieți succint, la alegere, o problemă care vă preocupă din filosofia logicii, sau o

problemă pe care ați întâmpinat-o personal în rezolvarea exercițiilor de logică. (2 puncte)

Oficiu: 1 punct.
Timp de lucru: 90 de minute.