If pressed to supplement Tweedledee’s ostensive definition of logic with a discursive definition of the same subject, I would say that logic is the systematic study of the logical truths. Pressed further, I would say that a sentence is logically true if all sentences with its grammatical structure are true. Pressed further still, I would say to read this book.