For conjunction, we look at the introduction rule ∧I to discover the form of proofs of conjunction: they must be a pair of proofs of the two conjuncts.
对于合取，我们查看介入规则 ∧I 来发现合取的证明形式: 它们必须是两个合取项的一对证明。