2.4 - Computational Logic Flashcards