Encyclopedia > Conjunction introduction

Article Content

Conjunction introduction

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

Search Encyclopedia

Search over one million articles, find something about almost anything!