Logical connectives

In logic, negation, also called the logical not or logical complement, is an operation that takes a proposition P to another proposition "not P", written \neg P, \mathord{\sim} P, P^\prime or \overline{P}. It is interpreted intuitively as being true when P is false, and false when P is true. For example, if P is "The dog runs", then "not P" is "The dog does not run". An operand of a negation is called a negand or negatum.

logical connective OR

logical connective AND

logical connective

symbol or word which can be applied to statements (of either a formal or a natural language) to produce a new statement

logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right

true when either but not both inputs are true

binary operation that is true if and only if both operands are false

reverse of a categorical or hypothetical proposition

statement which is true regardless of the truth or falsity of its constituent parts

truth value

logical operation that asserts that at least one of its operands is false

term

logical connective

logical operator in propositional calculus

formal way of expressing the meaning of a conditional sentence

special kind of sentence in liguistics

logical connective

logical connective