Conjunction introduction

From Wikipedia, the free encyclopedia

You have new messages (last change).

Conjunction introduction is the inference that, if p is true, and q is true, then the conjunction p and q 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:

p\,\!
\frac{q\,\!\qquad\quad}{}
∴( p \wedge q )


 This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../c/o/n/Conjunction_introduction.html"
In other languages