Conjunction

If two separate propositions, $P$ and $Q$, are true, then their conjunction ($P\wedge Q$, or ”$P$ and $Q$”) is true.