Symbol for Negation – UGC NET Question

Negation in propositional logic is often represented by the symbol ¬ placed before a proposition. It expresses the logical opposite of the statement’s truth value: if the original proposition is true, its negation is false, and vice versa. This operator is fundamental in constructing complex statements and in defining other connectives using truth tables.

Option A:
Option A, ¬, is the standard modern symbol for “not,” used widely in logic texts and formal reasoning. It unambiguously marks the negation of whatever proposition follows it.

Option B:
Option B, ∧, denotes conjunction and is used for “and,” not for negation.

Option C:
Option C, ∨, is the symbol for disjunction, corresponding to “or,” and has a different truth function.

Option D:
Option D, ↔, stands for biconditional, “if and only if,” which expresses equivalence rather than negation.