The formal logic representation of the statement using mathematical notation and logical operators.
The natural language representation of the logical statement, providing a human-readable interpretation of the formal logic.