Happy New Year; Can all simple propositions be written in the form of "if P then q"? I feel that it's OK. For example, I'm human; if a creature is me, then it must be human; So "simple proposition" and "if P then q proposition" are equivalent? one

Happy New Year; Can all simple propositions be written in the form of "if P then q"? I feel that it's OK. For example, I'm human; if a creature is me, then it must be human; So "simple proposition" and "if P then q proposition" are equivalent? one

If a proposition is simple, it can be written as if P then Q
If a proposition satisfies if P then q, then the proposition is simple
Of course, equivalence is not a definition if it cannot be equivalent

How to judge whether a proposition is in the form of "not p" "P or Q" "P and Q"
For example, "a triangle with an acute angle is not an obtuse angle triangle" can't be rewritten to the form of "P and Q"? Why is it in the form of "non-p"

First of all, we need to understand the essence
The non-p form is the negation of the conclusion
In this topic, "there is an acute triangle" is the proposition, while "obtuse triangle" is the conclusion, so either obtuse triangle or negation of the conclusion is non-p-pull

The process of determining a proposition according to a known true proposition is called proving, and proved is called theorem

The process of determining the truth of a proposition according to a known true proposition is called proving. The proved true proposition is called theorem