A logical proposition is a statement that can be either true or false. For example, "the sun is shining in Berkeley right now" is a proposition. See also &, ↔, →, |, XOR, converse, contrapositive and logical argument.