∑ZWMath CoursesSyllabusExercises
ES
ZWMath›Logic›Propositional logic›Negation›ZW-NEGATION-004
Course menu
AreaLogicTopicPropositional logic
Propositional logic11
  • Proposition
  • Logical operator
  • Negation
  • Conjunction
  • Disjunction
  • Implication
  • Logical equivalence
  • NAND
  • Truth table
  • Tautology
  • Contradiction
Predicate logic5
  • Predicate
  • Universal quantifier
  • Existential quantifier
  • Negation of quantifiers
  • Order of quantifiers
Proof theory6
  • Axiomatic system
  • Rule of inference
  • Modus ponens
  • Formal proof
  • Consistency
  • Logical completeness
Completeness and incompleteness2
  • Gödel’s incompleteness
  • Arithmetic

Exercise · ZW-NEGATION-004 · ★☆☆ Basic

Which symbol represents negation?

Choose one option.

Show answer
  • B. ¬

← Back to the question

Explanation

The logical negation symbol is \(\neg\), written in front of the proposition.

Open the ZWMath map →

Review the concept: Negation

Given a proposition \(P\), its negation is the proposition \(\neg P\).

\[\neg P\]

More practice problems: negation

  • ZW-NEGATION-001 The negation of a proposition...
  • ZW-NEGATION-002 If P is true, then ¬P is...
  • ZW-NEGATION-003 If P is false, then ¬P is...
  • ZW-NEGATION-005 Double negation ¬¬P is logically equivalent to...
  • ZW-NEGATION-006 If P is a proposition, what is ¬P?
  • ZW-NEGATION-007 Double negation satisfies...
  • ZW-NEGATION-008 If ¬P is true, then P is...
  • ZW-NEGATION-009 P and ¬P always have truth values that are...

← ZW-NEGATION-003 ZW-NEGATION-005 →

Practice

☰All exercises
✦Open on free study↗Open on the map

ZWMath · Math from definition to practice. Open the interactive map · Syllabus · All exercises

Author: ORCID iD 0009-0009-8641-3511

Privacy · About Speedrunz · Contact