Interactive Logic Simulator

Explore the foundations of mathematical logic through interactive visualizations

Propositions (or Statements)

A proposition (or statement) is a declarative sentence to which only one of the truth values, i.e., true or false, can be assigned. When a proposition is true, we say that its truth value is T. When it is false, we say that its truth value is F.

PropositionTrue or FalseTrueFalse

Examples of Propositions:

  • "New Delhi is the capital of India." (True)
  • "The square of 4 is 16." (True)
  • "The square of 5 is 27." (False)

Examples of Non-Propositions:

  • "Bring me coffee." (Command)
  • "No, thank you." (Not a declarative sentence)
  • "This statement is false." (Paradoxical)
Proposition Checker
Enter a statement to check if it's a proposition