Sure, if your main use of formal logic is to while away the time doing vacuous puzzles.