拡大論理式