ここで、AとBという2つの命題があり（すなわち、"Aprop"と"Bprop"は自明）、それらを結合したAかつBという命題（形式的に記せば"A∧B{\displaystyleA\wedgeB}"）を生成するとする。
作为展示，如果我们有两个命题A和B(就是说，判断“Aprop”和“Bprop”是显然的)，则我们形成了复合命题A与B，符号化写为"A∧B{\displaystyleA\wedgeB}"。