logical connective
symbol or word used to connect sentences (of either a formal or a natural language), such that the value of the compound sentence produced depends only on the one of the original sentences and on the meaning of the connective
logical negation
operation that takes a proposition p to another proposition "not p", written ¬p, which is interpreted intuitively as being true when p is false, and false when p is true; unary (single-argument) logical connective
logical NOR
binary operation that is true if and only if both operands are false
conditioned disjunction
logical connective
exclusive or
true when either but not both inputs are true
logical disjunction
logical connective OR
converse implication
given P→Q, the implication Q→P
logical conjunction
logical connective AND
semantic triple
atomic data entity in the Resource Description Framework (RDF) data model; set of three entities that codifies a statement about semantic data in the form of subject–predicate–object expressions
Sheffer stroke
logical operation that asserts that at least one of its operands is false
logical equivalence
concept in logic
logical implication
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right