ここで、"a" と "b" という2つの命題があり(すなわち、""a" prop" と ""b" prop" は自明)、それらを結合した "aかつb" という命題(形式的に記せば "formula_1")を生成するとする。