hypothesis
Chat with our AI personalities
postulates
it is called a conjecture
Its a Theory
It in Math, (Geometry) If p implies q is a true conditional statement and not q is true, then not p is true.
A Proof, 2-column proofs for geometry are common.