Perehtyä logiikan peruskäsitteisiin.
Lause- ja predikaattilogiikan peruskäsitteitä.
1. Rosen K, Discrete Mathematics and its Applications.
2. Merikoski J K, Virtanen A, Koivisto P, Johdatus diskreettiin matematiikkaan. WSOY 2004. Luku 1.