first order and predicate logic is definitely the most fun and exciting class i’ve taken in college i highly recommend it if you spend your time doing puzzles or brain games like it’s just really fun and helps you think about everyday arguments and fallacies just do it! if you’re a weird nerd like me you’ll have a blast.