>>479
要らない
何らかの論理式を命題記号で代表させているだけで十分