Inference rule 40: Conjunction introduction (declared)
Given that \phi holds and \psi holds, we may infer the conjunction \phi \wedge \psi holds: \cfrac{\vdash \phi \quad \vdash \psi}{\vdash (\phi \wedge \psi)}.
A theoretical quest.
Inference rule 40: Conjunction introduction (declared)
Given that \phi holds and \psi holds, we may infer the conjunction \phi \wedge \psi holds: \cfrac{\vdash \phi \quad \vdash \psi}{\vdash (\phi \wedge \psi)}.