論理目次：基本事項・命題論理・述語論理に類別

論理の目次を更新。
論理の項目を基本事項・命題論理・述語論理に類別。