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 1

• Traduceți următoarele propoziții din limba română în limbajul logicii

propozițiilor: (3 puncte)
• Nici frigul, nici furtuna nu îl vor opri pe poștaș. ˜p&˜q
• Confruntat cu o situație-limită, rămân calm sau mi se face frică. P
→ (Q&R)
• Studenții vor promova examenul numai dacă s-au pregătit pentru
el. P ⥄ Q

• Întocmiți tabelele de adevăr pentru următoarele formule: (3 puncte)

• (~~A → A) v ~A

• ~A → (B → A)

• (A & ~B) & ~(A ↔ B)

• Evaluați, prin metoda construcției de interpretări, următorul argument
formulat în LLP: (1 punct)

A → (B v C), ~A, ~B ⊨? C
• Traduceți următorul argument din limba română în limbajul logicii
propozițiilor, apoi folosiți una dintre metodele semanticii logicii propozițiilor pentru a
stabili dacă argumentul este valid sau nevalid. Justificați-vă răspunsul. (2 puncte)
Candidatul opoziției va câștiga alegerile prezidențiale dacă va primi sponsorizări private din
afara ţării. Şi le va primi dacă şi numai dacă va face promisiuni de îndatorare viitoare a ţării. Însă
candidatul opoziției clar nu va câștiga alegerile. Deci, acesta nu va face promisiuni care să
îndatoreze ţara pe viitor.

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