Wikipedia: Conjunction introduction

Difference (from prior major revision) (no other diffs)

Changed: 3c3,9

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.

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 )

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 )