Conjunction (conj) is one of the easier rules of inference in propositional logic. It is very simple, but one of the strengths of propositional logic is that it makes even the most simple parts of an argument explicit.


P
Q
Therefore, P∧Q (P and Q)


There are cats.
There are dogs.
Therefore, There are cats and dogs.


The reverse of this rule is Simplification.


Back up to Rules of Inference
Review your Logic symbols