Yes because it is possible to have 10-10 or 6-6, so why not b-b?
The statement "If A then B" (often written as A → B) means that whenever A is true, B must also be true. However, it does not imply that B is true if A is false; the truth of B is contingent on A being true. In logical terms, the statement is only false if A is true and B is false. Therefore, while A guarantees B, B can still be true independently of A.
The statement you're describing is a form of logical implication often expressed as "If A, then B." In this structure, if A is true, then B must also be true. However, it does not mean that B is always true independently; it is only true when A is true. Therefore, the correct interpretation is that B's truth is contingent upon A being true.
Not necessarily. It will all depend on the statements A and B.
if a is true, then b must be true
A therefore B A is true Therefore B is true Logically..... A is true A is false Therefore B is false
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.'All living humans are breathing animals' is true. [If you are a living human (A) you breathe (B).'All breathing animals are therefore human' is not true. [If you breathe (B) you are a living human (A).
The law of detachment says that in cases where A implies B, if A is true, B must also be true. For example, if A says that this is a shark, and B says that it lives in the ocean, we can conclude that if A is true, B is also true, and it lives in the ocean.
a is a subset of b
"In logic and mathematics, a two-place logical connective or, is a logical disjunction, also known as inclusive disjunction or alternation, that results in true whenever one or more of its operands are true. E.g. in this context, "A or B" is true if A is true, or if B is true, or if both A and B are true" (Wikipedia)
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.'All living humans are breathing animals' is true. [If you are a living human (A) you breathe (B).'All breathing animals are therefore human' is not true. [If you breathe (B) you are a living human (A).
Big B
If thing a is always true whenever thing b is, then thing a is dependent on thing b.