This describes one kind of statement that can appear in a logical syllogism or argument. If a given argument A is true, then it follows that argument B must be true. It does not automatically follow that if B is true, then A must be true.
Chat with our AI personalities
[object Object]
That which is considered and established as a principle; hence, sometimes, a rule., A statement of a principle to be demonstrated., To formulate into a theorem.
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.
Definition
It is a statement of succession.