Using Large Language Models for (De )Formalization and Natural Argumentation Exercises For Beginner’s Students