始切片の正確な定義：
1つの論理式Ａに対し、最低1回はAの左端から途中までの記号を残し、
右側にある記号をすべて切り捨てて作られるような記号列を始切片という。