Statement (Proposition)

How to Write:

$\forall x\in D$, $P(x)⟹Q(x)$

A proposition or statement is a a sentence that declares thats either true or false.

$\neg p$ or ~$p$ are both negative the statement.

This is seen in a Truth Table.