Logic Symbols

And

 

It signifies logical conjunction where two true operands can only produce a true value.

 

Or

 

It signifies logical disjunction where two false operands produce a false value.

 

Not - negation

 

It indicates negation of the given value.

 

Exclusive or (XOR)

 

It denotes exclusive disjunction where either of the operands should be true to return a true value.

 

Implies

 

It indicates material implication where true value is returned only if either of the operand is true or false.

 

Equivalent

 

It denotes material equivalence where true value is returned only when both operands are true or false.

 

There exists

 

It indicates existential quantification where function of the operand is true only for one value of operand.

 

There does not exists

 

 

Therefore

 

It is placed before a logical sequence indicating conclusion of the required operation.

 

Because/since

 

 

For all

 

 

It signifies universal quantification where function of the operand is true for all values of the operand.