Chat with our AI personalities
[object Object]
It is a logical conditional statement which states that if some condition, a, is satisfied then another condition, b, must be satisfied. If a is not satisfied then we can say nothing about b.An equivalent statement, in a non-conditional form, is that~b or a must be TRUE, where ~b denotes not b.
It is what you get in an inference, after negating both sides. That is, if you have a statement such as: if a then b the inverse of this statement is: if not a then not b Note that the inverse is NOT equivalent to the original statement.
It is a statement of succession.
Hypothesis followed by a conclusion is called an If-then statement or a conditional statement.