Conjunction introduction is the inference that, if A is true, and B is true, then the conjunction A and B is true.
For example, if it's true that it's raining, and it's true that I'm inside, then it's true that it's raining, and I'm inside.
Formally:
A
B
∴ ( A ∧ B )
All Wikipedia text
is available under the
terms of the GNU Free Documentation License