Nume Prenume 

: 27. 01. 2021

Timp : 12.25 - 14.30

Examern la logică formalizată

Fie structura silogistică : R o V ; R a S ├ S o V. Verificați-o prin :

1. Diagrame Carroll ;
2. Diagrame Venn ;
3. Metoda Arborelui de adevăr.

Pentru strucrura silogistică dată : PaK ; PaM ├ MiK, decideți cu ajutorul :

4. Reducerii indirecte.
5. Diagramelor Marquand.
6. Metodei Sommers ;

Evaluați structura silogistică S i R ; S a T ├ T i R, prin:

7. Metodei înstelării.
8. Metoda înlocuirii succesive a variabilelor cu valori de adevăr.

Decideți asupra expresiei macro-propoziționale 

{[p → q ; q→ r ; ~r v a ; a → x ; ~x ├ ~p, utilizând :
9. Limbajul electric ;
10. Rezoluția.
Evaluați formula {[(p & q) → x] & [x → (y v z)] & ~y & ~z} → (~p v ~q), prin :
11. Metoda normalizării ;
12. Tabele semantice.