Seminar 6

Exerciiu
S se construiasc tabelul de adevr i apoi s se gseasc BDD redus pentru funcia:

Deducia natural
Pentru mai multe detalii studiai paginile 5 27 din
http://profs.info.uaic.ro/~masalagiu/resources/HR.pdf (accesibil doar din reeaua facultii).

Regulile deduciei naturale

Exerciii
Demonstrai folosind deducia natural urmtoarele:
1. p q, r q r
2. p, (q r) p r
3. p q q p
4. q p p q
5. p q q p
6. p q p q
7. p q r, r, p q