From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions