EDB — 23H

[23H]In the next sections we will give some definitions; these are simplified, but sufficient to cope with the exercises. Readers interested in an in-depth study can consult a book on Logic such as [ 10 ] .