a formal assertion in LOGIC that sets forth something which is asserted or denied, that is capable of being judged true or false.
