2.4 Computational Logic Flashcards