CONJUNCTION rules ⟨08,01⟩

Logical operations involving conjunction ('∧') are pretty straightforward: if we have (P ∧ Q), we can derive P, as well as Q. And if in the course of a proof, we have:

P
.
.
.
Q

we can derive (P ∧ Q).

[chrisbrennan]

If i knew this was a stratigic funtion ..i would apply