Logical assertion
Redirect to:
Judgment (mathematical logic)