Assertion: table's value | /r/HasProperty | the values of two propositions
Facets:
value: typically
type: DEGREE
Source sentences:
text: Logical conjunction is an operation on two logical values, typically the values of two propositions, that produces a value of true if both of its operands are true.
text: Logical disjunction is an operation on two logical values, typically the values of two propositions, that produces a value of true if at least one of its operands is true.
text: Logical implication and the material conditional are both associated with an operation on two logical values, typically the values of two propositions, which produces a value of false if the first operand is true and the second operand is false, and a value of true otherwise.
text: Logical equality (also known as biconditional) is an operation on two logical values, typically the values of two propositions, that produces a value of true if both operands are false or both operands are true.
text: Exclusive disjunction is an operation on two logical values, typically the values of two propositions, that produces a value of true if one but not both of its operands is true.
text: The logical NAND is an operation on two logical values, typically the values of two propositions, that produces a value of false if both of its operands are true.
text: The logical NOR is an operation on two logical values, typically the values of two propositions, that produces a value of true if both of its operands are false.