logic

The formal logic representation of the statement using mathematical notation and logical operators.